Anne is cold. Anne is not furry. Anne is nice. Anne is smart. Bob is not quiet. Bob is not smart. Dave is big. Fiona is big. Fiona is quiet. Fiona is rough. All quiet, cold things are nice. Quiet, big things are cold.
Bob is nice.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple3)] Anne is not furry.[(triple2)] Anne is smart.[(triple4)] Bob is not quiet.[(triple5)] Bob is not smart.[(triple6)] Dave is big.[(triple7)] Fiona is big.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is cold.[(((triple9 triple8) -> rule2))] @2: Fiona is nice.[(((triple9 ((triple9 triple8) -> rule2)) -> rule1))]