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