Bob is young. Dave is nice. Fiona is rough. Harry is green. If someone is young then they are furry. If someone is furry then they are green. Young, furry people are smart. Green, rough people are white. Smart people are young. If someone is young then they are furry. All green people are nice. All white, rough people are nice.
Bob is smart.
@0: Bob is young.[(triple1)] Dave is nice.[(triple2)] Fiona is rough.[(triple3)] Harry is green.[(triple4)] @1: Bob is furry.[(((triple1) -> rule1) OR ((triple1) -> rule6))] Harry is nice.[(((triple4) -> rule7))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Bob is smart.[(((triple1 ((triple1) -> rule1)) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3))] @3: Bob is nice.[(((((((triple1) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule2)) -> rule7))]