The rabbit eats the squirrel. The rabbit is red. The rabbit is round. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone eats the squirrel then the squirrel is blue.
The squirrel does not visit the squirrel.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is red.[(triple2)] The rabbit is round.[(triple3)] The rabbit needs the squirrel.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is blue.[(triple7 OR ((triple1) -> rule1))] The squirrel is cold.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)]