Anne is rough. Bob is white. Rough things are big. If Bob is quiet then Bob is rough. Green, white things are rough. If something is cold and rough then it is green. Big things are green. All cold things are white. If something is cold and nice then it is big. Cold things are big.
Anne is not rough.
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)] @1: Anne is big.[(((triple1) -> rule1))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule5))]