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 not white.
@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)]