The bald eagle chases the cow. The bald eagle is big. The bald eagle is rough. The cow chases the squirrel. The cow is rough. The cow visits the squirrel. The cow visits the tiger. The squirrel is not young. The squirrel does not see the bald eagle. The tiger is nice. If something sees the tiger and the tiger chases the squirrel then the squirrel is blue. If something visits the tiger then the tiger chases the squirrel. If something visits the bald eagle then the bald eagle is blue. If something is blue then it sees the tiger. If something visits the squirrel then it visits the bald eagle. If something sees the bald eagle and the bald eagle is big then the bald eagle sees the tiger.
The tiger does not visit the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The cow chases the squirrel.[(triple4)] The cow is rough.[(triple5)] The cow visits the squirrel.[(triple6)] The cow visits the tiger.[(triple7)] The squirrel does not see the bald eagle.[(triple9)] The squirrel is not young.[(triple8)] The tiger is nice.[(triple10)] @1: The cow visits the bald eagle.[(((triple6) -> rule5))] The tiger chases the squirrel.[(((triple7) -> rule2))] @2: The bald eagle is blue.[(((((triple6) -> rule5)) -> rule3))] @3: The bald eagle sees the tiger.[(((((((triple6) -> rule5)) -> rule3)) -> rule4))] @4: The squirrel is blue.[(((((((((triple6) -> rule5)) -> rule3)) -> rule4) ((triple7) -> rule2)) -> rule1))] @5: The squirrel sees the tiger.[(((((((((((triple6) -> rule5)) -> rule3)) -> rule4) ((triple7) -> rule2)) -> rule1)) -> rule4))]