Anne is cold. Anne is quiet. Anne is white. Erin is nice. Erin is red. Erin is young. Fiona is blue. Fiona is nice. Harry is blue. Harry is nice. Harry is quiet. Harry is red. White things are red. All quiet things are young. If something is red then it is nice.
Harry is not nice.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule3))] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule3))] Harry is quiet.[(triple11)] Harry is red.[(triple12)] @1: Anne is red.[(((triple3) -> rule1))] Anne is young.[(((triple2) -> rule2))] Harry is young.[(((triple11) -> rule2))] @2: Anne is nice.[(((((triple3) -> rule1)) -> rule3))]