The lion chases the rabbit. The lion is green. The lion visits the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is young. The rabbit likes the lion. If someone chases the lion then they visit the lion. If someone visits the rabbit and the rabbit likes the lion then the rabbit visits the lion. If the rabbit is red then the rabbit chases the lion. If someone visits the lion then the lion visits the rabbit. If someone likes the rabbit then the rabbit is red. If someone visits the rabbit then they are blue.
The rabbit is not red.
@0: The lion chases the rabbit.[(triple1)] The lion is green.[(triple2)] The lion visits the rabbit.[(triple3 OR ((((triple4) -> rule1)) -> rule4))] The rabbit chases the lion.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the lion.[(triple7)] @1: The lion is blue.[(((triple3) -> rule6) OR ((((((triple4) -> rule1)) -> rule4)) -> rule6))] The rabbit visits the lion.[(((triple4) -> rule1) OR ((triple3 triple7) -> rule2))]