Anne is big. Anne is blue. Anne is quiet. Bob is furry. Bob is not green. Bob is not rough. Erin is blue. All big things are blue. If something is quiet then it is furry. If something is quiet and not rough then it is big.
Bob is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule1))] Anne is quiet.[(triple3)] Bob is furry.[(triple4)] Bob is not green.[(triple5)] Bob is not rough.[(triple6)] Erin is blue.[(triple7)] @1: Anne is furry.[(((triple3) -> rule2))]