The rabbit chases the squirrel. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is kind. The squirrel likes the rabbit. The squirrel sees the rabbit. If something chases the squirrel and the squirrel likes the rabbit then the rabbit likes the squirrel. If something chases the squirrel and it likes the squirrel then it sees the rabbit. If something is rough and it sees the rabbit then it likes the rabbit.
The rabbit chases the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the squirrel.[(triple5 OR ((triple1 triple9) -> rule1))] The rabbit sees the squirrel.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel is kind.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The rabbit sees the rabbit.[(((triple1 triple5) -> rule2) OR ((triple1 ((triple1 triple9) -> rule1)) -> rule2))] @2: The rabbit likes the rabbit.[(((triple3 ((triple1 triple5) -> rule2)) -> rule3) OR ((triple3 ((triple1 ((triple1 triple9) -> rule1)) -> rule2)) -> rule3))]