Dave is big. Dave is blue. Dave is not green. Dave is not nice. Dave is not red. Dave is rough. Dave is young. If Dave is blue then Dave is rough. If someone is nice and young then they are rough. Green, nice people are not rough. If Dave is blue then Dave is young. Red, blue people are nice. All blue people are big.
Dave is not nice.
@0: Dave is big.[(triple1 OR ((triple2) -> rule6))] Dave is blue.[(triple2)] Dave is not green.[(triple3)] Dave is not nice.[(triple4)] Dave is not red.[(triple5)] Dave is rough.[(triple6 OR ((triple2) -> rule1))] Dave is young.[(triple7 OR ((triple2) -> rule4))]