Bob is furry. Bob is white. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. If something is furry and smart then it is green. All white things are nice. If something is nice then it is smart. Smart, furry things are nice. If something is white and young then it is nice. If something is young and furry then it is nice.
Charlie is not young.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple7) -> rule2))] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Charlie is white.[(triple7)] @1: Bob is nice.[(((triple2) -> rule2))] @2: Bob is smart.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is green.[(((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule1))]