Charlie is not cold. Fiona is nice. Gary is quiet. If someone is quiet then they are cold. If someone is furry then they are cold. All young people are not smart. If someone is nice and furry then they are smart. All quiet, kind people are smart. If Charlie is not furry then Charlie is young. If someone is cold then they are kind. All smart, young people are kind.
Gary is kind.
@0: Charlie is not cold.[(triple1)] Fiona is nice.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is cold.[(((triple3) -> rule1))] @2: Gary is kind.[(((((triple3) -> rule1)) -> rule7))] @3: Gary is smart.[(((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule5))]