Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Dave is nice. Dave is quiet. Dave is rough. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is smart. All rough, furry things are smart. If Harry is rough and Harry is furry then Harry is quiet. All round things are smart. Quiet things are rough. All smart things are round. If Charlie is kind and Charlie is round then Charlie is rough. Quiet things are furry. If Dave is nice then Dave is furry.
Dave is not smart.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule4) OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple5) -> rule5)) -> rule6))] Charlie is round.[(triple4 OR ((triple5) -> rule5) OR ((((triple3 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2) -> rule4) ((triple2) -> rule7)) -> rule1)) -> rule5))] Charlie is smart.[(triple5 OR ((triple4) -> rule3) OR ((triple3 ((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule4) ((triple2) -> rule7)) -> rule1) OR ((((triple1 triple4) -> rule6) ((triple2) -> rule7)) -> rule1))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8 OR ((triple7) -> rule4))] Harry is furry.[(triple9 OR ((triple12) -> rule7))] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple13 triple9) -> rule2))] Harry is rough.[(triple13 OR ((triple12) -> rule4))] Harry is round.[(triple14 OR ((triple15) -> rule5) OR ((((triple13 triple9) -> rule1)) -> rule5) OR ((((triple13 ((triple12) -> rule7)) -> rule1)) -> rule5) OR ((((((triple12) -> rule4) triple9) -> rule1)) -> rule5) OR ((((((triple12) -> rule4) ((triple12) -> rule7)) -> rule1)) -> rule5))] Harry is smart.[(triple15 OR ((triple14) -> rule3) OR ((triple13 triple9) -> rule1) OR ((triple13 ((triple12) -> rule7)) -> rule1) OR ((((triple12) -> rule4) triple9) -> rule1) OR ((((triple12) -> rule4) ((triple12) -> rule7)) -> rule1))] @1: Charlie is furry.[(((triple2) -> rule7))] Dave is furry.[(((triple6) -> rule8) OR ((triple7) -> rule7))] @2: Dave is smart.[(((triple8 ((triple6) -> rule8)) -> rule1) OR ((triple8 ((triple7) -> rule7)) -> rule1) OR ((((triple7) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((triple7) -> rule4) ((triple7) -> rule7)) -> rule1))] @3: Dave is round.[(((((triple8 ((triple6) -> rule8)) -> rule1)) -> rule5) OR ((((triple8 ((triple7) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7) -> rule4) ((triple6) -> rule8)) -> rule1)) -> rule5) OR ((((((triple7) -> rule4) ((triple7) -> rule7)) -> rule1)) -> rule5))]