Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is young. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. If something is furry then it is nice. All nice, quiet things are furry. If something is rough and young then it is quiet. If something is young and rough then it is nice. All nice things are young. All nice, quiet things are rough. If something is quiet and kind then it is rough. All young, furry things are rough.
Dave is not rough.
@0: Charlie is furry.[(triple1 OR ((((triple5 triple4) -> rule4) triple3) -> rule2) OR ((((triple5 triple4) -> rule4) ((triple4 triple5) -> rule3)) -> rule2) OR ((((triple5 ((triple3 triple2) -> rule7)) -> rule4) triple3) -> rule2) OR ((((triple5 ((triple3 triple2) -> rule7)) -> rule4) ((triple4 triple5) -> rule3)) -> rule2))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4 triple5) -> rule3) OR ((((triple5 triple1) -> rule8) triple5) -> rule3) OR ((triple4 ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((triple5 triple1) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule8) triple5) -> rule3) OR ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule3))] Charlie is rough.[(triple4 OR ((triple3 triple2) -> rule7) OR ((triple5 triple1) -> rule8) OR ((((triple1) -> rule1) triple3) -> rule6) OR ((((((triple1) -> rule1)) -> rule5) triple1) -> rule8))] Charlie is young.[(triple5 OR ((((triple1) -> rule1)) -> rule5))] Dave is furry.[(triple6 OR ((triple9 triple10) -> rule2) OR ((triple9 ((triple11 triple12) -> rule3)) -> rule2) OR ((((triple12 triple11) -> rule4) triple10) -> rule2) OR ((((triple12 triple11) -> rule4) ((triple11 triple12) -> rule3)) -> rule2) OR ((triple9 ((triple11 ((triple9) -> rule5)) -> rule3)) -> rule2) OR ((((triple12 ((triple10 triple8) -> rule7)) -> rule4) triple10) -> rule2) OR ((((triple12 triple11) -> rule4) ((triple11 ((triple9) -> rule5)) -> rule3)) -> rule2) OR ((((triple12 ((triple10 triple8) -> rule7)) -> rule4) ((triple11 triple12) -> rule3)) -> rule2) OR ((((triple12 ((triple10 triple8) -> rule7)) -> rule4) ((triple11 ((triple9) -> rule5)) -> rule3)) -> rule2))] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple6) -> rule1) OR ((triple12 triple11) -> rule4) OR ((triple12 ((triple10 triple8) -> rule7)) -> rule4) OR ((triple12 ((triple12 triple6) -> rule8)) -> rule4))] Dave is quiet.[(triple10 OR ((triple11 triple12) -> rule3) OR ((triple11 ((triple9) -> rule5)) -> rule3) OR ((((triple12 triple6) -> rule8) triple12) -> rule3) OR ((((triple12 triple6) -> rule8) ((triple9) -> rule5)) -> rule3) OR ((triple11 ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple9) -> rule5) triple6) -> rule8) triple12) -> rule3) OR ((((triple12 triple6) -> rule8) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple9) -> rule5) triple6) -> rule8) ((triple9) -> rule5)) -> rule3) OR ((((((triple9) -> rule5) triple6) -> rule8) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5) triple6) -> rule8) triple12) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5) triple6) -> rule8) ((triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5) triple6) -> rule8) ((((triple6) -> rule1)) -> rule5)) -> rule3))] Dave is rough.[(triple11 OR ((triple10 triple8) -> rule7) OR ((triple12 triple6) -> rule8) OR ((triple9 triple10) -> rule6) OR ((triple12 ((triple9 triple10) -> rule2)) -> rule8) OR ((((triple6) -> rule1) triple10) -> rule6) OR ((((triple9) -> rule5) triple6) -> rule8) OR ((((triple9) -> rule5) ((triple9 triple10) -> rule2)) -> rule8) OR ((((((triple6) -> rule1)) -> rule5) triple6) -> rule8) OR ((((((triple6) -> rule1)) -> rule5) ((triple9 triple10) -> rule2)) -> rule8))] Dave is young.[(triple12 OR ((triple9) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] @1: Charlie is nice.[(((triple1) -> rule1) OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple3 triple2) -> rule7)) -> rule4) OR ((triple5 ((triple5 triple1) -> rule8)) -> rule4))]