The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is green. The lion is nice. The lion is rough. The lion is young. The lion likes the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit likes the lion. If the rabbit is rough and the rabbit likes the lion then the rabbit chases the lion. If something is young then it chases the lion. If something chases the lion and the lion likes the rabbit then it likes the rabbit.
The rabbit does not chase the lion.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The lion likes the rabbit.[(triple8)] The rabbit chases the lion.[(triple9 OR ((triple15) -> rule2) OR ((triple14 triple16) -> rule1))] The rabbit eats the lion.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is young.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The lion chases the lion.[(((triple7) -> rule2))] The rabbit likes the rabbit.[(((triple9 triple8) -> rule3) OR ((((triple15) -> rule2) triple8) -> rule3) OR ((((triple14 triple16) -> rule1) triple8) -> rule3))]