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