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