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