The lion chases the rabbit. The lion is cold. The lion needs the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit needs the lion. If something chases the rabbit then the rabbit is blue. If the lion needs the rabbit then the lion chases the rabbit. If something chases the lion then the lion visits the rabbit.
The rabbit is rough.
@0: The lion chases the rabbit.[(triple1 OR ((triple3) -> rule2))] The lion is cold.[(triple2)] The lion needs the rabbit.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit is blue.[(triple5 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] The rabbit is cold.[(triple6)] The rabbit needs the lion.[(triple7)] @1: The lion visits the rabbit.[(((triple4) -> rule3))]