Anne is quiet. Anne is smart. Anne is not white. Charlie is furry. Charlie is not quiet. Charlie is rough. Charlie is white. Erin is not blue. Erin is not quiet. Gary is big. Gary is furry. Gary is not quiet. Gary is rough. Gary is smart. Gary is white. If Anne is smart and Anne is white then Anne is quiet. If something is big and blue then it is white. Furry, rough things are white. If Gary is rough and Gary is white then Gary is big. Big things are smart. If Erin is big and Erin is blue then Erin is not furry. All white things are big. If something is rough and not white then it is quiet.
Charlie is big.
@0: Anne is not white.[(triple3)] Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Charlie is furry.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7 OR ((triple4 triple6) -> rule3))] Erin is not blue.[(triple8)] Erin is not quiet.[(triple9)] Gary is big.[(triple10 OR ((triple15) -> rule7) OR ((triple13 triple15) -> rule4) OR ((((triple11 triple13) -> rule3)) -> rule7) OR ((triple13 ((triple11 triple13) -> rule3)) -> rule4))] Gary is furry.[(triple11)] Gary is not quiet.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple10) -> rule5) OR ((((triple15) -> rule7)) -> rule5) OR ((((triple13 triple15) -> rule4)) -> rule5) OR ((((((triple11 triple13) -> rule3)) -> rule7)) -> rule5) OR ((((triple13 ((triple11 triple13) -> rule3)) -> rule4)) -> rule5))] Gary is white.[(triple15 OR ((triple11 triple13) -> rule3))] @1: Charlie is big.[(((triple7) -> rule7) OR ((((triple4 triple6) -> rule3)) -> rule7))] @2: Charlie is smart.[(((((triple7) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5))]