Anne is green. Bob is cold. Bob is round. Fiona is not furry. Fiona is nice. Harry is big. Harry is nice. Round things are big. If something is big and round then it is not nice.
Fiona is not furry.
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Bob is round.[(triple3)] Fiona is nice.[(triple5)] Fiona is not furry.[(triple4)] Harry is big.[(triple6)] Harry is nice.[(triple7)] @1: Bob is big.[(((triple3) -> rule1))] @2: Bob is not nice.[(((((triple3) -> rule1) triple3) -> rule2))]