「あの消防士は袋叩きであるか白いかどちらもである」ということは嘘だ
fact1: あの消防士は掴み易い fact2: この中攻隊は袋叩きであるか小気味良いかどちらもである fact3: あの消防士は驚き呆れる fact4: あの中央執行委員は掴み易いかもしくはデバッグだ fact5: もしこの行政事件訴訟法が判断し難いならあの消防士は判断し難い fact6: もし何かは掴み易くないとすれば「それは袋叩きであるかあるいは白いかどちらもである」ということは成り立つということはない fact7: 「あの消防士は忙しいかハワイ王国であるかまたは両方だ」ということは成り立つ fact8: あの消防士は白いししかも掴み易い
fact8 -> int1: あの消防士は白い; int1 -> hypothesis;
「あの消防士は白いかまたは判断し難いかもしくはどちらもだ」ということは事実である
$facts$ = fact1: あの消防士は掴み易い fact2: この中攻隊は袋叩きであるか小気味良いかどちらもである fact3: あの消防士は驚き呆れる fact4: あの中央執行委員は掴み易いかもしくはデバッグだ fact5: もしこの行政事件訴訟法が判断し難いならあの消防士は判断し難い fact6: もし何かは掴み易くないとすれば「それは袋叩きであるかあるいは白いかどちらもである」ということは成り立つということはない fact7: 「あの消防士は忙しいかハワイ王国であるかまたは両方だ」ということは成り立つ fact8: あの消防士は白いししかも掴み易い ; $hypothesis$ = 「あの消防士は袋叩きであるか白いかどちらもである」ということは嘘だ ; $proof$ = 
fact8 -> int1: あの消防士は白い; int1 -> hypothesis; __DISPROVED__
事実1: あの消防士は掴み易い
事実2: この中攻隊は袋叩きであるか小気味良いかどちらもである
事実3: あの消防士は驚き呆れる
事実4: あの中央執行委員は掴み易いかもしくはデバッグだ
事実5: もしこの行政事件訴訟法が判断し難いならあの消防士は判断し難い
事実6: もし何かは掴み易くないとすれば「それは袋叩きであるかあるいは白いかどちらもである」ということは成り立つということはない
事実7: 「あの消防士は忙しいかハワイ王国であるかまたは両方だ」ということは成り立つ
事実8: あの消防士は白いししかも掴み易い

仮説: 「あの消防士は袋叩きであるか白いかどちらもである」ということは嘘だ
1. 事実8から、推論1: "あの消防士は白い"が導かれる
2. 推論1から、仮説が否定される

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