Erin is green. Fiona is round. Harry is white. All green, white people are cold. If someone is round then they are not cold. All white, red people are smart. Green people are smart. White, green people are not red. Smart people are round.
Fiona is round.
@0: Erin is green.[(triple1)] Fiona is round.[(triple2)] Harry is white.[(triple3)] @1: Erin is smart.[(((triple1) -> rule4))] Fiona is not cold.[(((triple2) -> rule2))] @2: Erin is round.[(((((triple1) -> rule4)) -> rule6))] @3: Erin is not cold.[(((((((triple1) -> rule4)) -> rule6)) -> rule2))]