Bob is not rough. Charlie is kind. Dave is rough. Gary is green. Furry people are cold. If someone is rough and not round then they are furry. Kind people are furry. All rough, cold people are kind. If Bob is kind and Bob is round then Bob is young. If Gary is rough then Gary is kind. If Dave is cold then Dave is rough. If Bob is rough and Bob is not green then Bob is not cold.
Charlie is furry.
@0: Bob is not rough.[(triple1)] Charlie is kind.[(triple2)] Dave is rough.[(triple3)] Gary is green.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule3))] @2: Charlie is cold.[(((((triple2) -> rule3)) -> rule1))]