The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle is round. The cat chases the bald eagle. The cat eats the bald eagle. The cat eats the rabbit. The cat is blue. The cat sees the bald eagle. The cat does not see the rabbit. The rabbit does not chase the bald eagle. The rabbit does not chase the cat. The rabbit eats the bald eagle. The rabbit does not eat the cat. The rabbit is cold. The rabbit sees the bald eagle. The rabbit sees the cat. If something sees the bald eagle then the bald eagle sees the cat. If something is round and it sees the bald eagle then the bald eagle is not nice. If something chases the cat then the cat sees the bald eagle. If something is blue and it eats the rabbit then it eats the cat. If the bald eagle is green then the bald eagle is round. If something chases the rabbit and it is green then it sees the bald eagle.
The bald eagle does not see the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle is round.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not see the rabbit.[(triple9)] The cat eats the bald eagle.[(triple5)] The cat eats the rabbit.[(triple6)] The cat is blue.[(triple7)] The cat sees the bald eagle.[(triple8 OR ((triple1) -> rule3))] The rabbit does not chase the bald eagle.[(triple10)] The rabbit does not chase the cat.[(triple11)] The rabbit does not eat the cat.[(triple13)] The rabbit eats the bald eagle.[(triple12)] The rabbit is cold.[(triple14)] The rabbit sees the bald eagle.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bald eagle sees the cat.[(((triple15) -> rule1) OR ((triple8) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The cat eats the cat.[(((triple7 triple6) -> rule4))]