The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is young. The rabbit visits the squirrel. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone visits the squirrel then they are green. If someone likes the rabbit then the rabbit likes the squirrel. If the rabbit eats the squirrel then the squirrel likes the rabbit. If someone likes the rabbit then the rabbit likes the squirrel. If someone likes the squirrel and the squirrel is red then they eat the rabbit. If someone visits the squirrel and they eat the squirrel then the squirrel likes the rabbit.
The rabbit does not eat the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2 OR ((triple5) -> rule1))] The rabbit is rough.[(triple3)] The rabbit is young.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit likes the squirrel.[(((triple9) -> rule2) OR ((triple9) -> rule4))] @2: The rabbit eats the rabbit.[(((((triple9) -> rule2) triple7) -> rule5) OR ((((triple9) -> rule4) triple7) -> rule5))]