Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is white. Bob is young. Charlie is cold. Charlie is rough. Charlie is white. Charlie is young. Gary is big. Gary is blue. Gary is cold. Gary is not nice. Gary is rough. If something is big and not young then it is not white. All young things are white. Blue, cold things are white. If Gary is not young then Gary is blue. If something is big and not white then it is not nice. All young things are rough. If something is cold and not white then it is rough. If something is nice and not white then it is rough.
Gary is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5 OR ((triple7) -> rule6))] Bob is white.[(triple6 OR ((triple7) -> rule2) OR ((triple2 triple3) -> rule3))] Bob is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is rough.[(triple9 OR ((triple11) -> rule6))] Charlie is white.[(triple10 OR ((triple11) -> rule2))] Charlie is young.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is not nice.[(triple15)] Gary is rough.[(triple16)] @1: Gary is white.[(((triple13 triple14) -> rule3))]