Charlie is furry. Charlie is kind. Charlie is round. Charlie is smart. Erin is red. Harry is big. Harry is kind. Harry is rough. Harry is round. Harry is smart. All round, rough things are big. If something is rough and not kind then it is not big. Rough things are round. If something is red and rough then it is round. If something is rough and kind then it is red. If Erin is big and Erin is not kind then Erin is red. Big, furry things are not smart. If something is round and not red then it is not smart.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is red.[(triple5)] Harry is big.[(triple6 OR ((triple9 triple8) -> rule1) OR ((((triple8) -> rule3) triple8) -> rule1) OR ((((((triple8 triple7) -> rule5) triple8) -> rule4) triple8) -> rule1))] Harry is kind.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple8) -> rule3) OR ((((triple8 triple7) -> rule5) triple8) -> rule4))] Harry is smart.[(triple10)] @1: Harry is red.[(((triple8 triple7) -> rule5))]