Bob is blue. Bob is green. Bob is not kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is rough. If Charlie is not nice then Charlie is not kind. All nice things are blue. All green, red things are quiet. If Bob is green and Bob is not blue then Bob is red. If something is green and not quiet then it is not kind. If something is nice and not green then it is kind.
Charlie is not quiet.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple4)] Bob is not kind.[(triple3)] Bob is quiet.[(triple5 OR ((triple2 triple6) -> rule3))] Bob is red.[(triple6)] Bob is rough.[(triple7)] Charlie is blue.[(triple8 OR ((triple11) -> rule2))] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is nice.[(triple11)] Charlie is not red.[(triple13)] Charlie is quiet.[(triple12)] Charlie is rough.[(triple14)]