The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is blue. The lion is green. The lion is rough. The lion is round. The lion sees the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is round. The rabbit sees the lion. If the rabbit is big and the rabbit eats the lion then the lion sees the rabbit. If someone eats the lion and they eat the rabbit then the rabbit sees the lion. If someone is round and rough then they eat the rabbit.
The rabbit chases the lion.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2 OR ((triple7 triple6) -> rule3))] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is green.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion sees the rabbit.[(triple8 OR ((triple11 triple10) -> rule1))] The rabbit chases the lion.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is big.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is green.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the lion.[(triple15)]