Anne is rough. Bob is not big. Harry is big. Nice, quiet people are not big. If someone is big then they are quiet. Quiet people are not nice.
Harry is not rough.
@0: Anne is rough.[(triple1)] Bob is not big.[(triple2)] Harry is big.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule2))] @2: Harry is not nice.[(((((triple3) -> rule2)) -> rule3))]