The cow eats the rabbit. The cow is round. The cow likes the squirrel. The rabbit eats the cow. The rabbit is rough. The squirrel chases the rabbit. The squirrel eats the rabbit. If someone eats the cow and the cow chases the squirrel then they like the cow. If someone is rough then they like the cow. If someone likes the cow and the cow is cold then they like the squirrel. If someone is rough and they like the cow then the cow is cold. If the rabbit is red and the rabbit likes the cow then the rabbit chases the cow. If someone eats the rabbit and they like the squirrel then they are red. If the cow is round and the cow eats the rabbit then the cow eats the squirrel. If the cow is red then the cow chases the rabbit.
The cow is not round.
@0: The cow eats the rabbit.[(triple1)] The cow is round.[(triple2)] The cow likes the squirrel.[(triple3)] The rabbit eats the cow.[(triple4)] The rabbit is rough.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel eats the rabbit.[(triple7)] @1: The cow eats the squirrel.[(((triple2 triple1) -> rule7))] The cow is red.[(((triple1 triple3) -> rule6))] The rabbit likes the cow.[(((triple5) -> rule2))] @2: The cow chases the rabbit.[(((((triple1 triple3) -> rule6)) -> rule8))] The cow is cold.[(((triple5 ((triple5) -> rule2)) -> rule4))] @3: The rabbit likes the squirrel.[(((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule4)) -> rule3))]