Bob is big. Bob is not blue. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is not white. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is white. All white people are not furry. If someone is quiet and white then they are big. Furry, red people are green. If someone is big then they are green. If someone is red and not furry then they are green. If someone is blue and not big then they are green.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple1) -> rule4) OR ((triple3 triple6) -> rule3))] Bob is not blue.[(triple2)] Bob is not white.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Harry is big.[(triple8 OR ((triple11 triple12) -> rule2))] Harry is blue.[(triple9)] Harry is green.[(triple10 OR ((triple8) -> rule4) OR ((((triple11 triple12) -> rule2)) -> rule4))] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Harry is not furry.[(((triple12) -> rule1))]