Anne is red. Anne is round. Charlie is red. Erin is white. Harry is nice. Harry is round. Harry is white. Big things are round. If something is round then it is kind. Round, kind things are nice.
Harry is not kind.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Charlie is red.[(triple3)] Erin is white.[(triple4)] Harry is nice.[(triple5 OR ((triple6 ((triple6) -> rule2)) -> rule3))] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Anne is kind.[(((triple2) -> rule2))] Harry is kind.[(((triple6) -> rule2))] @2: Anne is nice.[(((triple2 ((triple2) -> rule2)) -> rule3))]