Charlie is cold. Charlie is furry. Charlie is round. All nice people are cold. All furry people are cold. Cold people are round. Quiet, blue people are nice. All furry, nice people are round. If Charlie is nice then Charlie is quiet. All furry, quiet people are cold. If someone is cold and smart then they are quiet.
Charlie is not furry.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is furry.[(triple2)] Charlie is round.[(triple3 OR ((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3))]