Bob is blue. Bob is young. Charlie is not blue. Charlie is cold. Charlie is quiet. Charlie is white. Harry is blue. If someone is blue and not green then they are white. If Bob is blue and Bob is young then Bob is not rough. If someone is young and not rough then they are quiet. If Bob is young and Bob is not white then Bob is cold. If someone is green and not rough then they are cold. If Harry is cold then Harry is quiet.
Bob is quiet.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Charlie is cold.[(triple4)] Charlie is not blue.[(triple3)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Harry is blue.[(triple7)] @1: Bob is not rough.[(((triple1 triple2) -> rule2))] @2: Bob is quiet.[(((triple2 ((triple1 triple2) -> rule2)) -> rule3))]