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