Charlie is round. Fiona is quiet. All nice people are cold. All quiet, nice people are cold. If Fiona is cold then Fiona is nice. If someone is nice and green then they are young. If someone is nice and blue then they are young. All cold people are round. All young people are round. If Charlie is round then Charlie is nice.
Charlie is not young.
@0: Charlie is round.[(triple1)] Fiona is quiet.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule8))] @2: Charlie is cold.[(((((triple1) -> rule8)) -> rule1))]