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