Bob is smart. Dave is furry. Dave is smart. Furry things are smart. All young things are smart. If Bob is big then Bob is rough. If something is nice then it is rough. All smart things are furry. If Bob is big then Bob is young. Big, furry things are young. If something is green and nice then it is big.
Bob is green.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule5))] Dave is smart.[(triple3 OR ((triple2) -> rule1))] @1: Bob is furry.[(((triple1) -> rule5))]