The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone is big and they eat the rabbit then they eat the squirrel. If the squirrel needs the rabbit and the squirrel is red then the rabbit eats the squirrel. If someone needs the squirrel and they eat the rabbit then the rabbit sees the squirrel. If someone is red then they need the rabbit. If the rabbit sees the squirrel then the rabbit is red. If someone eats the rabbit and they see the rabbit then the rabbit sees the squirrel.
The rabbit eats the rabbit.
@0: The rabbit eats the squirrel.[(triple1 OR ((triple15 triple13) -> rule2) OR ((((triple13) -> rule4) triple13) -> rule2))] The rabbit is big.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5 OR ((triple8) -> rule5) OR ((((triple9 triple16) -> rule6)) -> rule5))] The rabbit is young.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8 OR ((triple9 triple16) -> rule6))] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the rabbit.[(triple15 OR ((triple13) -> rule4))] The squirrel sees the rabbit.[(triple16)] @1: The rabbit needs the rabbit.[(((triple5) -> rule4) OR ((((triple8) -> rule5)) -> rule4) OR ((((((triple9 triple16) -> rule6)) -> rule5)) -> rule4))] The squirrel eats the squirrel.[(((triple10 triple9) -> rule1))]