Bob is blue. Bob is cold. Bob is not green. Bob is not nice. Bob is quiet. Bob is red. Bob is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is not nice. Charlie is not quiet. Charlie is not red. Charlie is young. If someone is red and not blue then they are not green. If Bob is green then Bob is not quiet. If someone is red then they are young. If Charlie is nice and Charlie is quiet then Charlie is young. If someone is nice and not green then they are not quiet. All blue, nice people are quiet.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not green.[(triple3)] Bob is not nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule3))] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is green.[(triple10)] Charlie is not nice.[(triple11)] Charlie is not quiet.[(triple12)] Charlie is not red.[(triple13)] Charlie is young.[(triple14)]