Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. All blue, furry things are round.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple1 triple2) -> rule1))] Bob is white.[(triple7)]