あの買い替えは嘴状でない
fact1: あの買い替えは寒ーい fact2: あの買い替えが寒ーいならそれは打ち難いということはなくて軽ーくない fact3: 打ち難くなくて軽ーくないものは嘴状でない
fact3 -> int1: あの買い替えが打ち難いということはないし軽ーいということはないとしたらそれは嘴状である; fact2 & fact1 -> int2: あの買い替えは打ち難いということはなくてまたそれは軽ーくない; int1 & int2 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: あの買い替えは寒ーい fact2: あの買い替えが寒ーいならそれは打ち難いということはなくて軽ーくない fact3: 打ち難くなくて軽ーくないものは嘴状でない ; $hypothesis$ = あの買い替えは嘴状でない ; $proof$ = 
fact3 -> int1: あの買い替えが打ち難いということはないし軽ーいということはないとしたらそれは嘴状である; fact2 & fact1 -> int2: あの買い替えは打ち難いということはなくてまたそれは軽ーくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの買い替えは寒ーい
事実2: あの買い替えが寒ーいならそれは打ち難いということはなくて軽ーくない
事実3: 打ち難くなくて軽ーくないものは嘴状でない

仮説: あの買い替えは嘴状でない
1. 事実3から、推論1: "あの買い替えが打ち難いということはないし軽ーいということはないとしたらそれは嘴状である"が導かれる
2. 事実2と事実1から、推論2: "あの買い替えは打ち難いということはなくてまたそれは軽ーくない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。