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 needs the squirrel.
@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)]