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