The rabbit is not big. The rabbit is young. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel is red. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone eats the squirrel and the squirrel eats the rabbit then they visit the rabbit. If someone needs the squirrel then they eat the squirrel. If someone is big and they eat the squirrel then they are not round. If someone visits the rabbit and the rabbit needs the squirrel then the squirrel needs the rabbit. If someone eats the squirrel then the squirrel eats the rabbit. If someone is young and they eat the squirrel then the squirrel visits the rabbit.
The squirrel does not eat the rabbit.
@0: The rabbit is not big.[(triple1)] The rabbit is young.[(triple2)] The rabbit needs the squirrel.[(triple3)] The rabbit visits the squirrel.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the rabbit.[(triple6 OR ((triple7 triple3) -> rule4) OR ((((triple2 ((triple3) -> rule2)) -> rule6) triple3) -> rule4) OR ((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule1) triple3) -> rule4))] The squirrel visits the rabbit.[(triple7 OR ((triple2 ((triple3) -> rule2)) -> rule6))] @1: The rabbit eats the squirrel.[(((triple3) -> rule2))] @2: The squirrel eats the rabbit.[(((((triple3) -> rule2)) -> rule5))] @3: The rabbit visits the rabbit.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule1))]