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