Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is young. Gary is big. Gary is quiet. Nice, cold people are rough.
Gary is not rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple3 triple2) -> rule1))] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is young.[(triple10)] Gary is big.[(triple11)] Gary is quiet.[(triple12)] @1: Dave is rough.[(((triple8 triple7) -> rule1))]