The bald eagle sees the cat. The cat eats the bald eagle. The cat is red. The cat is young. The cat needs the rabbit. The cat sees the bald eagle. The rabbit eats the cat. The rabbit is young. The rabbit needs the cat. The rabbit sees the cat. If something eats the bald eagle then the bald eagle is red. If something is young and it eats the bald eagle then the bald eagle is red. If something sees the rabbit and the rabbit sees the bald eagle then it sees the cat. If something sees the cat then it is young. If something eats the rabbit and it needs the rabbit then the rabbit needs the bald eagle. If something eats the bald eagle and it sees the rabbit then the rabbit is young.
The cat does not see the cat.
@0: The bald eagle sees the cat.[(triple1)] The cat eats the bald eagle.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat needs the rabbit.[(triple5)] The cat sees the bald eagle.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is young.[(triple8 OR ((triple10) -> rule4))] The rabbit needs the cat.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The bald eagle is red.[(((triple2) -> rule1) OR ((triple4 triple2) -> rule2))] The bald eagle is young.[(((triple1) -> rule4))]