Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is round. Furry, blue people are round. All round, blue people are quiet. If someone is round then they are kind. If someone is green then they are furry. All furry people are big. If Dave is furry then Dave is big.
Dave is round.
@0: Dave is big.[(triple1 OR ((triple3) -> rule5) OR ((triple3) -> rule6) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple4) -> rule4)) -> rule6))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule4))] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple7) -> rule3) OR ((((triple3 triple2) -> rule1)) -> rule3) OR ((((((triple4) -> rule4) triple2) -> rule1)) -> rule3))] Dave is quiet.[(triple6 OR ((triple7 triple2) -> rule2) OR ((((triple3 triple2) -> rule1) triple2) -> rule2) OR ((((((triple4) -> rule4) triple2) -> rule1) triple2) -> rule2))] Dave is round.[(triple7 OR ((triple3 triple2) -> rule1) OR ((((triple4) -> rule4) triple2) -> rule1))]