The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle is nice. The cat chases the bald eagle. The cat chases the cow. The cat is nice. The cat is round. The cat likes the cow. The cat likes the mouse. The cow chases the bald eagle. The cow chases the mouse. The mouse chases the bald eagle. The mouse chases the cow. The mouse is big. The mouse likes the cat. The mouse sees the cat. If something sees the cat and the cat sees the bald eagle then it is cold. If something likes the cow then the cow chases the cat. If something likes the bald eagle and it chases the mouse then it is cold. If something chases the bald eagle and it chases the cat then the cat sees the bald eagle. If the cow likes the cat then the cow sees the cat. If something is nice then it sees the mouse.
The cow does not see the mouse.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is nice.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the cow.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat likes the cow.[(triple8)] The cat likes the mouse.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow chases the mouse.[(triple11)] The mouse chases the bald eagle.[(triple12)] The mouse chases the cow.[(triple13)] The mouse is big.[(triple14)] The mouse likes the cat.[(triple15)] The mouse sees the cat.[(triple16)] @1: The bald eagle sees the mouse.[(((triple3) -> rule6))] The cat sees the mouse.[(((triple6) -> rule6))] The cow chases the cat.[(((triple8) -> rule2))] @2: The cat sees the bald eagle.[(((triple10 ((triple8) -> rule2)) -> rule4))] @3: The mouse is cold.[(((triple16 ((triple10 ((triple8) -> rule2)) -> rule4)) -> rule1))]