Charlie is not young. Dave is not cold. Fiona is green. Round, cold people are furry. Smart people are not young. If Charlie is green then Charlie is not furry. All white, green people are smart. If someone is furry then they are white. All green people are white.
Charlie is not young.
@0: Charlie is not young.[(triple1)] Dave is not cold.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is white.[(((triple3) -> rule6))] @2: Fiona is smart.[(((((triple3) -> rule6) triple3) -> rule4))] @3: Fiona is not young.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule2))]