The rabbit is round. The rabbit sees the tiger. The rabbit visits the tiger. The squirrel eats the rabbit. The squirrel eats the tiger. The squirrel is green. The squirrel is rough. The squirrel sees the rabbit. The squirrel sees the tiger. The squirrel visits the rabbit. The squirrel visits the tiger. The tiger eats the rabbit. The tiger is big. The tiger is nice. The tiger sees the squirrel. The tiger visits the squirrel. If the squirrel eats the rabbit then the squirrel is nice. If something sees the tiger then it eats the tiger. If something eats the tiger and it eats the rabbit then the rabbit sees the squirrel. If something is round then it sees the rabbit. If something visits the squirrel then it is nice. If something eats the rabbit then the rabbit eats the tiger. If the squirrel eats the tiger and the squirrel is round then the tiger eats the squirrel. If the tiger is round and the tiger visits the squirrel then the tiger sees the rabbit.
The rabbit sees the squirrel.
@0: The rabbit is round.[(triple1)] The rabbit sees the tiger.[(triple2)] The rabbit visits the tiger.[(triple3)] The squirrel eats the rabbit.[(triple4)] The squirrel eats the tiger.[(triple5 OR ((triple9) -> rule2))] The squirrel is green.[(triple6)] The squirrel is rough.[(triple7)] The squirrel sees the rabbit.[(triple8)] The squirrel sees the tiger.[(triple9)] The squirrel visits the rabbit.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is big.[(triple13)] The tiger is nice.[(triple14 OR ((triple16) -> rule5))] The tiger sees the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The rabbit eats the tiger.[(((triple12) -> rule6) OR ((triple2) -> rule2) OR ((triple4) -> rule6))] The rabbit sees the rabbit.[(((triple1) -> rule4))] The rabbit sees the squirrel.[(((triple5 triple4) -> rule3) OR ((((triple9) -> rule2) triple4) -> rule3))] The squirrel is nice.[(((triple4) -> rule1))]