The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is not green. The lion is not rough. The lion is round. The rabbit chases the lion. The rabbit eats the lion. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit is not young. If the lion is rough then the lion eats the rabbit. If something sees the rabbit then the rabbit does not chase the lion. If something eats the rabbit then the rabbit chases the lion. If the rabbit does not see the lion then the rabbit chases the lion. If something sees the lion then it chases the rabbit. If something chases the rabbit and it does not eat the lion then the lion sees the rabbit. If something is big and it does not see the lion then the lion sees the rabbit. If the rabbit does not chase the lion then the rabbit is not round.
The rabbit is not green.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is not green.[(triple4)] The lion is not rough.[(triple5)] The lion is round.[(triple6)] The rabbit chases the lion.[(triple7 OR ((triple2) -> rule3))] The rabbit eats the lion.[(triple8)] The rabbit is green.[(triple9)] The rabbit is not young.[(triple12)] The rabbit is rough.[(triple10)] The rabbit is round.[(triple11)]