Anne is nice. Erin is red. Erin is not round. Fiona is not nice. Harry is not blue. Harry is red. Harry is young. If Harry is blue and Harry is nice then Harry is red. If something is young and round then it is rough. All young, nice things are rough. Round, quiet things are young. If Erin is young and Erin is round then Erin is blue. Nice things are quiet. All quiet things are round. Rough things are not red. If something is round and red then it is blue.
Harry is not red.
@0: Anne is nice.[(triple1)] Erin is not round.[(triple3)] Erin is red.[(triple2)] Fiona is not nice.[(triple4)] Harry is not blue.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule6))] @2: Anne is round.[(((((triple1) -> rule6)) -> rule7))] @3: Anne is young.[(((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4))] @4: Anne is rough.[(((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4) ((((triple1) -> rule6)) -> rule7)) -> rule2))] @5: Anne is not red.[(((((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4) triple1) -> rule3)) -> rule8) OR ((((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule4) ((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule8))]