The rabbit eats the squirrel. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. The squirrel sees the rabbit. If something eats the squirrel and the squirrel is red then the squirrel is round. If something is nice then it likes the rabbit. If something sees the squirrel then the squirrel likes the rabbit. If something eats the rabbit then it sees the squirrel. If something likes the squirrel then the squirrel is round. If something likes the squirrel then the squirrel likes the rabbit. If something is nice then it eats the squirrel. If something sees the squirrel and it sees the rabbit then the squirrel is cold.
The rabbit does not like the rabbit.
@0: The rabbit eats the squirrel.[(triple1 OR ((triple3) -> rule7))] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13 OR ((triple7) -> rule5) OR ((triple1 triple11) -> rule1) OR ((((triple10) -> rule7) triple11) -> rule1) OR ((((triple3) -> rule7) triple11) -> rule1))] The squirrel likes the rabbit.[(triple14 OR ((triple10) -> rule2) OR ((triple7) -> rule6) OR ((triple8) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] The squirrel sees the rabbit.[(triple15)] @1: The rabbit likes the rabbit.[(((triple3) -> rule2))] The squirrel eats the squirrel.[(((triple10) -> rule7))] The squirrel sees the squirrel.[(((triple9) -> rule4))] @2: The squirrel is cold.[(((((triple9) -> rule4) triple15) -> rule8))]