Anne is not furry. Anne is green. Anne is not red. Anne is rough. Anne is not smart. Charlie is quiet. Charlie is smart. Charlie is young. Gary is quiet. Gary is not red. Gary is rough. Gary is smart. Harry is green. Harry is quiet. Harry is smart. Harry is young. If Anne is green and Anne is quiet then Anne is young. If something is green then it is not red. If something is young and not green then it is not smart. If something is smart and quiet then it is young. If Gary is quiet and Gary is not rough then Gary is young. If something is smart and not red then it is furry.
Charlie is not furry.
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is not red.[(triple3 OR ((triple2) -> rule2))] Anne is not smart.[(triple5)] Anne is rough.[(triple4)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple7 triple6) -> rule4))] Gary is not red.[(triple10)] Gary is quiet.[(triple9)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Harry is green.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple15 triple14) -> rule4))] @1: Gary is furry.[(((triple12 triple10) -> rule6))] Gary is young.[(((triple12 triple9) -> rule4))] Harry is not red.[(((triple13) -> rule2))] @2: Harry is furry.[(((triple15 ((triple13) -> rule2)) -> rule6))]