Dave is blue. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Dave is white. Dave is young. White people are blue. Kind, blue people are white. If Dave is blue and Dave is kind then Dave is round.
Dave is not round.
@0: Dave is blue.[(triple1 OR ((triple6) -> rule1))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4 OR ((triple1 triple2) -> rule3) OR ((((triple6) -> rule1) triple2) -> rule3))] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple2 triple1) -> rule2))] Dave is young.[(triple7)]