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