この当権派は持ち易くない
fact1: あの腹筋は抗コリン作用だ fact2: 「あの腹筋は甘橿丘であるということはないけどアンプだ」ということは正しいということはない fact3: 仮に「何らかの物は溜まり易くて更にそれは煙たい」ということは誤っているとすれば煙たくない fact4: 「「甘橿丘でなくてアンプだ」ということは成り立たない」ものがあるとしたらその大日本史料は恨みがましい fact5: もし「なんらかの物は持ち易いがそれは近代法的統一的不当利得要件でない」ということは間違いであるとするとそれは抗コリン作用でない fact6: もしも何らかの物は近代法的統一的不当利得要件でないとしたら「煙たいしかつ恨みがましい」ということは真実だということはない fact7: もし「溜まり易くないけれど抗コリン作用な」物があるとしたらこの当権派は持ち易くない fact8: 煙たくない物は持ち易い fact9: もし仮に溜まり易い物が抗コリン作用であるならこの当権派は煙たくない fact10: 「このバンヌーボは航空である」ということは成り立つ fact11: 「溜まり易い」ものはある fact12: もし仮に「なんらかの物は煙たくてそれは恨みがましい」ということは誤っているとすると煙たくない fact13: もしもあの腹筋が溜まり易くないならこのバンヌーボは航空でないけどハンガーである fact14: もし仮に何らかのものは恨みがましいとすれば「それは持ち易いがしかし近代法的統一的不当利得要件でない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの腹筋は溜まり易くない; fact13 & assump1 -> int1: このバンヌーボは航空でないがハンガーだ; int1 -> int2: このバンヌーボは航空でない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腹筋は溜まり易い; int4 & fact1 -> int5: あの腹筋は溜まり易くてまた抗コリン作用だ; int5 -> int6: なにがしかの物は溜まり易くて抗コリン作用だ; int6 & fact9 -> int7: この当権派は煙たくない; fact8 -> int8: もしも「この当権派は煙たくない」ということは成り立てば「持ち易い」ということは事実である; int7 & int8 -> hypothesis;
その大日本史料は煙たくない
fact19 -> int9: 「その大日本史料は溜まり易くて煙たい」ということは成り立たないなら煙たくない; fact16 -> int10: 「その大日本史料は持ち易いけど近代法的統一的不当利得要件でない」ということは偽であるならばそれは抗コリン作用でない; fact18 -> int11: もし仮にその大日本史料は恨みがましいとすると「持ち易いけれど近代法的統一的不当利得要件でない」ということは真実であるということはない; fact15 -> int12: 「「甘橿丘でないしかつアンプだ」ということは誤りである」物はある; int12 & fact17 -> int13: その大日本史料は恨みがましい; int11 & int13 -> int14: 「その大日本史料は持ち易いが近代法的統一的不当利得要件でない」ということは本当でない; int10 & int14 -> int15: 「その大日本史料は抗コリン作用でない」ということは成り立つ;
$facts$ = fact1: あの腹筋は抗コリン作用だ fact2: 「あの腹筋は甘橿丘であるということはないけどアンプだ」ということは正しいということはない fact3: 仮に「何らかの物は溜まり易くて更にそれは煙たい」ということは誤っているとすれば煙たくない fact4: 「「甘橿丘でなくてアンプだ」ということは成り立たない」ものがあるとしたらその大日本史料は恨みがましい fact5: もし「なんらかの物は持ち易いがそれは近代法的統一的不当利得要件でない」ということは間違いであるとするとそれは抗コリン作用でない fact6: もしも何らかの物は近代法的統一的不当利得要件でないとしたら「煙たいしかつ恨みがましい」ということは真実だということはない fact7: もし「溜まり易くないけれど抗コリン作用な」物があるとしたらこの当権派は持ち易くない fact8: 煙たくない物は持ち易い fact9: もし仮に溜まり易い物が抗コリン作用であるならこの当権派は煙たくない fact10: 「このバンヌーボは航空である」ということは成り立つ fact11: 「溜まり易い」ものはある fact12: もし仮に「なんらかの物は煙たくてそれは恨みがましい」ということは誤っているとすると煙たくない fact13: もしもあの腹筋が溜まり易くないならこのバンヌーボは航空でないけどハンガーである fact14: もし仮に何らかのものは恨みがましいとすれば「それは持ち易いがしかし近代法的統一的不当利得要件でない」ということは成り立たない ; $hypothesis$ = この当権派は持ち易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの腹筋は溜まり易くない; fact13 & assump1 -> int1: このバンヌーボは航空でないがハンガーだ; int1 -> int2: このバンヌーボは航空でない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腹筋は溜まり易い; int4 & fact1 -> int5: あの腹筋は溜まり易くてまた抗コリン作用だ; int5 -> int6: なにがしかの物は溜まり易くて抗コリン作用だ; int6 & fact9 -> int7: この当権派は煙たくない; fact8 -> int8: もしも「この当権派は煙たくない」ということは成り立てば「持ち易い」ということは事実である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: あの腹筋は抗コリン作用だ
事実2: 「あの腹筋は甘橿丘であるということはないけどアンプだ」ということは正しいということはない
事実3: 仮に「何らかの物は溜まり易くて更にそれは煙たい」ということは誤っているとすれば煙たくない
事実4: 「「甘橿丘でなくてアンプだ」ということは成り立たない」ものがあるとしたらその大日本史料は恨みがましい
事実5: もし「なんらかの物は持ち易いがそれは近代法的統一的不当利得要件でない」ということは間違いであるとするとそれは抗コリン作用でない
事実6: もしも何らかの物は近代法的統一的不当利得要件でないとしたら「煙たいしかつ恨みがましい」ということは真実だということはない
事実7: もし「溜まり易くないけれど抗コリン作用な」物があるとしたらこの当権派は持ち易くない
事実8: 煙たくない物は持ち易い
事実9: もし仮に溜まり易い物が抗コリン作用であるならこの当権派は煙たくない
事実10: 「このバンヌーボは航空である」ということは成り立つ
事実11: 「溜まり易い」ものはある
事実12: もし仮に「なんらかの物は煙たくてそれは恨みがましい」ということは誤っているとすると煙たくない
事実13: もしもあの腹筋が溜まり易くないならこのバンヌーボは航空でないけどハンガーである
事実14: もし仮に何らかのものは恨みがましいとすれば「それは持ち易いがしかし近代法的統一的不当利得要件でない」ということは成り立たない

仮説: この当権派は持ち易くない
1. 仮定1: 以下のように仮定する。あの腹筋は溜まり易くない
2. 事実13と仮定1から、推論1: "このバンヌーボは航空でないがハンガーだ"が導かれる
3. 推論1から、推論2: "このバンヌーボは航空でない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの腹筋は溜まり易い"が導かれる
6. 推論4と事実1から、推論5: "あの腹筋は溜まり易くてまた抗コリン作用だ"が導かれる
7. 推論5から、推論6: "なにがしかの物は溜まり易くて抗コリン作用だ"が導かれる
8. 推論6と事実9から、推論7: "この当権派は煙たくない"が導かれる
9. 事実8から、推論8: "もしも「この当権派は煙たくない」ということは成り立てば「持ち易い」ということは事実である"が導かれる
10. 推論7と推論8から、仮説が否定される

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