Fiona is cold. Fiona is furry. Fiona is young. All nice, furry things are young. All cold, kind things are young. If something is nice and kind then it is white. If something is quiet then it is white. If something is cold then it is furry. If something is quiet and kind then it is nice. If something is furry and nice then it is quiet. If Fiona is cold then Fiona is nice.
Fiona is quiet.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple1) -> rule5))] Fiona is young.[(triple3 OR ((((triple1) -> rule8) triple2) -> rule1) OR ((((triple1) -> rule8) ((triple1) -> rule5)) -> rule1))] @1: Fiona is nice.[(((triple1) -> rule8))] @2: Fiona is quiet.[(((triple2 ((triple1) -> rule8)) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7))] @3: Fiona is white.[(((((triple2 ((triple1) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule7)) -> rule4))]