The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is red. The squirrel likes the rabbit. If something eats the squirrel then it likes the squirrel. If something sees the squirrel and the squirrel eats the rabbit then it is cold. If the rabbit is red then the rabbit is round. If something likes the squirrel and the squirrel eats the rabbit then it is cold. If something sees the squirrel and it sees the rabbit then the rabbit likes the squirrel. If something is red then it is green. If something eats the rabbit then it eats the squirrel. If something sees the rabbit then it is green.
The squirrel is cold.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3 OR ((triple7 triple9) -> rule4) OR ((triple8 triple9) -> rule2) OR ((((triple1) -> rule1) triple9) -> rule4))] The rabbit is green.[(triple4 OR ((triple5) -> rule6))] The rabbit is red.[(triple5)] The rabbit is round.[(triple6 OR ((triple5) -> rule3))] The rabbit likes the squirrel.[(triple7 OR ((triple1) -> rule1))] The rabbit sees the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is red.[(triple11)] The squirrel likes the rabbit.[(triple12)] @1: The squirrel eats the squirrel.[(((triple9) -> rule7))] The squirrel is green.[(((triple11) -> rule6))] @2: The squirrel likes the squirrel.[(((((triple9) -> rule7)) -> rule1))] @3: The squirrel is cold.[(((((((triple9) -> rule7)) -> rule1) triple9) -> rule4))]