Bob is blue. Bob is furry. Bob is green. Bob is not kind. Bob is red. Bob is smart. Bob is young. Smart, furry things are young. Blue things are furry. If Bob is green then Bob is not kind.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule2))] Bob is green.[(triple3)] Bob is not kind.[(triple4 OR ((triple3) -> rule3))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple1) -> rule2)) -> rule1))]