The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is round. All rough things are round.
The squirrel is not round.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple4) -> rule1))]