The lion chases the rabbit. The lion is blue. The lion is cold. The lion is green. The lion is red. The lion is young. The lion sees the rabbit. The lion visits the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit sees the lion. The rabbit visits the lion. If someone sees the rabbit then they chase the lion. Green people are red.
The lion does not see the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is red.[(triple5 OR ((triple4) -> rule2))] The lion is young.[(triple6)] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit is red.[(triple13 OR ((triple12) -> rule2))] The rabbit is young.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The lion chases the lion.[(((triple7) -> rule1))]