Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is young. If Dave is not kind then Dave is young. If Dave is cold and Dave is young then Dave is big. Quiet things are green. If something is green and not red then it is quiet. If Dave is cold and Dave is not kind then Dave is not green. If Dave is big and Dave is not young then Dave is not green.
Dave is big.
@0: Dave is big.[(triple1 OR ((triple2 triple7) -> rule2))] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple5) -> rule3))] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)]