Bob is young. Gary is young. Harry is kind. If something is cold and red then it is kind. If something is red then it is blue. All young things are red. Kind, blue things are quiet. All blue things are not round. If Gary is not red and Gary is not young then Gary is quiet.
Harry is not blue.
@0: Bob is young.[(triple1)] Gary is young.[(triple2)] Harry is kind.[(triple3)] @1: Bob is red.[(((triple1) -> rule3))] Gary is red.[(((triple2) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3)) -> rule2))] Gary is blue.[(((((triple2) -> rule3)) -> rule2))] @3: Bob is not round.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))] Gary is not round.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))]