The lion chases the rabbit. The lion eats the rabbit. The lion is blue. The lion is round. The rabbit chases the lion. The rabbit eats the lion. The rabbit is blue. The rabbit is nice. The rabbit is young. The rabbit visits the lion. If someone chases the rabbit and they are green then the rabbit chases the lion. If someone visits the rabbit then the rabbit chases the lion. If someone eats the rabbit and the rabbit eats the lion then the lion is round.
The rabbit is not young.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is round.[(triple4 OR ((triple2 triple6) -> rule3))] The rabbit chases the lion.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is young.[(triple9)] The rabbit visits the lion.[(triple10)]