Bob is young. Dave is white. Gary is smart. Harry is round. If something is round then it is blue. Young, white things are smart. Red things are round. If something is smart then it is red. All red, blue things are white. If Harry is cold and Harry is blue then Harry is red.
Gary is cold.
@0: Bob is young.[(triple1)] Dave is white.[(triple2)] Gary is smart.[(triple3)] Harry is round.[(triple4)] @1: Gary is red.[(((triple3) -> rule4))] Harry is blue.[(((triple4) -> rule1))] @2: Gary is round.[(((((triple3) -> rule4)) -> rule3))] @3: Gary is blue.[(((((((triple3) -> rule4)) -> rule3)) -> rule1))] @4: Gary is white.[(((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3)) -> rule1)) -> rule5))]