Bob is blue. Bob is furry. Bob is quiet. Bob is smart. Gary is not big. Gary is nice. Gary is quiet. If Gary is white then Gary is blue. All nice things are white. If something is blue and not big then it is smart.
Bob is not white.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Gary is nice.[(triple6)] Gary is not big.[(triple5)] Gary is quiet.[(triple7)] @1: Gary is white.[(((triple6) -> rule2))] @2: Gary is blue.[(((((triple6) -> rule2)) -> rule1))] @3: Gary is smart.[(((((((triple6) -> rule2)) -> rule1) triple5) -> rule3))]