s([the,dog,takes,the,ball,to,the,man],[]).
s([the,small,dog,walks,on,the,house],[]).
s([the,dog,takes,the,ball,to,the,house],[]).
:- s([the,dog],[]).
:- s([the,the,house,dog,on,walks],[]).
s([the,small,dog,walks,into,the,house],[]).
:- s([ball,dog,the,the,takes,man,the,to],[]).
:- s([the,hits,at,man,the,ball],[]).
s([the,big,man,hits,at,the,ball],[]).
s([the,man,hits,the,ball,to,the,dog],[]).
s([the,man,walks,into,the,house],[]).
s([the,man,hits,the,ball,at,the,house],[]).
s([a,man,hits,the,ball,at,the,dog],[]).
s([a,ball,hits,the,small,dog],[]).
:- s([dog,the,man,the,walks],[]).
:- s([dog,small,hits,a,ball,the],[]).
:- s([the,the,big,hits,dog,man],[]).
s([a,ball,hits,the,dog],[]).
:- s([the,man,dog,hits,nasty,the],[]).
s([a,man,takes,the,ball,to,the,house],[]).
:- s([the,hits,small,the,dog,man],[]).
:- s([at,hits,the,the,man,big,ball],[]).
s([the,nasty,man,hits,the,dog],[]).
:- s([dog,the,the,walks,to,man],[]).
:- s([the,house,the,dog,walks,into,small],[]).
s([the,man,hits,at,the,ball],[]).
s([the,small,man,hits,the,dog],[]).
:- s([in,the,house,the,walks,man],[]).
:- s([the,man,the,hits,house,ball,at,the],[]).
s([the,man,takes,the,dog,to,the,ball],[]).
s([the,dog,walks,on,the,house],[]).
:- s([man,the,hits,the,dog],[]).
s([the,big,man,hits,the,dog],[]).
s([the,dog,walks,to,the,man],[]).
:- s([to,takes,the,man,a,ball,the,house],[]).
:- s([to,the,house,walks,the,dog],[]).
:- s([a,man,walks,the,walks],[]).
:- s([the,dog,takes,the,the,man,to,ball],[]).
s([the,small,dog,walks,in,the,house],[]).
:- s([the,man,the,house,into,walks],[]).
:- s([hits,the,at,ball,dog,man,a,the],[]).
:- s([a,dog,walks,the],[]).
:- s([ball,a,dog,a,hits],[]).
s([the,man,walks,in,the,house],[]).
s([the,man,walks,the,dog],[]).
s([the,man,hits,the,nasty,dog],[]).
:- s([dog,the,the,to,takes,ball,house,the],[]).
:- s([the,the,walks,on,dog,house,small],[]).
s([the,man,hits,the,dog],[]).