Anne is not blue. Anne is green. Dave is blue. Dave is kind. Dave is rough. Dave is smart. Erin is furry. Erin is rough. Harry is not furry. Harry is kind. If something is kind and not blue then it is green. If something is kind and not blue then it is furry. If something is green and not blue then it is kind. If something is kind and not furry then it is rough. If something is blue and not furry then it is rough. If something is kind and furry then it is smart. If something is rough and not blue then it is smart. Furry things are smart.
Harry is round.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is furry.[(triple7)] Erin is rough.[(triple8)] Harry is kind.[(triple10)] Harry is not furry.[(triple9)] @1: Anne is kind.[(((triple2 triple1) -> rule3))] Erin is smart.[(((triple7) -> rule8))] Harry is rough.[(((triple10 triple9) -> rule4))] @2: Anne is furry.[(((((triple2 triple1) -> rule3) triple1) -> rule2))] @3: Anne is smart.[(((((((triple2 triple1) -> rule3) triple1) -> rule2)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3) triple1) -> rule2)) -> rule6))]