Bob is rough. Charlie is not red. Gary is not furry. Harry is not red. If something is quiet then it is big. If something is rough and not red then it is quiet. Rough things are cold. Quiet things are cold. If Bob is rough and Bob is not red then Bob is furry. If Charlie is not quiet then Charlie is furry.
Bob is cold.
@0: Bob is rough.[(triple1)] Charlie is not red.[(triple2)] Gary is not furry.[(triple3)] Harry is not red.[(triple4)] @1: Bob is cold.[(((triple1) -> rule3))]