The cow chases the lion. The cow chases the squirrel. The cow eats the rabbit. The cow is nice. The cow likes the rabbit. The cow likes the squirrel. The lion chases the rabbit. The lion eats the rabbit. The lion likes the squirrel. The rabbit chases the squirrel. The rabbit is blue. The rabbit is nice. The rabbit likes the lion. The squirrel eats the cow. The squirrel eats the lion. The squirrel is rough. If something is nice and it eats the cow then it is kind. If something chases the squirrel then it eats the lion. If something likes the lion and it likes the rabbit then the lion chases the squirrel. If something chases the squirrel and the squirrel is nice then the squirrel is kind. If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. If something eats the lion then it likes the rabbit.
The rabbit does not like the rabbit.
@0: The cow chases the lion.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is nice.[(triple4)] The cow likes the rabbit.[(triple5 OR ((((triple2) -> rule2)) -> rule6))] The cow likes the squirrel.[(triple6)] The lion chases the rabbit.[(triple7)] The lion eats the rabbit.[(triple8)] The lion likes the squirrel.[(triple9)] The rabbit chases the squirrel.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is nice.[(triple12)] The rabbit likes the lion.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel eats the lion.[(triple15)] The squirrel is rough.[(triple16)] @1: The cow eats the lion.[(((triple2) -> rule2))] The rabbit eats the lion.[(((triple10) -> rule2))] The squirrel likes the rabbit.[(((triple15) -> rule6))] @2: The rabbit likes the rabbit.[(((((triple10) -> rule2)) -> rule6))] @3: The lion chases the squirrel.[(((triple13 ((((triple10) -> rule2)) -> rule6)) -> rule3))] @4: The lion eats the lion.[(((((triple13 ((((triple10) -> rule2)) -> rule6)) -> rule3)) -> rule2))] @5: The lion likes the rabbit.[(((((((triple13 ((((triple10) -> rule2)) -> rule6)) -> rule3)) -> rule2)) -> rule6))]