The bald eagle eats the cow. The bald eagle is kind. The bald eagle is red. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow is big. The cow visits the bald eagle. The squirrel eats the bald eagle. The squirrel visits the tiger. The tiger is red. The tiger is round. The tiger visits the cow. If something sees the squirrel then the squirrel is red. If something sees the squirrel and it sees the bald eagle then it visits the tiger. If something sees the squirrel then the squirrel eats the tiger. If something sees the tiger and the tiger is red then it visits the bald eagle. If something visits the bald eagle and the bald eagle visits the cow then it is round. If something is big and it visits the squirrel then it is round.
The tiger does not visit the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cow is big.[(triple6)] The cow visits the bald eagle.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger visits the cow.[(triple12)] @1: The squirrel eats the tiger.[(((triple5) -> rule3))] The squirrel is red.[(((triple5) -> rule1))]