The rabbit eats the squirrel. The rabbit is green. The rabbit is round. The rabbit likes the squirrel. The rabbit does not visit the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone visits the squirrel and the squirrel eats the rabbit then they do not like the rabbit. If someone likes the squirrel and they are green then they eat the squirrel. If someone is green then they are round. If the rabbit visits the squirrel and the rabbit does not eat the squirrel then the squirrel visits the rabbit. If someone eats the squirrel and the squirrel is red then they are rough. If someone eats the rabbit and they do not like the rabbit then they are rough. If the rabbit is not rough then the rabbit is red. If someone visits the rabbit then the rabbit is red.
The squirrel does not eat the squirrel.
@0: The rabbit does not visit the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple1 OR ((triple4 triple2) -> rule2))] The rabbit is green.[(triple2)] The rabbit is round.[(triple3 OR ((triple2) -> rule3))] The rabbit likes the squirrel.[(triple4)] The squirrel eats the rabbit.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit is red.[(((triple12) -> rule8))] The rabbit is rough.[(((triple1 triple9) -> rule5) OR ((((triple4 triple2) -> rule2) triple9) -> rule5))] The squirrel is round.[(((triple8) -> rule3))]