The bald eagle chases the cow. The bald eagle is round. The cow chases the tiger. The cow is blue. The cow is rough. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel likes the bald eagle. The squirrel likes the tiger. The tiger chases the squirrel. If something likes the squirrel then it eats the squirrel. If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. If something likes the squirrel and the squirrel likes the cow then it is blue. If something eats the cow then it is big. If something eats the cow and it is big then the cow chases the bald eagle. If something chases the squirrel then the squirrel likes the cow. If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. If something eats the squirrel then it eats the cow. If something is kind and it likes the cow then it is big.
The bald eagle is not rough.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is round.[(triple2)] The cow chases the tiger.[(triple3)] The cow is blue.[(triple4)] The cow is rough.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the tiger.[(triple10)] The tiger chases the squirrel.[(triple11)] @1: The squirrel likes the cow.[(((triple11) -> rule6))] The tiger likes the squirrel.[(((triple11 triple8) -> rule7))] @2: The tiger eats the squirrel.[(((((triple11 triple8) -> rule7)) -> rule1))] The tiger is blue.[(((((triple11 triple8) -> rule7) ((triple11) -> rule6)) -> rule3))] @3: The tiger eats the cow.[(((((((triple11 triple8) -> rule7)) -> rule1)) -> rule8))] @4: The tiger is big.[(((((((((triple11 triple8) -> rule7)) -> rule1)) -> rule8)) -> rule4))] @5: The cow chases the bald eagle.[(((((((((triple11 triple8) -> rule7)) -> rule1)) -> rule8) ((((((((triple11 triple8) -> rule7)) -> rule1)) -> rule8)) -> rule4)) -> rule5))]