Dave is nice. Harry is blue. Harry is young. If something is rough and nice then it is cold. Big things are rough. If something is big and young then it is green. Nice things are not green. If something is nice then it is big. If something is nice and not young then it is not big. Cold things are big. If Harry is blue then Harry is not big.
Dave is rough.
@0: Dave is nice.[(triple1)] Harry is blue.[(triple2)] Harry is young.[(triple3)] @1: Dave is big.[(((triple1) -> rule5))] Dave is not green.[(((triple1) -> rule4))] Harry is not big.[(((triple2) -> rule8))] @2: Dave is rough.[(((((triple1) -> rule5)) -> rule2))] @3: Dave is cold.[(((((((triple1) -> rule5)) -> rule2) triple1) -> rule1))]