Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is round. Green, round things are cold. If something is kind then it is green.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple4 triple7) -> rule1) OR ((((triple5) -> rule2) triple7) -> rule1))] Dave is green.[(triple4 OR ((triple5) -> rule2))] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)]