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