Bob is white. Charlie is young. Erin is cold. Fiona is blue. Fiona is kind. Fiona is red. Fiona is round. If Bob is not round then Bob is not kind. All cold people are not red. If someone is white and not kind then they are blue.
Erin is not blue.
@0: Bob is white.[(triple1)] Charlie is young.[(triple2)] Erin is cold.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] @1: Erin is not red.[(((triple3) -> rule2))]