Charlie is cold. Charlie is kind. Charlie is quiet. Cold things are furry. All cold things are round. If something is cold and round then it is kind. All round things are white. All cold, white things are rough. If Charlie is rough then Charlie is cold.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple1 ((triple1) -> rule2)) -> rule3))] Charlie is quiet.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule1))] Charlie is round.[(((triple1) -> rule2))] @2: Charlie is white.[(((((triple1) -> rule2)) -> rule4))] @3: Charlie is rough.[(((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule5))]