The lion chases the rabbit. The lion is green. The lion is young. The lion likes the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is green. The rabbit is young. The rabbit sees the lion. Round people are red. If someone sees the rabbit then the rabbit chases the lion. If someone likes the lion then they chase the rabbit. If someone is green and they like the rabbit then they see the lion. If someone likes the lion and the lion chases the rabbit then the rabbit chases the lion. If someone sees the rabbit and the rabbit is young then they are green.
The lion sees the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is green.[(triple2 OR ((triple5 triple9) -> rule6))] The lion is young.[(triple3)] The lion likes the rabbit.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit chases the lion.[(triple6 OR ((triple5) -> rule2))] The rabbit is big.[(triple7)] The rabbit is green.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The lion sees the lion.[(((triple2 triple4) -> rule4) OR ((((triple5 triple9) -> rule6) triple4) -> rule4))]