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