Bob is cold. Bob is nice. Charlie is blue. Charlie is not cold. Charlie is not red. Erin is kind. Erin is red. Erin is young. Fiona is kind. Fiona is not red. Fiona is not white. Fiona is not young. If Charlie is nice and Charlie is white then Charlie is red. If Erin is kind and Erin is blue then Erin is young. If Fiona is not young and Fiona is not kind then Fiona is not white. If Erin is nice then Erin is kind. If Charlie is young then Charlie is not white. Kind, blue things are red. If Erin is young and Erin is kind then Erin is not white. All kind, young things are blue.
Erin is not blue.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Charlie is not cold.[(triple4)] Charlie is not red.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7 OR ((triple6 ((triple6 triple8) -> rule8)) -> rule6))] Erin is young.[(triple8)] Fiona is kind.[(triple9)] Fiona is not red.[(triple10)] Fiona is not white.[(triple11)] Fiona is not young.[(triple12)] @1: Erin is blue.[(((triple6 triple8) -> rule8))] Erin is not white.[(((triple8 triple6) -> rule7))]