The squirrel is kind. The squirrel is round. The squirrel is young. All green, round things are kind. If something is kind then it is round. If something is cold then it is young. Young, round things are kind. All round, cold things are kind. Cold, green things are kind.
The squirrel is not kind.
@0: The squirrel is kind.[(triple1 OR ((triple3 triple2) -> rule4))] The squirrel is round.[(triple2 OR ((triple1) -> rule2))] The squirrel is young.[(triple3)]