Anne is furry. Anne is red. Anne is smart. Charlie is big. Charlie is not furry. Charlie is green. Charlie is not nice. Charlie is not quiet. Charlie is red. Charlie is smart. Fiona is quiet. Fiona is red. Gary is big. Gary is furry. Gary is not green. Gary is smart. If Fiona is furry then Fiona is not nice. Nice things are furry. If something is smart then it is not nice. If Fiona is smart then Fiona is not big. If Fiona is furry and Fiona is green then Fiona is not red. Green, nice things are not quiet. Big, furry things are quiet. If something is smart and not nice then it is big.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple10 triple7) -> rule8) OR ((triple10 ((triple10) -> rule3)) -> rule8))] Charlie is green.[(triple6)] Charlie is not furry.[(triple5)] Charlie is not nice.[(triple7 OR ((triple10) -> rule3))] Charlie is not quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is smart.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Gary is big.[(triple13 OR ((triple16 ((triple16) -> rule3)) -> rule8))] Gary is furry.[(triple14)] Gary is not green.[(triple15)] Gary is smart.[(triple16)] @1: Anne is not nice.[(((triple3) -> rule3))] Gary is not nice.[(((triple16) -> rule3))] Gary is quiet.[(((triple13 triple14) -> rule7) OR ((((triple16 ((triple16) -> rule3)) -> rule8) triple14) -> rule7))] @2: Anne is big.[(((triple3 ((triple3) -> rule3)) -> rule8))] @3: Anne is quiet.[(((((triple3 ((triple3) -> rule3)) -> rule8) triple1) -> rule7))]