Bob is big. Bob is blue. Bob is not cold. Bob is not nice. Bob is red. Bob is rough. Bob is white. If someone is blue then they are rough. Nice, rough people are not red. All nice people are red. If someone is nice then they are blue. If someone is cold and not red then they are big. Blue, nice people are not big. All red people are white. If someone is big then they are white.
Bob is red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not cold.[(triple3)] Bob is not nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule1))] Bob is white.[(triple7 OR ((triple1) -> rule8) OR ((triple5) -> rule7))]