Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is white. Dave is young. All quiet things are furry. If something is young and blue then it is big. All cold things are big. Big, cold things are blue. If Dave is blue then Dave is white. Cold, big things are young.
Dave is not white.
@0: Dave is big.[(triple1 OR ((triple3) -> rule3) OR ((triple7 triple2) -> rule2))] Dave is blue.[(triple2 OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule1))] Dave is quiet.[(triple5)] Dave is white.[(triple6 OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule4)) -> rule5))] Dave is young.[(triple7 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6))]