Anne is nice. Fiona is red. Fiona is not smart. If someone is cold and nice then they are not furry. If someone is cold then they are white. Smart people are cold. Red people are cold. If someone is young and smart then they are cold. All cold people are nice.
Fiona is furry.
@0: Anne is nice.[(triple1)] Fiona is not smart.[(triple3)] Fiona is red.[(triple2)] @1: Fiona is cold.[(((triple2) -> rule4))] @2: Fiona is nice.[(((((triple2) -> rule4)) -> rule6))] Fiona is white.[(((((triple2) -> rule4)) -> rule2))] @3: Fiona is not furry.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule1))]