The bald eagle is red. The bald eagle needs the cat. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cat eats the squirrel. The cow eats the cat. The cow eats the squirrel. The cow needs the bald eagle. The cow sees the bald eagle. The cow sees the cat. The cow sees the squirrel. The squirrel is kind. The squirrel is red. The squirrel needs the cat. If something is green then it eats the cat. If something sees the cow then it sees the cat. If something sees the squirrel then it is green. If something sees the bald eagle and the bald eagle is young then the bald eagle is big. If something needs the cat and it eats the cat then the cat sees the squirrel. If something is red and it eats the cat then it sees the bald eagle. If something needs the bald eagle then it needs the squirrel. If the bald eagle is red and the bald eagle sees the cow then the cow is young.
The bald eagle eats the cat.
@0: The bald eagle is red.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cat eats the squirrel.[(triple5)] The cow eats the cat.[(triple6 OR ((((triple11) -> rule3)) -> rule1))] The cow eats the squirrel.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow sees the cat.[(triple10)] The cow sees the squirrel.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel needs the cat.[(triple14)] @1: The bald eagle is green.[(((triple4) -> rule3))] The cow is green.[(((triple11) -> rule3))] The cow needs the squirrel.[(((triple8) -> rule7))] @2: The bald eagle eats the cat.[(((((triple4) -> rule3)) -> rule1))] @3: The bald eagle sees the bald eagle.[(((triple1 ((((triple4) -> rule3)) -> rule1)) -> rule6))] The cat sees the squirrel.[(((triple2 ((((triple4) -> rule3)) -> rule1)) -> rule5))] @4: The cat is green.[(((((triple2 ((((triple4) -> rule3)) -> rule1)) -> rule5)) -> rule3))] @5: The cat eats the cat.[(((((((triple2 ((((triple4) -> rule3)) -> rule1)) -> rule5)) -> rule3)) -> rule1))]