The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle is rough. The bald eagle needs the cat. The bald eagle sees the cat. The cat needs the cow. The cat sees the cow. The cow eats the cat. The cow is nice. The cow is red. The cow needs the bald eagle. The cow needs the cat. The tiger is cold. The tiger is young. The tiger needs the cat. The tiger sees the bald eagle. If something sees the cat and it is red then it needs the bald eagle. If the cow sees the cat then the cat is rough. If the tiger is rough then the tiger is red. If something eats the cat and the cat is red then it sees the tiger. If something sees the cow then it is red. If something sees the cat and it sees the tiger then it needs the bald eagle. If something needs the cow then it needs the cat. If something eats the tiger then the tiger eats the bald eagle. If something needs the bald eagle then it sees the cow.
The tiger does not eat the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat needs the cow.[(triple6)] The cat sees the cow.[(triple7)] The cow eats the cat.[(triple8)] The cow is nice.[(triple9)] The cow is red.[(triple10 OR ((((triple11) -> rule9)) -> rule5))] The cow needs the bald eagle.[(triple11)] The cow needs the cat.[(triple12)] The tiger is cold.[(triple13)] The tiger is young.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The cat is red.[(((triple7) -> rule5))] The cat needs the cat.[(((triple6) -> rule7))] The cow sees the cow.[(((triple11) -> rule9))] @2: The bald eagle sees the tiger.[(((triple1 ((triple7) -> rule5)) -> rule4))] The cow sees the tiger.[(((triple8 ((triple7) -> rule5)) -> rule4))] @3: The bald eagle needs the bald eagle.[(((triple5 ((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6))] @4: The bald eagle sees the cow.[(((((triple5 ((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6)) -> rule9))] @5: The bald eagle is red.[(((((((triple5 ((triple1 ((triple7) -> rule5)) -> rule4)) -> rule6)) -> rule9)) -> rule5))]