Charlie is quiet. Charlie is white. Dave is big. Dave is kind. Dave is nice. Dave is quiet. Erin is big. Erin is kind. Erin is quiet. Erin is white. Harry is not big. Harry is furry. Harry is green. Harry is kind. Harry is not nice. Harry is white. All white things are quiet. If Erin is quiet and Erin is big then Erin is kind. All quiet, furry things are white.
Dave is not white.
@0: Charlie is quiet.[(triple1 OR ((triple2) -> rule1))] Charlie is white.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8 OR ((triple9 triple7) -> rule2) OR ((((triple10) -> rule1) triple7) -> rule2))] Erin is quiet.[(triple9 OR ((triple10) -> rule1))] Erin is white.[(triple10)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is not big.[(triple11)] Harry is not nice.[(triple15)] Harry is white.[(triple16)] @1: Harry is quiet.[(((triple16) -> rule1))]