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