Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is smart. Bob is white. Bob is young. Furry, blue people are big. If Bob is cold then Bob is blue.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple3) -> rule2)) -> rule1))] Bob is blue.[(triple2 OR ((triple3) -> rule2))] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]