Bob is cold. Bob is not young. Fiona is cold. Fiona is kind. Fiona is not red. Fiona is white. Fiona is young. Quiet things are not green. Green, kind things are not young. If something is kind then it is white.
Fiona is not cold.
@0: Bob is cold.[(triple1)] Bob is not young.[(triple2)] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is not red.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule3))] Fiona is young.[(triple7)]