Bob is blue. Bob is cold. Bob is not furry. Bob is green. Bob is nice. Bob is round. Bob is not white. Gary is not blue. Gary is cold. Gary is not nice. Gary is round. Gary is white. If something is cold and nice then it is blue. If something is white and not furry then it is nice.
Gary is not green.
@0: Bob is blue.[(triple1 OR ((triple2 triple5) -> rule1))] Bob is cold.[(triple2)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is not furry.[(triple3)] Bob is not white.[(triple7)] Bob is round.[(triple6)] Gary is cold.[(triple9)] Gary is not blue.[(triple8)] Gary is not nice.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)]