The rabbit chases the squirrel. The rabbit is kind. The rabbit is rough. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel likes the rabbit. The squirrel needs the rabbit. If something likes the squirrel then it is nice. If something is rough and it chases the squirrel then the squirrel is rough. If something is cold and it likes the rabbit then it likes the squirrel. All round things are nice. If something likes the rabbit then it chases the rabbit. If something needs the rabbit and it chases the rabbit then it chases the squirrel. If something likes the squirrel and it chases the rabbit then the rabbit is round. If something chases the squirrel then it is rough.
The squirrel does not need the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3 OR ((triple1) -> rule8))] The rabbit needs the squirrel.[(triple4)] The squirrel chases the rabbit.[(triple5 OR ((triple9) -> rule5))] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7 OR ((triple8) -> rule4) OR ((((triple6 triple9) -> rule3)) -> rule1))] The squirrel is round.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The squirrel chases the squirrel.[(((triple10 triple5) -> rule6) OR ((triple10 ((triple9) -> rule5)) -> rule6))] The squirrel is rough.[(((triple3 triple1) -> rule2) OR ((((triple10 triple5) -> rule6)) -> rule8) OR ((((triple1) -> rule8) triple1) -> rule2) OR ((((triple10 ((triple9) -> rule5)) -> rule6)) -> rule8))] The squirrel likes the squirrel.[(((triple6 triple9) -> rule3))] @2: The rabbit is round.[(((((triple6 triple9) -> rule3) triple5) -> rule7) OR ((((triple6 triple9) -> rule3) ((triple9) -> rule5)) -> rule7))] @3: The rabbit is nice.[(((((((triple6 triple9) -> rule3) triple5) -> rule7)) -> rule4) OR ((((((triple6 triple9) -> rule3) ((triple9) -> rule5)) -> rule7)) -> rule4))]