The lion eats the rabbit. The lion eats the squirrel. The lion is green. The lion is young. The lion sees the squirrel. The lion visits the rabbit. The lion visits the squirrel. The rabbit is red. The rabbit visits the lion. The squirrel eats the lion. The squirrel is young. The squirrel visits the rabbit. If the rabbit visits the lion then the lion sees the rabbit. If something visits the lion and it is green then it eats the lion. If the squirrel is cold then the squirrel is young. If something is red then it sees the squirrel. If something is cold then it sees the rabbit. If something sees the squirrel then it is green.
The rabbit eats the lion.
@0: The lion eats the rabbit.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is green.[(triple3 OR ((triple5) -> rule6))] The lion is young.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the rabbit.[(triple6)] The lion visits the squirrel.[(triple7)] The rabbit is red.[(triple8)] The rabbit visits the lion.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is young.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The lion sees the rabbit.[(((triple9) -> rule1))] The rabbit sees the squirrel.[(((triple8) -> rule4))] @2: The rabbit is green.[(((((triple8) -> rule4)) -> rule6))] @3: The rabbit eats the lion.[(((triple9 ((((triple8) -> rule4)) -> rule6)) -> rule2))]