Anne is nice. Bob is quiet. Gary is not blue. If someone is quiet and not big then they are blue. All quiet, blue people are smart. Quiet people are smart. If someone is big then they are not young. Cold people are young. If someone is quiet then they are not young. All big, blue people are quiet. All blue people are not cold.
Anne is not quiet.
@0: Anne is nice.[(triple1)] Bob is quiet.[(triple2)] Gary is not blue.[(triple3)] @1: Bob is not young.[(((triple2) -> rule6))] Bob is smart.[(((triple2) -> rule3))]