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