The bald eagle eats the lion. The bald eagle is big. The bald eagle is young. The bald eagle sees the lion. The bald eagle sees the rabbit. The lion is big. The lion likes the bald eagle. The lion sees the squirrel. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit likes the squirrel. The squirrel eats the bald eagle. The squirrel is green. The squirrel is young. The squirrel sees the bald eagle. If something likes the squirrel then it is red. If something eats the bald eagle then the bald eagle eats the squirrel. Red things are rough. If something eats the squirrel then it eats the rabbit. If something is rough then it sees the bald eagle. If something eats the squirrel then the squirrel sees the lion.
The lion does not like the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The lion is big.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion sees the squirrel.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is green.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The bald eagle eats the squirrel.[(((triple12) -> rule2))] The rabbit eats the rabbit.[(((triple10) -> rule4))] The rabbit is red.[(((triple11) -> rule1))] The squirrel sees the lion.[(((triple10) -> rule6) OR ((((triple12) -> rule2)) -> rule6))] @2: The bald eagle eats the rabbit.[(((((triple12) -> rule2)) -> rule4))] The rabbit is rough.[(((((triple11) -> rule1)) -> rule3))] @3: The rabbit sees the bald eagle.[(((((((triple11) -> rule1)) -> rule3)) -> rule5))]