Anne is not rough. Dave is cold. Harry is not big. If Dave is cold then Dave is big. If someone is big then they are young. If Harry is rough and Harry is not kind then Harry is young. If someone is young then they are not smart. If Dave is not kind then Dave is young. If someone is young and smart then they are round.
Harry is not young.
@0: Anne is not rough.[(triple1)] Dave is cold.[(triple2)] Harry is not big.[(triple3)] @1: Dave is big.[(((triple2) -> rule1))] @2: Dave is young.[(((((triple2) -> rule1)) -> rule2))] @3: Dave is not smart.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]