The rabbit eats the squirrel. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone visits the squirrel and they eat the rabbit then they are blue. If the rabbit sees the squirrel and the rabbit is nice then the rabbit is kind. If someone eats the rabbit then they see the squirrel. If someone sees the squirrel and the squirrel eats the rabbit then they visit the squirrel. If someone eats the squirrel then the squirrel eats the rabbit. If the squirrel sees the rabbit and the rabbit eats the squirrel then the squirrel is kind.
The rabbit sees the rabbit.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple7 triple4) -> rule2))] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple1) -> rule5)) -> rule4))] The squirrel eats the rabbit.[(triple9 OR ((triple1) -> rule5))] The squirrel is kind.[(triple10 OR ((triple14 triple1) -> rule6))] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The squirrel sees the squirrel.[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] @2: The squirrel visits the squirrel.[(((((triple9) -> rule3) triple9) -> rule4) OR ((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) OR ((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4))] @3: The squirrel is blue.[(((((((triple9) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((triple9) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) triple9) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) triple9) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))]