The bald eagle needs the squirrel. The cow chases the bald eagle. The cow is kind. The dog is red. The dog needs the bald eagle. The dog needs the squirrel. The dog visits the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel chases the dog. The squirrel is big. The squirrel is kind. The squirrel is round. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something visits the dog and the dog needs the cow then the dog needs the squirrel. If something visits the bald eagle and the bald eagle is round then it needs the cow. If the dog needs the bald eagle and the dog chases the bald eagle then the dog is big. If something is big and it visits the bald eagle then the bald eagle is round. If something is big and it chases the squirrel then the squirrel is blue. If the dog needs the bald eagle then the dog is kind. If something needs the squirrel and it needs the cow then it is blue. If something is red and kind then it chases the squirrel.
The bald eagle is kind.
@0: The bald eagle needs the squirrel.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow is kind.[(triple3)] The dog is red.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the bald eagle.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The bald eagle is round.[(((triple11 triple15) -> rule4))] The dog is kind.[(((triple5) -> rule6))] @2: The dog chases the squirrel.[(((triple4 ((triple5) -> rule6)) -> rule8))] The dog needs the cow.[(((triple7 ((triple11 triple15) -> rule4)) -> rule2))] The squirrel needs the cow.[(((triple15 ((triple11 triple15) -> rule4)) -> rule2))] @3: The dog is blue.[(((triple6 ((triple7 ((triple11 triple15) -> rule4)) -> rule2)) -> rule7))]