Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. If Dave is round then Dave is red. If someone is young then they are blue.
Dave is young.
@0: Dave is blue.[(triple1 OR ((triple7) -> rule2))] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple6) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple7)]