その不味さは変化し易いがそれは頼み難くない
fact1: そのアルミホイルは惑わさない fact2: あの某課長は惑わさない fact3: 「その不味さは変化し易くて頼み難い」ということは偽である fact4: もしあの某課長は頼み難くないとしたら「その不味さは変化し易いし頼み難い」ということは誤りだ fact5: あの某課長は頼み難くないとすると「その不味さは変化し易いけど頼み難くない」ということは成り立たない fact6: もしあの某課長は轍だが惑わさないならそれは頼み難くない fact7: 仮になにがしかのものがびっくり仰天するならそれは惑わすかまたは轍だということはない fact8: あの某課長は轍である
fact8 & fact2 -> int1: あの某課長は轍だ一方でそれは惑わさない; int1 & fact6 -> int2: あの某課長は頼み難いということはない; int2 & fact5 -> hypothesis;
あのアメリカ独立宣言は頼み難くない
fact9 -> int3: もしあのアメリカ独立宣言がびっくり仰天するならそれは惑わすかあるいはそれは轍でない;
$facts$ = fact1: そのアルミホイルは惑わさない fact2: あの某課長は惑わさない fact3: 「その不味さは変化し易くて頼み難い」ということは偽である fact4: もしあの某課長は頼み難くないとしたら「その不味さは変化し易いし頼み難い」ということは誤りだ fact5: あの某課長は頼み難くないとすると「その不味さは変化し易いけど頼み難くない」ということは成り立たない fact6: もしあの某課長は轍だが惑わさないならそれは頼み難くない fact7: 仮になにがしかのものがびっくり仰天するならそれは惑わすかまたは轍だということはない fact8: あの某課長は轍である ; $hypothesis$ = その不味さは変化し易いがそれは頼み難くない ; $proof$ = 
fact8 & fact2 -> int1: あの某課長は轍だ一方でそれは惑わさない; int1 & fact6 -> int2: あの某課長は頼み難いということはない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: そのアルミホイルは惑わさない
事実2: あの某課長は惑わさない
事実3: 「その不味さは変化し易くて頼み難い」ということは偽である
事実4: もしあの某課長は頼み難くないとしたら「その不味さは変化し易いし頼み難い」ということは誤りだ
事実5: あの某課長は頼み難くないとすると「その不味さは変化し易いけど頼み難くない」ということは成り立たない
事実6: もしあの某課長は轍だが惑わさないならそれは頼み難くない
事実7: 仮になにがしかのものがびっくり仰天するならそれは惑わすかまたは轍だということはない
事実8: あの某課長は轍である

仮説: その不味さは変化し易いがそれは頼み難くない
1. 事実8と事実2から、推論1: "あの某課長は轍だ一方でそれは惑わさない"が導かれる
2. 推論1と事実6から、推論2: "あの某課長は頼み難いということはない"が導かれる
3. 推論2と事実5から、仮説が否定される

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