The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is young. The bald eagle likes the cat. The cat eats the bald eagle. The cat eats the cow. The cat is blue. The cat is red. The cat is round. The cat likes the squirrel. The cow is young. The cow likes the bald eagle. The cow likes the cat. The cow needs the cat. The squirrel likes the bald eagle. The squirrel likes the cat. If someone is blue then they need the squirrel. If the bald eagle needs the cow then the cow eats the bald eagle. If someone is blue and they like the cat then the cat eats the squirrel. If someone eats the squirrel and the squirrel likes the bald eagle then the squirrel likes the cow. If someone likes the bald eagle then the bald eagle needs the cow. If someone eats the bald eagle then they like the squirrel.
The cow does not like the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cat.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the cow.[(triple6)] The cat is blue.[(triple7)] The cat is red.[(triple8)] The cat is round.[(triple9)] The cat likes the squirrel.[(triple10 OR ((triple5) -> rule6))] The cow is young.[(triple11)] The cow likes the bald eagle.[(triple12)] The cow likes the cat.[(triple13)] The cow needs the cat.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel likes the cat.[(triple16)] @1: The bald eagle needs the cow.[(((triple12) -> rule5) OR ((triple15) -> rule5))] The bald eagle needs the squirrel.[(((triple2) -> rule1))] The cat eats the squirrel.[(((triple2 triple4) -> rule3))] The cat needs the squirrel.[(((triple7) -> rule1))] The squirrel likes the cow.[(((triple1 triple15) -> rule4) OR ((((triple2 triple4) -> rule3) triple15) -> rule4))] @2: The cow eats the bald eagle.[(((((triple12) -> rule5)) -> rule2) OR ((((triple15) -> rule5)) -> rule2))] @3: The cow likes the squirrel.[(((((((triple12) -> rule5)) -> rule2)) -> rule6) OR ((((((triple15) -> rule5)) -> rule2)) -> rule6))]