The cow chases the rabbit. The cow is cold. The dog eats the rabbit. The dog is nice. The dog visits the cow. The rabbit chases the cow. The rabbit is green. The rabbit is round. The squirrel eats the rabbit. The squirrel is round. If someone chases the rabbit then they eat the dog. If someone is cold and green then they eat the cow. If the squirrel eats the cow then the squirrel chases the dog. If someone chases the cow and they visit the squirrel then they are nice. If someone eats the cow and they chase the cow then they eat the rabbit. If someone is young then they chase the rabbit. All green people are cold. If someone eats the squirrel then the squirrel visits the rabbit.
The rabbit eats the dog.
@0: The cow chases the rabbit.[(triple1)] The cow is cold.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is nice.[(triple4)] The dog visits the cow.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is green.[(triple7)] The rabbit is round.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is round.[(triple10)] @1: The cow eats the dog.[(((triple1) -> rule1))] The rabbit is cold.[(((triple7) -> rule7))] @2: The rabbit eats the cow.[(((((triple7) -> rule7) triple7) -> rule2))] @3: The rabbit eats the rabbit.[(((((((triple7) -> rule7) triple7) -> rule2) triple6) -> rule5))]