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