Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is young. Quiet things are rough. All quiet, round things are blue. All rough things are blue.
Dave is not quiet.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule3) OR ((triple3 triple6) -> rule2) OR ((((triple3) -> rule1)) -> rule3))] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple7)]