The lion eats the squirrel. The lion is kind. The lion is young. The lion likes the squirrel. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit is kind. The rabbit is rough. The rabbit likes the squirrel. The rabbit sees the lion. The squirrel eats the rabbit. The squirrel is cold. The squirrel is young. The squirrel likes the lion. The squirrel likes the rabbit. The squirrel sees the rabbit. If something likes the lion then the lion eats the squirrel. If something eats the rabbit then it is rough. If something is young then it sees the rabbit. If something likes the rabbit and it likes the lion then it likes the squirrel. If the rabbit sees the squirrel and the rabbit is cold then the squirrel is cold. If something is kind and it sees the rabbit then it likes the lion. If something eats the lion and the lion sees the rabbit then it eats the squirrel. If something is blue and it likes the squirrel then it eats the lion.
The rabbit does not see the rabbit.
@0: The lion eats the squirrel.[(triple1 OR ((triple14) -> rule1) OR ((((triple2 ((triple3) -> rule3)) -> rule6)) -> rule1))] The lion is kind.[(triple2)] The lion is young.[(triple3)] The lion likes the squirrel.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit eats the squirrel.[(triple6 OR ((triple5 ((triple3) -> rule3)) -> rule7))] The rabbit is kind.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the squirrel.[(triple9)] The rabbit sees the lion.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel likes the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16 OR ((triple13) -> rule3))] @1: The lion sees the rabbit.[(((triple3) -> rule3))] The squirrel is rough.[(((triple11) -> rule2))] The squirrel likes the squirrel.[(((triple15 triple14) -> rule4))] @2: The lion likes the lion.[(((triple2 ((triple3) -> rule3)) -> rule6))]