The bald eagle chases the cat. The bald eagle is nice. The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle likes the rabbit. The cat eats the cow. The cat likes the cow. The cat likes the rabbit. The cow chases the bald eagle. The cow chases the cat. The cow eats the cat. The cow likes the cat. The rabbit chases the cow. The rabbit is kind. The rabbit is red. If something chases the cow and it eats the cat then the cat chases the rabbit. If something is red then it eats the rabbit. If something likes the cat then it chases the rabbit. If something is red then it eats the cat. If the rabbit likes the cow and the cow chases the rabbit then the rabbit eats the cow. If the bald eagle likes the cat and the cat is kind then the cat is nice.
The cat does not chase the rabbit.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The cat eats the cow.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the rabbit.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow chases the cat.[(triple10)] The cow eats the cat.[(triple11)] The cow likes the cat.[(triple12)] The rabbit chases the cow.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is red.[(triple15)] @1: The bald eagle chases the rabbit.[(((triple3) -> rule3))] The cow chases the rabbit.[(((triple12) -> rule3))] The rabbit eats the cat.[(((triple15) -> rule4))] The rabbit eats the rabbit.[(((triple15) -> rule2))] @2: The cat chases the rabbit.[(((triple13 ((triple15) -> rule4)) -> rule1))]