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