The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel sees the rabbit. If something chases the squirrel and it is young then it chases the rabbit. If something chases the rabbit and the rabbit sees the squirrel then it is round.
The squirrel sees the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is big.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6 OR ((((triple1 triple7) -> rule1) triple8) -> rule2))] The rabbit is young.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13 OR ((triple9 triple8) -> rule2))] The squirrel is young.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The rabbit chases the rabbit.[(((triple1 triple7) -> rule1))]