Charlie is cold. Charlie is not green. Charlie is kind. Charlie is white. Erin is blue. Erin is kind. Erin is smart. Erin is young. Fiona is blue. Fiona is not smart. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is white. If someone is cold and not green then they are white. If someone is young and not kind then they are white. If Erin is not cold then Erin is not young.
Erin is not white.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is not green.[(triple2)] Charlie is white.[(triple4 OR ((triple1 triple2) -> rule1))] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is not smart.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is white.[(triple15)]