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 rough.
@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)]