The rabbit is blue. The rabbit is kind. 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 cold. The squirrel is kind. The squirrel is red. The squirrel needs the rabbit. The squirrel sees the rabbit. If something eats the rabbit and it sees the squirrel then it is red. If something sees the rabbit then it needs the squirrel. If something sees the squirrel then it eats the rabbit. If something is big and it eats the rabbit then it eats the squirrel. If something is red and blue then it is cold. If something needs the squirrel and the squirrel sees the rabbit then the rabbit eats the squirrel.
The rabbit needs the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2)] The rabbit needs the squirrel.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel eats the rabbit.[(triple5)] The squirrel is big.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8 OR ((triple10 triple7) -> rule5))] The squirrel is kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The rabbit eats the rabbit.[(((triple4) -> rule3))] The rabbit eats the squirrel.[(((triple3 triple12) -> rule6) OR ((((triple12) -> rule2) triple12) -> rule6))] The squirrel eats the squirrel.[(((triple6 triple5) -> rule4))] The squirrel needs the squirrel.[(((triple12) -> rule2))] @2: The rabbit is red.[(((((triple4) -> rule3) triple4) -> rule1))] @3: The rabbit is cold.[(((((((triple4) -> rule3) triple4) -> rule1) triple1) -> rule5))]