Charlie is not furry. Dave is not nice. Gary is round. If someone is round then they are nice. Young people are not round. All nice people are cold. If someone is young and not round then they are not cold. If someone is nice and not round then they are not quiet. All cold people are not furry. If someone is round and quiet then they are furry. If Gary is quiet and Gary is round then Gary is cold.
Charlie is not nice.
@0: Charlie is not furry.[(triple1)] Dave is not nice.[(triple2)] Gary is round.[(triple3)] @1: Gary is nice.[(((triple3) -> rule1))] @2: Gary is cold.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is not furry.[(((((((triple3) -> rule1)) -> rule3)) -> rule6))]