Anne is blue. Anne is cold. Anne is rough. Anne is white. Bob is blue. Dave is big. Dave is blue. Dave is nice. Dave is rough. Gary is big. Gary is blue. Gary is nice. Gary is red. Gary is rough. Gary is white. White things are rough.
Bob is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3 OR ((triple4) -> rule1))] Anne is white.[(triple4)] Bob is blue.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is rough.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple15) -> rule1))] Gary is white.[(triple15)]