Anne is smart. Erin is kind. Erin is round. Erin is smart. Harry is kind. Harry is round. Harry is white. Kind, red things are quiet. If something is kind then it is red. All quiet, white things are round.
Harry is red.
@0: Anne is smart.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6 OR ((((triple5 ((triple5) -> rule2)) -> rule1) triple7) -> rule3))] Harry is white.[(triple7)] @1: Erin is red.[(((triple2) -> rule2))] Harry is red.[(((triple5) -> rule2))] @2: Erin is quiet.[(((triple2 ((triple2) -> rule2)) -> rule1))] Harry is quiet.[(((triple5 ((triple5) -> rule2)) -> rule1))]