Bob is big. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is young. Gary is cold. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. All round people are rough. If Gary is red then Gary is cold. If Bob is white then Bob is big.
Bob is white.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule1))] Bob is round.[(triple5)] Bob is young.[(triple6)] Gary is cold.[(triple7 OR ((triple8) -> rule2))] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple10) -> rule1))] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]