Charlie is furry. Dave is furry. Fiona is cold. Harry is rough. All cold things are kind. If Harry is kind then Harry is cold. If Charlie is furry then Charlie is cold. All cold, white things are rough. If Harry is round then Harry is white. White things are big.
Harry is not kind.
@0: Charlie is furry.[(triple1)] Dave is furry.[(triple2)] Fiona is cold.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is cold.[(((triple1) -> rule3))] Fiona is kind.[(((triple3) -> rule1))] @2: Charlie is kind.[(((((triple1) -> rule3)) -> rule1))]