The lion chases the rabbit. The lion is not big. The lion is not green. The lion is nice. The lion is young. The lion does not like the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit likes the lion. The rabbit sees the lion. If someone chases the rabbit then they see the rabbit. If someone is big then they chase the rabbit. If someone likes the rabbit then the rabbit chases the lion.
The rabbit likes the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion does not like the rabbit.[(triple6)] The lion is nice.[(triple4)] The lion is not big.[(triple2)] The lion is not green.[(triple3)] The lion is young.[(triple5)] The lion sees the rabbit.[(triple7 OR ((triple1) -> rule1))] The rabbit chases the lion.[(triple8)] The rabbit is big.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The rabbit chases the rabbit.[(((triple9) -> rule2))] @2: The rabbit sees the rabbit.[(((((triple9) -> rule2)) -> rule1))]