Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is smart. Bob is white. Dave is blue. Dave is green. Dave is smart. Dave is white. Harry is big. Harry is furry. Harry is green. Harry is smart. Harry is white. All blue, big people are furry.
Harry is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2 triple1) -> rule1))] Bob is green.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]