Anne is kind. Bob is white. Gary is not kind. If Gary is round and Gary is young then Gary is white. Kind things are young. All cold things are not blue. Young things are blue. All round things are white. If Anne is kind and Anne is blue then Anne is round.
Bob is blue.
@0: Anne is kind.[(triple1)] Bob is white.[(triple2)] Gary is not kind.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is round.[(((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6))] @4: Anne is white.[(((((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule5))]