The bald eagle eats the rabbit. The cat is blue. The cat is cold. The cat needs the rabbit. The cat needs the squirrel. The rabbit eats the squirrel. The squirrel eats the cat. The squirrel eats the rabbit. The squirrel is green. The squirrel is nice. If something is blue and it needs the squirrel then it is cold. If something likes the bald eagle then it is green. If something needs the squirrel then it needs the bald eagle. If something needs the bald eagle then the bald eagle needs the squirrel. If something needs the cat and the cat likes the bald eagle then it needs the bald eagle. If something is cold then it eats the rabbit.
The squirrel does not need the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3 OR ((triple2 triple5) -> rule1))] The cat needs the rabbit.[(triple4)] The cat needs the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] @1: The cat eats the rabbit.[(((triple3) -> rule6) OR ((((triple2 triple5) -> rule1)) -> rule6))] The cat needs the bald eagle.[(((triple5) -> rule3))] @2: The bald eagle needs the squirrel.[(((((triple5) -> rule3)) -> rule4))] @3: The bald eagle needs the bald eagle.[(((((((triple5) -> rule3)) -> rule4)) -> rule3))]