あの挑戦的態度は関東以北だということはない
fact1: もし仮にその垂れ先が負債額だということはないならばそれは真ん丸いし濾過する fact2: あの挑戦的態度は斯様亭であるかあるいは強行的・直律的効力であるかまたはどちらもならばそれは現実感でない fact3: もし仮にその垂れ先が濾過するとしたらあの挑戦的態度は利用し辛い fact4: あの挑戦的態度は等しくない fact5: あの挑戦的態度は現実感だ fact6: 仮にあの挑戦的態度が等しくないしそれが斯様亭でないとすれば水臭い fact7: あの挑戦的態度が水臭くてかつそれが利用し辛いならそれは関東以北でない fact8: その垂れ先は負債額でない
void -> assump1: 以下のように仮定する。「あの挑戦的態度は斯様亭だ」ということは成り立つ; assump1 -> int1: あの挑戦的態度は斯様亭であるかもしくはそれは強行的・直律的効力だ; int1 & fact2 -> int2: あの挑戦的態度は現実感だということはない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの挑戦的態度は斯様亭でない; int4 & fact4 -> int5: あの挑戦的態度は等しくないしおまけに斯様亭でない; int5 & fact6 -> int6: あの挑戦的態度は水臭い; fact8 & fact1 -> int7: その垂れ先は真ん丸いし濾過する; int7 -> int8: その垂れ先は濾過する; fact3 & int8 -> int9: あの挑戦的態度は利用し辛い; int6 & int9 -> int10: あの挑戦的態度は水臭くて利用し辛い; int10 & fact7 -> hypothesis;
$facts$ = fact1: もし仮にその垂れ先が負債額だということはないならばそれは真ん丸いし濾過する fact2: あの挑戦的態度は斯様亭であるかあるいは強行的・直律的効力であるかまたはどちらもならばそれは現実感でない fact3: もし仮にその垂れ先が濾過するとしたらあの挑戦的態度は利用し辛い fact4: あの挑戦的態度は等しくない fact5: あの挑戦的態度は現実感だ fact6: 仮にあの挑戦的態度が等しくないしそれが斯様亭でないとすれば水臭い fact7: あの挑戦的態度が水臭くてかつそれが利用し辛いならそれは関東以北でない fact8: その垂れ先は負債額でない ; $hypothesis$ = あの挑戦的態度は関東以北だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの挑戦的態度は斯様亭だ」ということは成り立つ; assump1 -> int1: あの挑戦的態度は斯様亭であるかもしくはそれは強行的・直律的効力だ; int1 & fact2 -> int2: あの挑戦的態度は現実感だということはない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの挑戦的態度は斯様亭でない; int4 & fact4 -> int5: あの挑戦的態度は等しくないしおまけに斯様亭でない; int5 & fact6 -> int6: あの挑戦的態度は水臭い; fact8 & fact1 -> int7: その垂れ先は真ん丸いし濾過する; int7 -> int8: その垂れ先は濾過する; fact3 & int8 -> int9: あの挑戦的態度は利用し辛い; int6 & int9 -> int10: あの挑戦的態度は水臭くて利用し辛い; int10 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にその垂れ先が負債額だということはないならばそれは真ん丸いし濾過する
事実2: あの挑戦的態度は斯様亭であるかあるいは強行的・直律的効力であるかまたはどちらもならばそれは現実感でない
事実3: もし仮にその垂れ先が濾過するとしたらあの挑戦的態度は利用し辛い
事実4: あの挑戦的態度は等しくない
事実5: あの挑戦的態度は現実感だ
事実6: 仮にあの挑戦的態度が等しくないしそれが斯様亭でないとすれば水臭い
事実7: あの挑戦的態度が水臭くてかつそれが利用し辛いならそれは関東以北でない
事実8: その垂れ先は負債額でない

仮説: あの挑戦的態度は関東以北だということはない
1. 仮定1: 以下のように仮定する。「あの挑戦的態度は斯様亭だ」ということは成り立つ
2. 仮定1から、推論1: "あの挑戦的態度は斯様亭であるかもしくはそれは強行的・直律的効力だ"が導かれる
3. 推論1と事実2から、推論2: "あの挑戦的態度は現実感だということはない"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの挑戦的態度は斯様亭でない"が導かれる
6. 推論4と事実4から、推論5: "あの挑戦的態度は等しくないしおまけに斯様亭でない"が導かれる
7. 推論5と事実6から、推論6: "あの挑戦的態度は水臭い"が導かれる
8. 事実8と事実1から、推論7: "その垂れ先は真ん丸いし濾過する"が導かれる
9. 推論7から、推論8: "その垂れ先は濾過する"が導かれる
10. 事実3と推論8から、推論9: "あの挑戦的態度は利用し辛い"が導かれる
11. 推論6と推論9から、推論10: "あの挑戦的態度は水臭くて利用し辛い"が導かれる
12. 推論10と事実7から、仮説が導かれる

よって、仮説が証明されました。