The bald eagle sees the cat. The cat is big. The cat visits the bald eagle. If something likes the cat and it visits the cat then the cat is not round. If something sees the cat then it sees the bald eagle. If something sees the cat then the cat does not see the bald eagle. If something likes the cat then the cat does not like the bald eagle. If something likes the bald eagle and the bald eagle does not visit the cat then the bald eagle is big. If the bald eagle sees the cat then the cat is not blue. If something sees the cat then it is green. If something sees the bald eagle and it is not big then it visits the bald eagle.
The bald eagle does not see the cat.
@0: The bald eagle sees the cat.[(triple1)] The cat is big.[(triple2)] The cat visits the bald eagle.[(triple3)] @1: The bald eagle is green.[(((triple1) -> rule7))] The bald eagle sees the bald eagle.[(((triple1) -> rule2))] The cat does not see the bald eagle.[(((triple1) -> rule3))] The cat is not blue.[(((triple1) -> rule6))]