Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is round. Dave is not smart. Dave is white. All round people are quiet. If Dave is red then Dave is white. If Dave is round then Dave is quiet. Quiet, cold people are red. All smart people are red. If Dave is red and Dave is not cold then Dave is big. All big people are white. If someone is red and not quiet then they are big.
Dave is not round.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is not smart.[(triple6)] Dave is quiet.[(triple3 OR ((triple5) -> rule1) OR ((triple5) -> rule3))] Dave is red.[(triple4 OR ((triple3 triple2) -> rule4) OR ((((triple5) -> rule1) triple2) -> rule4) OR ((((triple5) -> rule3) triple2) -> rule4))] Dave is round.[(triple5)] Dave is white.[(triple7 OR ((triple1) -> rule7) OR ((triple4) -> rule2) OR ((((triple3 triple2) -> rule4)) -> rule2) OR ((((((triple5) -> rule1) triple2) -> rule4)) -> rule2) OR ((((((triple5) -> rule3) triple2) -> rule4)) -> rule2))]