Bob is green. Charlie is big. Dave is quiet. Gary is furry. All round, cold things are quiet. If something is cold then it is round. If something is furry then it is cold.
Gary is not round.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Dave is quiet.[(triple3)] Gary is furry.[(triple4)] @1: Gary is cold.[(((triple4) -> rule3))] @2: Gary is round.[(((((triple4) -> rule3)) -> rule2))] @3: Gary is quiet.[(((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule1))]