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