The bald eagle likes the squirrel. The cat chases the squirrel. The cat is young. The squirrel chases the bald eagle. The squirrel is rough. The squirrel is young. The squirrel likes the bald eagle. If someone is red then they chase the bald eagle. If someone chases the squirrel and they are rough then the squirrel visits the bald eagle. If someone likes the cat then the cat likes the squirrel. If the squirrel visits the bald eagle then the squirrel visits the cat. If the cat is red then the cat chases the bald eagle. All young people are rough. If someone is young then they like the bald eagle. If someone visits the cat and they visit the bald eagle then they are red.
The cat is not red.
@0: The bald eagle likes the squirrel.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is young.[(triple3)] The squirrel chases the bald eagle.[(triple4 OR ((((((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule2)) -> rule8)) -> rule1))] The squirrel is rough.[(triple5 OR ((triple6) -> rule6))] The squirrel is young.[(triple6)] The squirrel likes the bald eagle.[(triple7 OR ((triple6) -> rule7))] @1: The cat is rough.[(((triple3) -> rule6))] The cat likes the bald eagle.[(((triple3) -> rule7))] @2: The squirrel visits the bald eagle.[(((triple2 ((triple3) -> rule6)) -> rule2))] @3: The squirrel visits the cat.[(((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4))] @4: The squirrel is red.[(((((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule2)) -> rule8))]