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