Anne is not nice. Anne is quiet. Anne is round. Erin is nice. Erin is red. Harry is white. Harry is young. If someone is nice then they are quiet. All red people are nice. If someone is red and not quiet then they are not cold.
Harry is young.
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule2))] Erin is red.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Erin is quiet.[(((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]