あのペンタグリシンは共同処理する
fact1: もしもあの組織形態は大きいとすると「あのだちは使い果たすかもしくは鳴らし続けない」ということは成り立たない fact2: あのペンタグリシンは大きい fact3: もし仮にあのペンタグリシンが共同処理するとするとこの実存主義は浮き易い fact4: 「あのペンタグリシンが浮き易くなくてまた共同処理しないとすればこの実売価格は大きい」ということは正しい fact5: あのだちは使い果たさない fact6: 仮に「あるものは吹き寄せるかあるいはそれはこよないかどちらもである」ということは成り立たないならそれは大きい fact7: もし仮にあの組織形態が鳴らし続けるなら使い果たさない fact8: もしこの実存主義はこよないとすれば「あの組織形態は吹き寄せるということはないかこよないかまたは両方ともだ」ということは事実と異なる fact9: 「あの組織形態は吹き寄せるかもしくはこよないかまたはどちらもだ」ということは間違っているとすればそれは大きい fact10: もし仮に「あの組織形態は大きくない」ということは成り立たないならば「あのだちは使い果たすということはない」ということは本当だ fact11: 浮き易いものはこよない fact12: もしあのペンタグリシンはこよなくないとすれば「それは共同処理するしおまけに浮き易い」ということは成り立つ fact13: あの組織形態は吹き寄せる fact14: もしもあのだちが治癒力ならあの釘調整は鳴らし続ける fact15: あの釘調整は布陣するし更に治癒力だ fact16: もし「あるものは吹き寄せないかこよないか両方である」ということは事実だということはないとすればそれは大きい fact17: あの釘調整は布陣する fact18: 仮にあの組織形態は使い果たすということはないとすると「この実存主義は吹き寄せないし更に大きくない」ということは成り立たない fact19: もし仮に「あのだちは使い果たすか鳴らし続けないか両方だ」ということは事実と異なるとしたらあの釘調整は治癒力でない fact20: 仮にこの実存主義がこよないならばあの組織形態は吹き寄せる
void -> assump1: 以下のように仮定する。「あのペンタグリシンは共同処理する」ということは本当である; fact3 & assump1 -> int1: この実存主義は浮き易い; fact11 -> int2: 仮にこの実存主義が浮き易いならそれはこよない; int1 & int2 -> int3: 「この実存主義はこよない」ということは事実だ; int3 & fact8 -> int4: 「あの組織形態は吹き寄せないかまたはこよないかもしくは両方ともだ」ということは成り立たない; fact16 -> int5: 仮に「あの組織形態は吹き寄せないかそれはこよないかもしくはどちらもだ」ということは真実でないとすればそれは大きい; int4 & int5 -> int6: あの組織形態は大きい; int6 & fact1 -> int7: 「あのだちは使い果たすかまたは鳴らし続けないか両方である」ということは嘘である; int7 & fact19 -> int8: あの釘調整は治癒力でない; fact15 -> int9: あの釘調整は治癒力だ; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この実売価格は大きい
$facts$ = fact1: もしもあの組織形態は大きいとすると「あのだちは使い果たすかもしくは鳴らし続けない」ということは成り立たない fact2: あのペンタグリシンは大きい fact3: もし仮にあのペンタグリシンが共同処理するとするとこの実存主義は浮き易い fact4: 「あのペンタグリシンが浮き易くなくてまた共同処理しないとすればこの実売価格は大きい」ということは正しい fact5: あのだちは使い果たさない fact6: 仮に「あるものは吹き寄せるかあるいはそれはこよないかどちらもである」ということは成り立たないならそれは大きい fact7: もし仮にあの組織形態が鳴らし続けるなら使い果たさない fact8: もしこの実存主義はこよないとすれば「あの組織形態は吹き寄せるということはないかこよないかまたは両方ともだ」ということは事実と異なる fact9: 「あの組織形態は吹き寄せるかもしくはこよないかまたはどちらもだ」ということは間違っているとすればそれは大きい fact10: もし仮に「あの組織形態は大きくない」ということは成り立たないならば「あのだちは使い果たすということはない」ということは本当だ fact11: 浮き易いものはこよない fact12: もしあのペンタグリシンはこよなくないとすれば「それは共同処理するしおまけに浮き易い」ということは成り立つ fact13: あの組織形態は吹き寄せる fact14: もしもあのだちが治癒力ならあの釘調整は鳴らし続ける fact15: あの釘調整は布陣するし更に治癒力だ fact16: もし「あるものは吹き寄せないかこよないか両方である」ということは事実だということはないとすればそれは大きい fact17: あの釘調整は布陣する fact18: 仮にあの組織形態は使い果たすということはないとすると「この実存主義は吹き寄せないし更に大きくない」ということは成り立たない fact19: もし仮に「あのだちは使い果たすか鳴らし続けないか両方だ」ということは事実と異なるとしたらあの釘調整は治癒力でない fact20: 仮にこの実存主義がこよないならばあの組織形態は吹き寄せる ; $hypothesis$ = あのペンタグリシンは共同処理する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのペンタグリシンは共同処理する」ということは本当である; fact3 & assump1 -> int1: この実存主義は浮き易い; fact11 -> int2: 仮にこの実存主義が浮き易いならそれはこよない; int1 & int2 -> int3: 「この実存主義はこよない」ということは事実だ; int3 & fact8 -> int4: 「あの組織形態は吹き寄せないかまたはこよないかもしくは両方ともだ」ということは成り立たない; fact16 -> int5: 仮に「あの組織形態は吹き寄せないかそれはこよないかもしくはどちらもだ」ということは真実でないとすればそれは大きい; int4 & int5 -> int6: あの組織形態は大きい; int6 & fact1 -> int7: 「あのだちは使い果たすかまたは鳴らし続けないか両方である」ということは嘘である; int7 & fact19 -> int8: あの釘調整は治癒力でない; fact15 -> int9: あの釘調整は治癒力だ; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしもあの組織形態は大きいとすると「あのだちは使い果たすかもしくは鳴らし続けない」ということは成り立たない
事実2: あのペンタグリシンは大きい
事実3: もし仮にあのペンタグリシンが共同処理するとするとこの実存主義は浮き易い
事実4: 「あのペンタグリシンが浮き易くなくてまた共同処理しないとすればこの実売価格は大きい」ということは正しい
事実5: あのだちは使い果たさない
事実6: 仮に「あるものは吹き寄せるかあるいはそれはこよないかどちらもである」ということは成り立たないならそれは大きい
事実7: もし仮にあの組織形態が鳴らし続けるなら使い果たさない
事実8: もしこの実存主義はこよないとすれば「あの組織形態は吹き寄せるということはないかこよないかまたは両方ともだ」ということは事実と異なる
事実9: 「あの組織形態は吹き寄せるかもしくはこよないかまたはどちらもだ」ということは間違っているとすればそれは大きい
事実10: もし仮に「あの組織形態は大きくない」ということは成り立たないならば「あのだちは使い果たすということはない」ということは本当だ
事実11: 浮き易いものはこよない
事実12: もしあのペンタグリシンはこよなくないとすれば「それは共同処理するしおまけに浮き易い」ということは成り立つ
事実13: あの組織形態は吹き寄せる
事実14: もしもあのだちが治癒力ならあの釘調整は鳴らし続ける
事実15: あの釘調整は布陣するし更に治癒力だ
事実16: もし「あるものは吹き寄せないかこよないか両方である」ということは事実だということはないとすればそれは大きい
事実17: あの釘調整は布陣する
事実18: 仮にあの組織形態は使い果たすということはないとすると「この実存主義は吹き寄せないし更に大きくない」ということは成り立たない
事実19: もし仮に「あのだちは使い果たすか鳴らし続けないか両方だ」ということは事実と異なるとしたらあの釘調整は治癒力でない
事実20: 仮にこの実存主義がこよないならばあの組織形態は吹き寄せる

仮説: あのペンタグリシンは共同処理する
1. 仮定1: 以下のように仮定する。「あのペンタグリシンは共同処理する」ということは本当である
2. 事実3と仮定1から、推論1: "この実存主義は浮き易い"が導かれる
3. 事実11から、推論2: "仮にこの実存主義が浮き易いならそれはこよない"が導かれる
4. 推論1と推論2から、推論3: "「この実存主義はこよない」ということは事実だ"が導かれる
5. 推論3と事実8から、推論4: "「あの組織形態は吹き寄せないかまたはこよないかもしくは両方ともだ」ということは成り立たない"が導かれる
6. 事実16から、推論5: "仮に「あの組織形態は吹き寄せないかそれはこよないかもしくはどちらもだ」ということは真実でないとすればそれは大きい"が導かれる
7. 推論4と推論5から、推論6: "あの組織形態は大きい"が導かれる
8. 推論6と事実1から、推論7: "「あのだちは使い果たすかまたは鳴らし続けないか両方である」ということは嘘である"が導かれる
9. 推論7と事実19から、推論8: "あの釘調整は治癒力でない"が導かれる
10. 事実15から、推論9: "あの釘調整は治癒力だ"が導かれる
11. 推論8と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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