The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. Kind, young people are cold. If the squirrel is kind then the squirrel is cold. Cold, red people are young.
The squirrel does not see the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple5) -> rule1))] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5 OR ((triple1 triple4) -> rule3) OR ((((triple2) -> rule2) triple4) -> rule3))]