Anne is cold. Dave is quiet. Erin is nice. Fiona is young. If something is smart then it is quiet. Cold things are furry. If something is cold and quiet then it is smart. All nice, smart things are furry. If something is quiet then it is cold. All young things are quiet.
Fiona is cold.
@0: Anne is cold.[(triple1)] Dave is quiet.[(triple2)] Erin is nice.[(triple3)] Fiona is young.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] Dave is cold.[(((triple2) -> rule5))] Fiona is quiet.[(((triple4) -> rule6))] @2: Dave is furry.[(((((triple2) -> rule5)) -> rule2))] Dave is smart.[(((((triple2) -> rule5) triple2) -> rule3))] Fiona is cold.[(((((triple4) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((((triple4) -> rule6)) -> rule5)) -> rule2))] Fiona is smart.[(((((((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3))]