Dave is quiet. Dave is white. Fiona is cold. Fiona is kind. Fiona is white. Harry is kind. Harry is quiet. Blue people are round. If Fiona is round then Fiona is smart. All cold people are blue.
Fiona is smart.
@0: Dave is quiet.[(triple1)] Dave is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7)] @1: Fiona is blue.[(((triple3) -> rule3))] @2: Fiona is round.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is smart.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]