Bob is big. Bob is furry. Bob is green. Bob is red. Bob is round. Bob is smart. Bob is not white. All furry, red things are smart. All green, furry things are big.
Bob is furry.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not white.[(triple7)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple4) -> rule1))]