The bald eagle is big. The bald eagle is cold. The cat sees the bald eagle. The cat sees the squirrel. The cat visits the dog. The dog eats the bald eagle. The dog eats the squirrel. The dog is kind. The dog is red. The dog sees the bald eagle. The dog does not visit the squirrel. The squirrel eats the bald eagle. The squirrel is not big. The squirrel visits the bald eagle. The squirrel does not visit the cat. The squirrel visits the dog. If something visits the bald eagle then it eats the dog. If the cat does not eat the squirrel and the cat does not visit the dog then the dog does not see the bald eagle. If the squirrel is not blue then the squirrel visits the cat. If something sees the squirrel and it does not see the cat then the cat eats the dog. If something eats the dog then the dog visits the bald eagle. If the bald eagle visits the dog and the dog does not see the bald eagle then the bald eagle eats the squirrel.
The dog eats the dog.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The cat sees the bald eagle.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the dog.[(triple5)] The dog does not visit the squirrel.[(triple11)] The dog eats the bald eagle.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is kind.[(triple8)] The dog is red.[(triple9)] The dog sees the bald eagle.[(triple10)] The squirrel does not visit the cat.[(triple15)] The squirrel eats the bald eagle.[(triple12)] The squirrel is not big.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the dog.[(triple16)] @1: The squirrel eats the dog.[(((triple14) -> rule1))] @2: The dog visits the bald eagle.[(((((triple14) -> rule1)) -> rule5))] @3: The dog eats the dog.[(((((((triple14) -> rule1)) -> rule5)) -> rule1))]