The rabbit eats the squirrel. The rabbit is blue. The rabbit is green. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone is big then they are red. If someone sees the squirrel then the squirrel sees the rabbit.
The squirrel is blue.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit needs the squirrel.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is big.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9 OR ((triple7) -> rule1))] The squirrel is young.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12 OR ((triple5) -> rule2))]