The squirrel is cold. The squirrel is kind. The squirrel is not red. The squirrel is round. The squirrel is not young. If something is red and not young then it is cold. All young things are cold. If something is cold and young then it is not red. All round, red things are kind. If something is red and not cold then it is kind. If something is round and young then it is kind. If something is kind and cold then it is round. Young, red things are not round.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is not red.[(triple3)] The squirrel is not young.[(triple5)] The squirrel is round.[(triple4 OR ((triple2 triple1) -> rule7))]