Bob is not furry. Charlie is blue. All green people are blue. Blue people are smart. All smart people are big. If someone is red and not smart then they are furry. Furry, big people are not red. If someone is green and not big then they are white. All big people are white. If Charlie is white and Charlie is smart then Charlie is furry.
Bob is red.
@0: Bob is not furry.[(triple1)] Charlie is blue.[(triple2)] @1: Charlie is smart.[(((triple2) -> rule2))] @2: Charlie is big.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is white.[(((((((triple2) -> rule2)) -> rule3)) -> rule7))] @4: Charlie is furry.[(((((((((triple2) -> rule2)) -> rule3)) -> rule7) ((triple2) -> rule2)) -> rule8))] @5: Charlie is not red.[(((((((((((triple2) -> rule2)) -> rule3)) -> rule7) ((triple2) -> rule2)) -> rule8) ((((triple2) -> rule2)) -> rule3)) -> rule5))]