Bob is cold. Charlie is nice. Gary is quiet. If Gary is quiet then Gary is kind. If Charlie is not nice then Charlie is cold. Kind things are rough. All cold things are young. All rough things are not cold. If Bob is not nice and Bob is not cold then Bob is not young.
Gary is young.
@0: Bob is cold.[(triple1)] Charlie is nice.[(triple2)] Gary is quiet.[(triple3)] @1: Bob is young.[(((triple1) -> rule4))] Gary is kind.[(((triple3) -> rule1))] @2: Gary is rough.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is not cold.[(((((((triple3) -> rule1)) -> rule3)) -> rule5))]