Charlie is not quiet. Dave is green. Fiona is quiet. Harry is not furry. If Fiona is smart then Fiona is white. All quiet people are furry. Cold people are green. White people are green. Furry people are cold. If someone is blue and white then they are smart.
Fiona is not quiet.
@0: Charlie is not quiet.[(triple1)] Dave is green.[(triple2)] Fiona is quiet.[(triple3)] Harry is not furry.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule2))] @2: Fiona is cold.[(((((triple3) -> rule2)) -> rule5))] @3: Fiona is green.[(((((((triple3) -> rule2)) -> rule5)) -> rule3))]