Bob is blue. Bob is nice. Bob is smart. Harry is big. Harry is blue. Harry is cold. Harry is furry. If something is nice then it is smart. Nice things are smart.
Bob is smart.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)]