Charlie is nice. Gary is nice. Harry is kind. All kind people are not blue. If Harry is white then Harry is blue. If someone is kind and not blue then they are quiet. All quiet, kind people are smart. If someone is blue then they are not smart. If Gary is quiet then Gary is white.
Harry is white.
@0: Charlie is nice.[(triple1)] Gary is nice.[(triple2)] Harry is kind.[(triple3)] @1: Harry is not blue.[(((triple3) -> rule1))] @2: Harry is quiet.[(((triple3 ((triple3) -> rule1)) -> rule3))] @3: Harry is smart.[(((((triple3 ((triple3) -> rule1)) -> rule3) triple3) -> rule4))]