The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is nice. The bald eagle visits the squirrel. The cat chases the rabbit. The cat chases the squirrel. The cat is big. The cat visits the bald eagle. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is nice. The rabbit visits the cat. The squirrel is not big. The squirrel is blue. The squirrel is not red. The squirrel does not see the bald eagle. If something visits the squirrel then the squirrel visits the bald eagle.
The bald eagle is not big.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat chases the rabbit.[(triple5)] The cat chases the squirrel.[(triple6)] The cat is big.[(triple7)] The cat visits the bald eagle.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the cat.[(triple12)] The squirrel does not see the bald eagle.[(triple16)] The squirrel is blue.[(triple14)] The squirrel is not big.[(triple13)] The squirrel is not red.[(triple15)] @1: The squirrel visits the bald eagle.[(((triple4) -> rule1))]