Anne is furry. Charlie is blue. Charlie is nice. Dave is cold. Harry is nice. Harry is red. Harry is rough. All red, nice things are furry. All red, big things are cold. If something is blue and furry then it is rough.
Dave is nice.
@0: Anne is furry.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Dave is cold.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Harry is furry.[(((triple6 triple5) -> rule1))]