The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is not round. If the squirrel is green then the squirrel is nice. Cold, green people are blue.
The squirrel visits the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple2 triple3) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is nice.[(triple4 OR ((triple3) -> rule1))] The squirrel is not round.[(triple5)]