Anne is not big. Anne is blue. Anne is furry. Anne is green. Anne is not nice. Anne is not quiet. Anne is smart. Charlie is nice. Charlie is quiet. Charlie is not smart. Harry is blue. Harry is furry. Harry is not green. Harry is not nice. Harry is quiet. Harry is smart. If someone is quiet then they are not big. If someone is blue and green then they are not nice. If someone is furry then they are smart. All green people are smart. If someone is big then they are not smart. Quiet, big people are blue. All blue, green people are furry. If Harry is not quiet and Harry is not blue then Harry is nice.
Charlie is not furry.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple4) -> rule7))] Anne is green.[(triple4)] Anne is not big.[(triple1)] Anne is not nice.[(triple5 OR ((triple2 triple4) -> rule2))] Anne is not quiet.[(triple6)] Anne is smart.[(triple7 OR ((triple3) -> rule3) OR ((triple4) -> rule4) OR ((((triple2 triple4) -> rule7)) -> rule3))] Charlie is nice.[(triple8)] Charlie is not smart.[(triple10)] Charlie is quiet.[(triple9)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is not green.[(triple13)] Harry is not nice.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16 OR ((triple12) -> rule3))] @1: Charlie is not big.[(((triple9) -> rule1))] Harry is not big.[(((triple15) -> rule1))]