The bald eagle does not need the cat. The bald eagle needs the tiger. The bald eagle does not see the cat. The cat eats the tiger. The cat is blue. The cat is green. The cat needs the bald eagle. The cat needs the tiger. The cat sees the bald eagle. The cat sees the tiger. The tiger is not nice. The tiger is rough. The tiger needs the bald eagle. The tiger needs the cat. The tiger sees the bald eagle. If the cat sees the tiger then the tiger is blue. If something needs the cat then it sees the tiger. If something is nice then it is green. If something eats the bald eagle and it sees the tiger then the bald eagle does not see the tiger. If the tiger sees the bald eagle then the bald eagle eats the cat. If something eats the cat then the cat eats the bald eagle.
The cat needs the cat.
@0: The bald eagle does not need the cat.[(triple1)] The bald eagle does not see the cat.[(triple3)] The bald eagle needs the tiger.[(triple2)] The cat eats the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is green.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat needs the tiger.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the tiger.[(triple10)] The tiger is not nice.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the cat.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle eats the cat.[(((triple15) -> rule5))] The tiger is blue.[(((triple10) -> rule1))] The tiger sees the tiger.[(((triple14) -> rule2))] @2: The cat eats the bald eagle.[(((((triple15) -> rule5)) -> rule6))] @3: The bald eagle does not see the tiger.[(((((((triple15) -> rule5)) -> rule6) triple10) -> rule4))]