The bald eagle chases the cat. The bald eagle is blue. The bald eagle is red. The bald eagle visits the cat. The bald eagle visits the cow. The cat chases the cow. The cat is big. The cat is not nice. The cat likes the bald eagle. The cat does not visit the cow. The cow chases the cat. The cow likes the cat. If something is green and it does not like the bald eagle then it does not visit the cat. If something visits the cat and it chases the bald eagle then the cat is green. If the bald eagle chases the cow then the bald eagle is green. If something is green then it is blue. If something visits the cow and it visits the bald eagle then the cow is green. If something is big and it visits the cow then the cow visits the bald eagle. If something chases the cat then the cat chases the bald eagle. If something likes the bald eagle then it does not like the cat.
The bald eagle is not nice.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the cow.[(triple5)] The cat chases the cow.[(triple6)] The cat does not visit the cow.[(triple10)] The cat is big.[(triple7)] The cat is not nice.[(triple8)] The cat likes the bald eagle.[(triple9)] The cow chases the cat.[(triple11)] The cow likes the cat.[(triple12)] @1: The cat chases the bald eagle.[(((triple1) -> rule7) OR ((triple11) -> rule7))] The cat does not like the cat.[(((triple9) -> rule8))]