Anne is big. Anne is cold. Bob is big. Bob is nice. Bob is quiet. Bob is white. Fiona is cold. Fiona is round. Fiona is white. Harry is nice. All quiet, cold things are green. All big things are quiet. If Fiona is quiet then Fiona is nice.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple3) -> rule2))] Bob is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Harry is nice.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule2))] @2: Anne is green.[(((((triple1) -> rule2) triple2) -> rule1))]