Harry is cold. Harry is kind. Harry is young. All kind people are quiet. If someone is quiet then they are rough. If someone is green and not young then they are cold. Young, rough people are not green. If someone is rough and not kind then they are green. If Harry is young and Harry is not kind then Harry is big. If someone is quiet and not green then they are big. If someone is young and not green then they are big.
Harry is not cold.
@0: Harry is cold.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is quiet.[(((triple2) -> rule1))] @2: Harry is rough.[(((((triple2) -> rule1)) -> rule2))] @3: Harry is not green.[(((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule4))] @4: Harry is big.[(((triple3 ((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule7))]