「「もし仮に「配置方法でないしさらに保温調理でない」ということは間違っているなら達成し易くない」物はある」ということは嘘である
fact1: もし「この雲丹はＲＪでないがしかし配置方法だ」ということは事実と異なるとすると折衷するということはない fact2: 「もし配置方法でなくてその上保温調理でないとしたら達成し易いということはない」物はある fact3: もしあの日独伊軍事同盟が図田帳でないしまたそれは保温調理でないとすれば「マイル戦でない」ということは成り立つ fact4: 「何らかの物は配置方法だということはなくて保温調理でない」ということは成り立つということはないとしたらそれは達成し易い fact5: 仮に「ある物は配置方法でないしそれは保温調理でない」ということは確かでないとすると達成し易くない fact6: 「もしも配置方法であるとすれば達成し易くない」ものはある fact7: もしも「なんらかの物は配置方法でないけど保温調理だ」ということは偽であるとしたら達成し易くない
fact5 -> int1: もし「あの日独伊軍事同盟は配置方法でなくて保温調理でない」ということは誤りであるとするとそれは達成し易くない; int1 -> hypothesis;
$facts$ = fact1: もし「この雲丹はＲＪでないがしかし配置方法だ」ということは事実と異なるとすると折衷するということはない fact2: 「もし配置方法でなくてその上保温調理でないとしたら達成し易いということはない」物はある fact3: もしあの日独伊軍事同盟が図田帳でないしまたそれは保温調理でないとすれば「マイル戦でない」ということは成り立つ fact4: 「何らかの物は配置方法だということはなくて保温調理でない」ということは成り立つということはないとしたらそれは達成し易い fact5: 仮に「ある物は配置方法でないしそれは保温調理でない」ということは確かでないとすると達成し易くない fact6: 「もしも配置方法であるとすれば達成し易くない」ものはある fact7: もしも「なんらかの物は配置方法でないけど保温調理だ」ということは偽であるとしたら達成し易くない ; $hypothesis$ = 「「もし仮に「配置方法でないしさらに保温調理でない」ということは間違っているなら達成し易くない」物はある」ということは嘘である ; $proof$ = 
fact5 -> int1: もし「あの日独伊軍事同盟は配置方法でなくて保温調理でない」ということは誤りであるとするとそれは達成し易くない; int1 -> hypothesis; __DISPROVED__
事実1: もし「この雲丹はＲＪでないがしかし配置方法だ」ということは事実と異なるとすると折衷するということはない
事実2: 「もし配置方法でなくてその上保温調理でないとしたら達成し易いということはない」物はある
事実3: もしあの日独伊軍事同盟が図田帳でないしまたそれは保温調理でないとすれば「マイル戦でない」ということは成り立つ
事実4: 「何らかの物は配置方法だということはなくて保温調理でない」ということは成り立つということはないとしたらそれは達成し易い
事実5: 仮に「ある物は配置方法でないしそれは保温調理でない」ということは確かでないとすると達成し易くない
事実6: 「もしも配置方法であるとすれば達成し易くない」ものはある
事実7: もしも「なんらかの物は配置方法でないけど保温調理だ」ということは偽であるとしたら達成し易くない

仮説: 「「もし仮に「配置方法でないしさらに保温調理でない」ということは間違っているなら達成し易くない」物はある」ということは嘘である
1. 事実5から、推論1: "もし「あの日独伊軍事同盟は配置方法でなくて保温調理でない」ということは誤りであるとするとそれは達成し易くない"が導かれる
2. 推論1から、仮説が否定される

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