The rabbit chases the squirrel. The rabbit is green. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is green. If something chases the rabbit then the rabbit visits the squirrel. If something visits the squirrel then the squirrel chases the rabbit. If something likes the rabbit then the rabbit is green.
The rabbit does not chase the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit visits the squirrel.[(triple4 OR ((triple5) -> rule1))] The squirrel chases the rabbit.[(triple5 OR ((triple4) -> rule2))] The squirrel is cold.[(triple6)] The squirrel is green.[(triple7)]