The rabbit chases the squirrel. The rabbit chases the tiger. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit likes the tiger. The rabbit sees the squirrel. The squirrel is cold. The squirrel is nice. The squirrel likes the rabbit. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger likes the rabbit. If someone chases the squirrel then the squirrel sees the rabbit. If the rabbit likes the tiger then the rabbit chases the tiger. If someone sees the tiger and they see the squirrel then the squirrel chases the rabbit. If someone is cold and they see the rabbit then the rabbit likes the squirrel. If someone likes the rabbit and they like the squirrel then they are blue. If someone sees the tiger then the tiger sees the rabbit.
The squirrel sees the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit chases the tiger.[(triple2 OR ((triple6) -> rule2))] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the rabbit.[(triple10)] The squirrel sees the rabbit.[(triple11 OR ((triple1) -> rule1) OR ((triple13) -> rule1))] The squirrel sees the tiger.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger is big.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The rabbit likes the squirrel.[(((triple8 triple11) -> rule4) OR ((triple8 ((triple1) -> rule1)) -> rule4) OR ((triple8 ((triple13) -> rule1)) -> rule4))] The tiger sees the rabbit.[(((triple12) -> rule6))]