Charlie is furry. Charlie is quiet. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Harry is big. If someone is furry then they are cold.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is quiet.[(triple6)] Harry is big.[(triple7)] @1: Charlie is cold.[(((triple1) -> rule1))]