Anne is kind. Anne is nice. Anne is quiet. Anne is white. Bob is nice. Erin is furry. Erin is green. Erin is quiet. Erin is round. Harry is quiet. If Harry is quiet then Harry is round. White things are green. If something is round then it is white.
Harry is not kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is nice.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((((triple9) -> rule3)) -> rule2))] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is green.[(((triple4) -> rule2))] Erin is white.[(((triple9) -> rule3))] Harry is round.[(((triple10) -> rule1))] @2: Harry is white.[(((((triple10) -> rule1)) -> rule3))] @3: Harry is green.[(((((((triple10) -> rule1)) -> rule3)) -> rule2))]