Anne is big. Anne is blue. Anne is not furry. Anne is nice. Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is not nice. Gary is quiet. Gary is not rough. Gary is not white. If something is nice and not quiet then it is furry. If something is quiet then it is big.
Erin is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not furry.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10 OR ((triple14) -> rule2))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is not nice.[(triple13)] Gary is not rough.[(triple15)] Gary is not white.[(triple16)] Gary is quiet.[(triple14)]