Anne is young. Bob is cold. Charlie is not nice. Gary is quiet. If something is rough then it is cold. If something is green then it is cold. If something is quiet then it is cold. If Anne is young and Anne is cold then Anne is not nice. Young things are rough. If something is nice and quiet then it is rough. If something is green and not young then it is nice. Cold, young things are round.
Anne is not quiet.
@0: Anne is young.[(triple1)] Bob is cold.[(triple2)] Charlie is not nice.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is rough.[(((triple1) -> rule5))] Gary is cold.[(((triple4) -> rule3))] @2: Anne is cold.[(((((triple1) -> rule5)) -> rule1))] @3: Anne is not nice.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4))] Anne is round.[(((((((triple1) -> rule5)) -> rule1) triple1) -> rule8))]