Anne is blue. Anne is not furry. Anne is not young. Bob is big. Bob is not blue. Bob is nice. Bob is smart. Gary is nice. Gary is young. Harry is nice. If someone is smart then they are not quiet. If Bob is not quiet and Bob is not furry then Bob is not young. If Gary is big then Gary is nice. If someone is smart and furry then they are big. Nice, young people are big. If someone is furry and not quiet then they are not big. If someone is nice and not big then they are not blue. All young, big people are not blue.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not young.[(triple3)] Bob is big.[(triple4)] Bob is nice.[(triple6)] Bob is not blue.[(triple5)] Bob is smart.[(triple7)] Gary is nice.[(triple8)] Gary is young.[(triple9)] Harry is nice.[(triple10)] @1: Bob is not quiet.[(((triple7) -> rule1))] Gary is big.[(((triple8 triple9) -> rule5))] @2: Gary is not blue.[(((triple9 ((triple8 triple9) -> rule5)) -> rule8))]