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