Anne is round. Erin is nice. Fiona is quiet. Harry is not smart. Smart things are green. If something is nice then it is quiet. Nice things are quiet. Round things are nice. If something is quiet and nice then it is white. If something is green and not nice then it is cold.
Erin is round.
@0: Anne is round.[(triple1)] Erin is nice.[(triple2)] Fiona is quiet.[(triple3)] Harry is not smart.[(triple4)] @1: Anne is nice.[(((triple1) -> rule4))] Erin is quiet.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule4)) -> rule3))] Erin is white.[(((((triple2) -> rule2) triple2) -> rule5) OR ((((triple2) -> rule3) triple2) -> rule5))] @3: Anne is white.[(((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5))]