Bob is not big. Bob is cold. Bob is not furry. Bob is quiet. Bob is red. Bob is not young. Gary is not cold. Gary is green. Gary is quiet. Gary is red. If something is big then it is young. If something is big then it is furry. All cold things are not furry. If something is quiet and not young then it is cold. All young things are cold. If Gary is quiet and Gary is cold then Gary is green. If something is furry and not green then it is red. All young things are red.
Gary is not young.
@0: Bob is cold.[(triple2 OR ((triple4 triple6) -> rule4))] Bob is not big.[(triple1)] Bob is not furry.[(triple3 OR ((triple2) -> rule3) OR ((((triple4 triple6) -> rule4)) -> rule3))] Bob is not young.[(triple6)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Gary is green.[(triple8)] Gary is not cold.[(triple7)] Gary is quiet.[(triple9)] Gary is red.[(triple10)]