Bob is blue. Bob is green. Bob is quiet. Bob is round. Charlie is not blue. Charlie is not kind. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is round. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is round. All big, quiet people are furry. If someone is kind and green then they are furry. If Harry is not blue then Harry is not green. If Charlie is not blue then Charlie is furry. If Harry is kind and Harry is not big then Harry is furry. If someone is round then they are green.
Dave is not green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule6))] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is not blue.[(triple5)] Charlie is not kind.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9 OR ((triple11) -> rule6))] Dave is quiet.[(triple10)] Dave is round.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13 OR ((triple16) -> rule6))] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16)] @1: Charlie is furry.[(((triple5) -> rule4))] Dave is furry.[(((triple7 triple10) -> rule1))] Harry is furry.[(((triple12 triple15) -> rule1) OR ((triple14 triple13) -> rule2) OR ((triple14 ((triple16) -> rule6)) -> rule2))]