Bob is kind. Charlie is furry. Harry is blue. If Bob is green and Bob is furry then Bob is not kind. All furry things are smart. Rough things are kind. Rough, kind things are not green. Green things are blue. If Charlie is not blue then Charlie is smart. All smart things are white. If something is furry and not smart then it is white.
Charlie is white.
@0: Bob is kind.[(triple1)] Charlie is furry.[(triple2)] Harry is blue.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule2))] @2: Charlie is white.[(((((triple2) -> rule2)) -> rule7))]