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