The squirrel is blue. The squirrel is red. The squirrel is round. If someone is blue then they are red.
The squirrel is not blue.
@0: The squirrel is blue.[(triple1)] The squirrel is red.[(triple2 OR ((triple1) -> rule1))] The squirrel is round.[(triple3)]