The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is round. If something is nice and rough then it is green. If the squirrel is big then the squirrel is round. If something is round and rough then it is green.
The squirrel does not like the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple3 triple4) -> rule1) OR ((triple5 triple4) -> rule3) OR ((((triple1) -> rule2) triple4) -> rule3))] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple1) -> rule2))]