Bob is not big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is white. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is white. If Harry is green and Harry is white then Harry is big. All furry things are red.
Bob is big.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is not big.[(triple1)] Bob is red.[(triple6 OR ((triple3) -> rule2))] Bob is white.[(triple7)] Harry is big.[(triple8 OR ((triple11 triple14) -> rule1))] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13 OR ((triple10) -> rule2))] Harry is white.[(triple14)]