Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is white. If Bob is smart and Bob is kind then Bob is white. If Bob is cold and Bob is white then Bob is quiet.
Bob is white.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple2 triple7) -> rule2) OR ((triple2 ((triple6 triple3) -> rule1)) -> rule2))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple6 triple3) -> rule1))]