Bob is blue. Bob is not cold. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is white. Round people are not cold.
Bob is not round.
@0: Bob is blue.[(triple1)] Bob is not cold.[(triple2 OR ((triple6) -> rule1))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]