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