Bob is blue. Bob is not nice. Bob is not smart. Charlie is not blue. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Gary is blue. Gary is kind. Gary is not nice. Gary is quiet. Gary is red. Gary is not smart. Gary is young. Quiet, red things are blue. If something is red and not young then it is blue. If something is nice and not quiet then it is not red. If something is quiet then it is red. If Charlie is not young then Charlie is not nice. If Charlie is not quiet then Charlie is kind. If something is kind and not nice then it is not smart. If something is kind and not young then it is smart.
Charlie is not kind.
@0: Bob is blue.[(triple1)] Bob is not nice.[(triple2)] Bob is not smart.[(triple3)] Charlie is nice.[(triple5)] Charlie is not blue.[(triple4)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Gary is blue.[(triple9 OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple12) -> rule4)) -> rule1))] Gary is kind.[(triple10)] Gary is not nice.[(triple11)] Gary is not smart.[(triple14 OR ((triple10 triple11) -> rule7))] Gary is quiet.[(triple12)] Gary is red.[(triple13 OR ((triple12) -> rule4))] Gary is young.[(triple15)]