The bald eagle chases the squirrel. The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle is rough. The lion chases the bald eagle. The lion visits the squirrel. The rabbit is cold. The rabbit is kind. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel visits the lion. If something chases the bald eagle then the bald eagle visits the rabbit. If something is cold then it visits the squirrel. If something eats the squirrel and it is cold then it is rough. If something visits the rabbit then it chases the lion. If something is cold then it eats the lion. If something chases the lion then it is blue.
The squirrel does not chase the lion.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion visits the squirrel.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is kind.[(triple8)] The rabbit visits the squirrel.[(triple9 OR ((triple7) -> rule2))] The squirrel chases the rabbit.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The bald eagle eats the lion.[(((triple3) -> rule5))] The bald eagle visits the rabbit.[(((triple5) -> rule1))] The bald eagle visits the squirrel.[(((triple3) -> rule2))] The rabbit eats the lion.[(((triple7) -> rule5))] The squirrel eats the lion.[(((triple12) -> rule5))] The squirrel visits the squirrel.[(((triple12) -> rule2))] @2: The bald eagle chases the lion.[(((((triple5) -> rule1)) -> rule4))] @3: The bald eagle is blue.[(((((((triple5) -> rule1)) -> rule4)) -> rule6))]