The rabbit is round. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. The squirrel visits the rabbit. If the rabbit is rough and the rabbit likes the squirrel then the rabbit is cold. If the squirrel chases the rabbit then the rabbit is red.
The rabbit is not cold.
@0: The rabbit is round.[(triple1)] The rabbit likes the squirrel.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is red.[(((triple4) -> rule2))]