Gary is big. Harry is smart. If something is rough then it is not smart. If something is smart then it is not blue. If Gary is quiet then Gary is rough. All blue things are quiet. Smart things are quiet. If something is kind then it is not big. All rough, smart things are big. If Harry is not blue then Harry is kind.
Harry is not quiet.
@0: Gary is big.[(triple1)] Harry is smart.[(triple2)] @1: Harry is not blue.[(((triple2) -> rule2))] Harry is quiet.[(((triple2) -> rule5))] @2: Harry is kind.[(((((triple2) -> rule2)) -> rule8))] @3: Harry is not big.[(((((((triple2) -> rule2)) -> rule8)) -> rule6))]