Bob is big. Bob is cold. Bob is quiet. Bob is rough. Bob is round. Gary is big. Gary is blue. Gary is cold. Gary is rough. Gary is round. If Bob is blue and Bob is round then Bob is quiet. If Bob is cold then Bob is rough.
Gary is not quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule2))] Bob is round.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)]