Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is rough. Dave is white. Dave is young. If Dave is young then Dave is big. Blue people are rough. If someone is blue and cold then they are rough.
Dave is blue.
@0: Dave is big.[(triple1 OR ((triple7) -> rule1))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple2 triple3) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7)]