Bob is rough. Harry is round. If something is rough then it is young. Young things are white. All rough things are kind. If something is white and not rough then it is not round. If something is green then it is cold. All green, white things are cold. If something is white then it is cold. If Harry is not white then Harry is green.
Harry is round.
@0: Bob is rough.[(triple1)] Harry is round.[(triple2)] @1: Bob is kind.[(((triple1) -> rule3))] Bob is young.[(((triple1) -> rule1))] @2: Bob is white.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is cold.[(((((((triple1) -> rule1)) -> rule2)) -> rule7))]