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