Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is round. Dave is smart. Dave is young. All blue people are furry. Smart people are cold. If Dave is round then Dave is smart.
Dave is not quiet.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple6) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Dave is furry.[(triple3 OR ((triple1) -> rule1))] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule3))] Dave is young.[(triple7)]