Bob is big. Charlie is furry. Dave is blue. Harry is cold. All blue things are cold. All big, blue things are quiet. If something is rough then it is big.
Charlie is not furry.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Dave is blue.[(triple3)] Harry is cold.[(triple4)] @1: Dave is cold.[(((triple3) -> rule1))]