あの変造前は予算面だ一方で際どいということはない
fact1: 「あの要注意先は際どいということはない」ということは嘘でないなら予算面でまた除雪する fact2: もしもあの要注意先が心弱くないかまたはそれは汗臭いかもしくは両方であるとするとそれはシェイクスピア劇でない fact3: あの要注意先は心弱くないかもしくは汗臭い fact4: 何らかの物がシェイクスピア劇でないとするとそれは殺人であるしその上それは浮かび上がる fact5: もしもあの調査捕鯨は予算面でないとすれば「あの変造前は予算面であるがしかしそれは際どかない」ということは間違いだ fact6: 「あの調査捕鯨は口煩いということはないけれど伝え易い」ということは事実と異なる fact7: もしあの要注意先はシェイクスピア劇でないなら「その医師不足はシェイクスピア劇であるしさらに除雪する」ということは偽である fact8: もしもなんらかの物は敷衍するとすれば「殺人でないがしかし予算面である」ということは間違いだ fact9: 仮に「あの調査捕鯨は口煩くない一方でそれは伝え易い」ということは成り立たないならば敷衍する fact10: もしも「その医師不足はシェイクスピア劇であるしさらにそれは除雪する」ということは誤っているならあの調査捕鯨は殺人でない
fact2 & fact3 -> int1: あの要注意先はシェイクスピア劇でない; int1 & fact7 -> int2: 「その医師不足がシェイクスピア劇だしそれは除雪する」ということは事実と異なる; int2 & fact10 -> int3: あの調査捕鯨は殺人でない; void -> assump1: 以下のように仮定する。あの調査捕鯨は予算面だ; int3 & assump1 -> int4: あの調査捕鯨は殺人でないが予算面だ; fact8 -> int5: あの調査捕鯨は敷衍するとすると「殺人でない一方で予算面だ」ということは成り立つということはない; fact9 & fact6 -> int6: あの調査捕鯨は敷衍する; int5 & int6 -> int7: 「あの調査捕鯨は殺人でないけど予算面だ」ということは事実と異なる; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの調査捕鯨は予算面でない; int9 & fact5 -> hypothesis;
あの変造前は浮かび上がる
fact11 -> int10: もしも「あの変造前はシェイクスピア劇であるということはない」ということは成り立てばそれは殺人であるししかも浮かび上がる;
$facts$ = fact1: 「あの要注意先は際どいということはない」ということは嘘でないなら予算面でまた除雪する fact2: もしもあの要注意先が心弱くないかまたはそれは汗臭いかもしくは両方であるとするとそれはシェイクスピア劇でない fact3: あの要注意先は心弱くないかもしくは汗臭い fact4: 何らかの物がシェイクスピア劇でないとするとそれは殺人であるしその上それは浮かび上がる fact5: もしもあの調査捕鯨は予算面でないとすれば「あの変造前は予算面であるがしかしそれは際どかない」ということは間違いだ fact6: 「あの調査捕鯨は口煩いということはないけれど伝え易い」ということは事実と異なる fact7: もしあの要注意先はシェイクスピア劇でないなら「その医師不足はシェイクスピア劇であるしさらに除雪する」ということは偽である fact8: もしもなんらかの物は敷衍するとすれば「殺人でないがしかし予算面である」ということは間違いだ fact9: 仮に「あの調査捕鯨は口煩くない一方でそれは伝え易い」ということは成り立たないならば敷衍する fact10: もしも「その医師不足はシェイクスピア劇であるしさらにそれは除雪する」ということは誤っているならあの調査捕鯨は殺人でない ; $hypothesis$ = あの変造前は予算面だ一方で際どいということはない ; $proof$ = 
fact2 & fact3 -> int1: あの要注意先はシェイクスピア劇でない; int1 & fact7 -> int2: 「その医師不足がシェイクスピア劇だしそれは除雪する」ということは事実と異なる; int2 & fact10 -> int3: あの調査捕鯨は殺人でない; void -> assump1: 以下のように仮定する。あの調査捕鯨は予算面だ; int3 & assump1 -> int4: あの調査捕鯨は殺人でないが予算面だ; fact8 -> int5: あの調査捕鯨は敷衍するとすると「殺人でない一方で予算面だ」ということは成り立つということはない; fact9 & fact6 -> int6: あの調査捕鯨は敷衍する; int5 & int6 -> int7: 「あの調査捕鯨は殺人でないけど予算面だ」ということは事実と異なる; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの調査捕鯨は予算面でない; int9 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの要注意先は際どいということはない」ということは嘘でないなら予算面でまた除雪する
事実2: もしもあの要注意先が心弱くないかまたはそれは汗臭いかもしくは両方であるとするとそれはシェイクスピア劇でない
事実3: あの要注意先は心弱くないかもしくは汗臭い
事実4: 何らかの物がシェイクスピア劇でないとするとそれは殺人であるしその上それは浮かび上がる
事実5: もしもあの調査捕鯨は予算面でないとすれば「あの変造前は予算面であるがしかしそれは際どかない」ということは間違いだ
事実6: 「あの調査捕鯨は口煩いということはないけれど伝え易い」ということは事実と異なる
事実7: もしあの要注意先はシェイクスピア劇でないなら「その医師不足はシェイクスピア劇であるしさらに除雪する」ということは偽である
事実8: もしもなんらかの物は敷衍するとすれば「殺人でないがしかし予算面である」ということは間違いだ
事実9: 仮に「あの調査捕鯨は口煩くない一方でそれは伝え易い」ということは成り立たないならば敷衍する
事実10: もしも「その医師不足はシェイクスピア劇であるしさらにそれは除雪する」ということは誤っているならあの調査捕鯨は殺人でない

仮説: あの変造前は予算面だ一方で際どいということはない
1. 事実2と事実3から、推論1: "あの要注意先はシェイクスピア劇でない"が導かれる
2. 推論1と事実7から、推論2: "「その医師不足がシェイクスピア劇だしそれは除雪する」ということは事実と異なる"が導かれる
3. 推論2と事実10から、推論3: "あの調査捕鯨は殺人でない"が導かれる
4. 仮定1: 以下のように仮定する。あの調査捕鯨は予算面だ
5. 推論3と仮定1から、推論4: "あの調査捕鯨は殺人でないが予算面だ"が導かれる
6. 事実8から、推論5: "あの調査捕鯨は敷衍するとすると「殺人でない一方で予算面だ」ということは成り立つということはない"が導かれる
7. 事実9と事実6から、推論6: "あの調査捕鯨は敷衍する"が導かれる
8. 推論5と推論6から、推論7: "「あの調査捕鯨は殺人でないけど予算面だ」ということは事実と異なる"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの調査捕鯨は予算面でない"が導かれる
11. 推論9と事実5から、仮説が否定される

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