Anne is quiet. Bob is red. Dave is white. Gary is young. If something is green then it is white. If something is red then it is round. All red things are white. If something is white then it is young. If something is quiet and red then it is round. If something is white and quiet then it is green. All green, red things are cold. If something is white and cold then it is quiet.
Gary is not young.
@0: Anne is quiet.[(triple1)] Bob is red.[(triple2)] Dave is white.[(triple3)] Gary is young.[(triple4)] @1: Bob is round.[(((triple2) -> rule2))] Bob is white.[(((triple2) -> rule3))] Dave is young.[(((triple3) -> rule4))] @2: Bob is young.[(((((triple2) -> rule3)) -> rule4))]