The bald eagle sees the cat. The cat eats the cow. The cat eats the rabbit. The cat is cold. The cat needs the cow. The cat needs the rabbit. The cat sees the cow. The cow eats the bald eagle. The cow needs the rabbit. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit eats the cow. The rabbit is big. The rabbit is young. The rabbit sees the bald eagle. If something needs the cow then it needs the cat. If something is red and cold then it needs the bald eagle. If something needs the cow and it needs the cat then it eats the bald eagle.
The cat sees the bald eagle.
@0: The bald eagle sees the cat.[(triple1)] The cat eats the cow.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is cold.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the cow.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow needs the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit eats the cow.[(triple12)] The rabbit is big.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The cat needs the cat.[(((triple5) -> rule1))] @2: The cat eats the bald eagle.[(((triple5 ((triple5) -> rule1)) -> rule3))]