The squirrel is rough. Nice things are rough. Rough, kind things are round. Rough things are kind. If something is nice and rough then it is big. All round, rough things are nice. If the squirrel is rough and the squirrel is kind then the squirrel is nice.
The squirrel is not rough.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is kind.[(((triple1) -> rule3))] @2: The squirrel is nice.[(((triple1 ((triple1) -> rule3)) -> rule6) OR ((((triple1 ((triple1) -> rule3)) -> rule2) triple1) -> rule5))] The squirrel is round.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: The squirrel is big.[(((((triple1 ((triple1) -> rule3)) -> rule6) triple1) -> rule4) OR ((((((triple1 ((triple1) -> rule3)) -> rule2) triple1) -> rule5) triple1) -> rule4))]