Bob is big. Bob is cold. Bob is not furry. Bob is kind. Bob is not nice. Bob is not quiet. Bob is not young. Gary is big. Gary is cold. Gary is furry. Gary is not kind. Gary is not nice. Gary is not quiet. Gary is young. Young things are cold. If Gary is not furry then Gary is big.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple4)] Bob is not furry.[(triple3)] Bob is not nice.[(triple5)] Bob is not quiet.[(triple6)] Bob is not young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple14) -> rule1))] Gary is furry.[(triple10)] Gary is not kind.[(triple11)] Gary is not nice.[(triple12)] Gary is not quiet.[(triple13)] Gary is young.[(triple14)]