Fiona is cold. Fiona is nice. Fiona is young. All furry, smart people are blue. Kind, nice people are not blue. Cold people are smart. All nice people are smart. All smart people are kind. If Fiona is not furry then Fiona is not smart.
Fiona is smart.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is smart.[(((triple1) -> rule3) OR ((triple2) -> rule4))] @2: Fiona is kind.[(((((triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule4)) -> rule5))] @3: Fiona is not blue.[(((((((triple1) -> rule3)) -> rule5) triple2) -> rule2) OR ((((((triple2) -> rule4)) -> rule5) triple2) -> rule2))]