Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is white. All cold, nice things are white. If something is white and red then it is nice. Rough things are white.
Bob is white.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple7 triple4) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule3) OR ((triple2 triple3) -> rule1))]