Anne is big. Anne is furry. Fiona is blue. Fiona is furry. Fiona is rough. Harry is big. Harry is furry. If Harry is not blue then Harry is not white. If something is rough then it is cold. If something is red then it is rough.
Harry is not rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule2))]