The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is round. All nice things are blue. If the squirrel is round then the squirrel is cold. All cold, blue things are rough.
The squirrel does not like the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple3) -> rule1))] The squirrel is cold.[(triple2 OR ((triple5) -> rule2))] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple3) -> rule1)) -> rule3) OR ((((triple5) -> rule2) triple1) -> rule3) OR ((((triple5) -> rule2) ((triple3) -> rule1)) -> rule3))] The squirrel is round.[(triple5)]