Charlie is rough. Charlie is smart. Charlie is young. Fiona is rough. Fiona is not young. Gary is blue. Harry is furry. Young things are not furry. If Gary is rough and Gary is young then Gary is furry. All blue things are young. If Charlie is not young and Charlie is not blue then Charlie is not cold. Rough, furry things are quiet. All cold, blue things are quiet.
Charlie is young.
@0: Charlie is rough.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Fiona is not young.[(triple5)] Fiona is rough.[(triple4)] Gary is blue.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is not furry.[(((triple3) -> rule1))] Gary is young.[(((triple6) -> rule3))] @2: Gary is not furry.[(((((triple6) -> rule3)) -> rule1))]