Charlie is big. Charlie is not blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Gary is big. Gary is not blue. Gary is kind. Gary is not quiet. Gary is red. Gary is not smart. Gary is white. If someone is blue and not big then they are white. If someone is big then they are red. If someone is big and not red then they are not kind.
Gary is white.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple3)] Charlie is not blue.[(triple2)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple10)] Gary is not blue.[(triple9)] Gary is not quiet.[(triple11)] Gary is not smart.[(triple13)] Gary is red.[(triple12 OR ((triple8) -> rule2))] Gary is white.[(triple14)]