Charlie is round. Charlie is smart. Dave is blue. Dave is quiet. Erin is not furry. Erin is not kind. Erin is smart. Harry is blue. Harry is not red. Harry is round. If something is furry and not blue then it is kind. If something is blue then it is round. If something is furry then it is round. Kind things are red. If Harry is furry and Harry is red then Harry is not quiet. If something is round and blue then it is not furry.
Erin is smart.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Dave is blue.[(triple3)] Dave is quiet.[(triple4)] Erin is not furry.[(triple5)] Erin is not kind.[(triple6)] Erin is smart.[(triple7)] Harry is blue.[(triple8)] Harry is not red.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule2))] @1: Dave is round.[(((triple3) -> rule2))] Harry is not furry.[(((triple10 triple8) -> rule6) OR ((((triple8) -> rule2) triple8) -> rule6))] @2: Dave is not furry.[(((((triple3) -> rule2) triple3) -> rule6))]