Anne is nice. Bob is nice. Harry is green. All big people are not white. If Harry is white and Harry is smart then Harry is rough. Green, big people are smart. All green people are big. If someone is big and nice then they are quiet. If someone is green and not rough then they are quiet.
Bob is not nice.
@0: Anne is nice.[(triple1)] Bob is nice.[(triple2)] Harry is green.[(triple3)] @1: Harry is big.[(((triple3) -> rule4))] @2: Harry is not white.[(((((triple3) -> rule4)) -> rule1))] Harry is smart.[(((triple3 ((triple3) -> rule4)) -> rule3))]