Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is not white. All blue people are quiet. All rough people are quiet. If someone is rough and green then they are big. If someone is nice and not blue then they are not big. If Dave is white and Dave is rough then Dave is quiet. Quiet people are nice.
Dave is white.
@0: Dave is big.[(triple1 OR ((triple6 triple3) -> rule3))] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4 OR ((triple5) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] Dave is not white.[(triple7)] Dave is quiet.[(triple5 OR ((triple2) -> rule1) OR ((triple6) -> rule2))] Dave is rough.[(triple6)]