Bob is not blue. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is white. Bob is young. Charlie is not blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Round people are cold. All quiet, white people are cold. If Bob is not kind and Bob is not young then Bob is not round. If Bob is not young then Bob is white. If someone is round then they are white. If someone is kind and not cold then they are blue.
Bob is not kind.
@0: Bob is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple5) -> rule5)) -> rule2))] Bob is kind.[(triple3)] Bob is not blue.[(triple1)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule5))] Bob is young.[(triple7)] Charlie is cold.[(triple9 OR ((triple12) -> rule1) OR ((triple11 triple13) -> rule2) OR ((triple11 ((triple12) -> rule5)) -> rule2))] Charlie is kind.[(triple10)] Charlie is not blue.[(triple8)] Charlie is quiet.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13 OR ((triple12) -> rule5))] Charlie is young.[(triple14)]