Charlie is blue. Charlie is young. Fiona is rough. If Fiona is young then Fiona is cold. If Fiona is furry and Fiona is young then Fiona is cold. If something is rough then it is young. If something is quiet then it is not young. If something is cold then it is not furry. If Charlie is not rough and Charlie is not young then Charlie is furry. If something is furry and blue then it is red. If something is red then it is blue.
Fiona is not blue.
@0: Charlie is blue.[(triple1)] Charlie is young.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is young.[(((triple3) -> rule3))] @2: Fiona is cold.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is not furry.[(((((((triple3) -> rule3)) -> rule1)) -> rule5))]