The rabbit sees the squirrel. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel likes the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone visits the rabbit and they are kind then they visit the squirrel. If someone sees the rabbit then they see the squirrel. If the rabbit sees the squirrel then the squirrel likes the rabbit. If someone visits the squirrel and they are blue then the squirrel likes the rabbit. If the rabbit is big and the rabbit visits the squirrel then the rabbit likes the squirrel. If someone sees the squirrel and the squirrel visits the rabbit then they are red.
The squirrel is blue.
@0: The rabbit sees the squirrel.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((((triple6) -> rule2) triple7) -> rule6))] The squirrel likes the rabbit.[(triple5 OR ((triple1) -> rule3))] The squirrel sees the rabbit.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The rabbit is red.[(((triple1 triple7) -> rule6))] The squirrel sees the squirrel.[(((triple6) -> rule2))]