Anne is cold. Anne is nice. Anne is young. Charlie is nice. Dave is young. Gary is cold. Gary is nice. All young, nice things are rough. All rough things are quiet. If something is young then it is nice.
Charlie is not quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule3))] Anne is young.[(triple3)] Charlie is nice.[(triple4)] Dave is young.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] @1: Anne is rough.[(((triple3 triple2) -> rule1) OR ((triple3 ((triple3) -> rule3)) -> rule1))] Dave is nice.[(((triple5) -> rule3))] @2: Anne is quiet.[(((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2))] Dave is rough.[(((triple5 ((triple5) -> rule3)) -> rule1))] @3: Dave is quiet.[(((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule2))]