The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. If something is blue and rough then it is round. Red things are blue. All nice things are blue.
The squirrel does not see the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule2))] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple1 triple4) -> rule1) OR ((((triple2) -> rule3) triple4) -> rule1) OR ((((triple3) -> rule2) triple4) -> rule1))]