The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. If the squirrel is kind and the squirrel is blue then the squirrel is rough. All red people are blue.
The squirrel is not round.
@0: The squirrel is blue.[(triple1 OR ((triple3) -> rule2))] The squirrel is kind.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3) -> rule2)) -> rule1))] The squirrel is round.[(triple5)]