Bob is furry. Harry is big. If something is white and young then it is big. All kind things are blue. Furry things are big. Blue things are kind. If Bob is furry then Bob is young. Young, furry things are kind. If Harry is white then Harry is nice. If something is big then it is white.
Harry is not furry.
@0: Bob is furry.[(triple1)] Harry is big.[(triple2)] @1: Bob is big.[(((triple1) -> rule3))] Bob is young.[(((triple1) -> rule5))] Harry is white.[(((triple2) -> rule8))] @2: Bob is kind.[(((((triple1) -> rule5) triple1) -> rule6))] Bob is white.[(((((triple1) -> rule3)) -> rule8))] Harry is nice.[(((((triple2) -> rule8)) -> rule7))] @3: Bob is blue.[(((((((triple1) -> rule5) triple1) -> rule6)) -> rule2))]