Anne is big. Anne is blue. Anne is green. Anne is not quiet. Charlie is big. Charlie is quiet. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is not white. Gary is big. Gary is green. Gary is quiet. Gary is not red. If Gary is red then Gary is quiet. If Charlie is quiet and Charlie is big then Charlie is not green. If someone is quiet then they are big. Furry people are big. If Gary is furry and Gary is green then Gary is white. If someone is red and not blue then they are quiet.
Charlie is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not quiet.[(triple4)] Charlie is big.[(triple5 OR ((triple6) -> rule3))] Charlie is quiet.[(triple6)] Dave is big.[(triple7 OR ((triple9) -> rule4))] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is not white.[(triple12)] Dave is red.[(triple11)] Gary is big.[(triple13 OR ((triple15) -> rule3))] Gary is green.[(triple14)] Gary is not red.[(triple16)] Gary is quiet.[(triple15)] @1: Charlie is not green.[(((triple6 triple5) -> rule2) OR ((triple6 ((triple6) -> rule3)) -> rule2))]