Anne is not big. Anne is furry. Anne is nice. Anne is not quiet. Anne is young. Bob is cold. Bob is furry. Bob is not nice. Bob is not quiet. Bob is young. If something is nice and not young then it is quiet. All cold, young things are big. If something is nice and blue then it is big. If something is cold then it is big. If something is young and big then it is blue. All quiet things are not blue. If something is quiet then it is nice. If something is blue and not young then it is not cold.
Bob is blue.
@0: Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not quiet.[(triple4)] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is not nice.[(triple8)] Bob is not quiet.[(triple9)] Bob is young.[(triple10)] @1: Bob is big.[(((triple6) -> rule4) OR ((triple6 triple10) -> rule2))] @2: Bob is blue.[(((triple10 ((triple6) -> rule4)) -> rule5) OR ((triple10 ((triple6 triple10) -> rule2)) -> rule5))]