Bob is big. Charlie is smart. Charlie is young. Big, young things are white. If Charlie is young then Charlie is red. All young things are smart. Blue, young things are big. If something is white then it is furry. All young, white things are red. All red, young things are white. Smart, furry things are red.
Bob is not furry.
@0: Bob is big.[(triple1)] Charlie is smart.[(triple2 OR ((triple3) -> rule3))] Charlie is young.[(triple3)] @1: Charlie is red.[(((triple3) -> rule2))] @2: Charlie is white.[(((((triple3) -> rule2) triple3) -> rule7))] @3: Charlie is furry.[(((((((triple3) -> rule2) triple3) -> rule7)) -> rule5))]