Anne is rough. Fiona is not cold. Fiona is rough. Fiona is not smart. Fiona is young. Harry is not rough. Harry is young. If something is rough then it is white. Young things are nice. White things are young.
Anne is young.
@0: Anne is rough.[(triple1)] Fiona is not cold.[(triple2)] Fiona is not smart.[(triple4)] Fiona is rough.[(triple3)] Fiona is young.[(triple5 OR ((((triple3) -> rule1)) -> rule3))] Harry is not rough.[(triple6)] Harry is young.[(triple7)] @1: Anne is white.[(((triple1) -> rule1))] Fiona is nice.[(((triple5) -> rule2) OR ((((((triple3) -> rule1)) -> rule3)) -> rule2))] Fiona is white.[(((triple3) -> rule1))] Harry is nice.[(((triple7) -> rule2))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is nice.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]