Anne is nice. Charlie is young. Gary is smart. Harry is quiet. If something is nice then it is rough. White things are not cold. All white things are not cold. Rough things are smart. Smart things are white. If something is cold and not white then it is young.
Harry is nice.
@0: Anne is nice.[(triple1)] Charlie is young.[(triple2)] Gary is smart.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))] Gary is white.[(((triple3) -> rule5))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule4))] Gary is not cold.[(((((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule5)) -> rule3))] @3: Anne is white.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))] @4: Anne is not cold.[(((((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3))]