このアメリカ館は寄り添わない
fact1: もしも「なにかは点数だ一方でストーンサークルでない」ということは間違いならば水循環でない fact2: もしその随意性は点数でないとしたら「あのフェルトペンは点数だけれどそれはストーンサークルでない」ということは嘘だ fact3: もしもなにかは剥離し難いとするとそれは国際学会である fact4: もしこの放射線科が水循環だけどストーンサークルでないとするとこのアメリカ館はストーンサークルである fact5: もしもこの放射線科が剥離し難くないとすればあの随意性は点数だということはない fact6: 「この心体はマデラ酒である」ということは成り立つならこのアメリカ館は水循環でない fact7: あの政治システムは点数である fact8: もしもなんらかの物は点数でなくてしかも剥離し難くないとすると寄り添わない fact9: もしも「とあるものはマデラ酒でない一方で質入れする」ということは確かでないとするとそれは寄り添う fact10: あの仰角が甲高いとするとこの心体は水循環でない fact11: あの仰角は甲高い fact12: もしこの心体が水循環であるということはないならばあのフェルトペンは水循環だ fact13: この放射線科が点数だしそれが剥離し難いとしたらこのアメリカ館は寄り添わない fact14: なんらかの物はストーンサークルであるということはないならそれは点数であってかつ剥離し難い fact15: もし仮にその随意性は点数であるなら「この心体は水循環であるということはないけれど甲高い」ということは嘘だ fact16: この放射線科は国際学会であるとすれば「このアメリカ館はマデラ酒でないけれど質入れする」ということは成り立つということはない fact17: もしも「なにがしかのものは甲高いけれどマデラ酒でない」ということは成り立たないなら「ストーンサークルでない」ということは本当である fact18: もしも「何らかのものはマデラ酒だし加えて点数だ」ということは成り立たないなら「それはマデラ酒でない」ということは成り立つ
void -> assump1: 以下のように仮定する。この放射線科は剥離し難くない; fact5 & assump1 -> int1: その随意性は点数でない; int1 & fact2 -> int2: 「あのフェルトペンは点数であるけれどそれはストーンサークルだということはない」ということは成り立たない; fact1 -> int3: 「あのフェルトペンは点数だけれどストーンサークルであるということはない」ということは誤っているなら水循環でない; int2 & int3 -> int4: あのフェルトペンは水循環でない; fact11 & fact10 -> int5: この心体は水循環でない; fact12 & int5 -> int6: あのフェルトペンは水循環である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この放射線科は剥離し難い; fact3 -> int9: この放射線科が剥離し難いなら国際学会である; int8 & int9 -> int10: この放射線科は国際学会だ; int10 & fact16 -> int11: 「このアメリカ館はマデラ酒だということはないが質入れする」ということは誤っている; fact9 -> int12: もし「このアメリカ館はマデラ酒でないがしかし質入れする」ということは事実と異なればそれは寄り添う; int11 & int12 -> hypothesis;
このアメリカ館は寄り添わない
fact19 -> int13: 仮にこのアメリカ館は点数だということはなくて剥離し難くないとしたらそれは寄り添わない;
$facts$ = fact1: もしも「なにかは点数だ一方でストーンサークルでない」ということは間違いならば水循環でない fact2: もしその随意性は点数でないとしたら「あのフェルトペンは点数だけれどそれはストーンサークルでない」ということは嘘だ fact3: もしもなにかは剥離し難いとするとそれは国際学会である fact4: もしこの放射線科が水循環だけどストーンサークルでないとするとこのアメリカ館はストーンサークルである fact5: もしもこの放射線科が剥離し難くないとすればあの随意性は点数だということはない fact6: 「この心体はマデラ酒である」ということは成り立つならこのアメリカ館は水循環でない fact7: あの政治システムは点数である fact8: もしもなんらかの物は点数でなくてしかも剥離し難くないとすると寄り添わない fact9: もしも「とあるものはマデラ酒でない一方で質入れする」ということは確かでないとするとそれは寄り添う fact10: あの仰角が甲高いとするとこの心体は水循環でない fact11: あの仰角は甲高い fact12: もしこの心体が水循環であるということはないならばあのフェルトペンは水循環だ fact13: この放射線科が点数だしそれが剥離し難いとしたらこのアメリカ館は寄り添わない fact14: なんらかの物はストーンサークルであるということはないならそれは点数であってかつ剥離し難い fact15: もし仮にその随意性は点数であるなら「この心体は水循環であるということはないけれど甲高い」ということは嘘だ fact16: この放射線科は国際学会であるとすれば「このアメリカ館はマデラ酒でないけれど質入れする」ということは成り立つということはない fact17: もしも「なにがしかのものは甲高いけれどマデラ酒でない」ということは成り立たないなら「ストーンサークルでない」ということは本当である fact18: もしも「何らかのものはマデラ酒だし加えて点数だ」ということは成り立たないなら「それはマデラ酒でない」ということは成り立つ ; $hypothesis$ = このアメリカ館は寄り添わない ; $proof$ = 
void -> assump1: 以下のように仮定する。この放射線科は剥離し難くない; fact5 & assump1 -> int1: その随意性は点数でない; int1 & fact2 -> int2: 「あのフェルトペンは点数であるけれどそれはストーンサークルだということはない」ということは成り立たない; fact1 -> int3: 「あのフェルトペンは点数だけれどストーンサークルであるということはない」ということは誤っているなら水循環でない; int2 & int3 -> int4: あのフェルトペンは水循環でない; fact11 & fact10 -> int5: この心体は水循環でない; fact12 & int5 -> int6: あのフェルトペンは水循環である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この放射線科は剥離し難い; fact3 -> int9: この放射線科が剥離し難いなら国際学会である; int8 & int9 -> int10: この放射線科は国際学会だ; int10 & fact16 -> int11: 「このアメリカ館はマデラ酒だということはないが質入れする」ということは誤っている; fact9 -> int12: もし「このアメリカ館はマデラ酒でないがしかし質入れする」ということは事実と異なればそれは寄り添う; int11 & int12 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは点数だ一方でストーンサークルでない」ということは間違いならば水循環でない
事実2: もしその随意性は点数でないとしたら「あのフェルトペンは点数だけれどそれはストーンサークルでない」ということは嘘だ
事実3: もしもなにかは剥離し難いとするとそれは国際学会である
事実4: もしこの放射線科が水循環だけどストーンサークルでないとするとこのアメリカ館はストーンサークルである
事実5: もしもこの放射線科が剥離し難くないとすればあの随意性は点数だということはない
事実6: 「この心体はマデラ酒である」ということは成り立つならこのアメリカ館は水循環でない
事実7: あの政治システムは点数である
事実8: もしもなんらかの物は点数でなくてしかも剥離し難くないとすると寄り添わない
事実9: もしも「とあるものはマデラ酒でない一方で質入れする」ということは確かでないとするとそれは寄り添う
事実10: あの仰角が甲高いとするとこの心体は水循環でない
事実11: あの仰角は甲高い
事実12: もしこの心体が水循環であるということはないならばあのフェルトペンは水循環だ
事実13: この放射線科が点数だしそれが剥離し難いとしたらこのアメリカ館は寄り添わない
事実14: なんらかの物はストーンサークルであるということはないならそれは点数であってかつ剥離し難い
事実15: もし仮にその随意性は点数であるなら「この心体は水循環であるということはないけれど甲高い」ということは嘘だ
事実16: この放射線科は国際学会であるとすれば「このアメリカ館はマデラ酒でないけれど質入れする」ということは成り立つということはない
事実17: もしも「なにがしかのものは甲高いけれどマデラ酒でない」ということは成り立たないなら「ストーンサークルでない」ということは本当である
事実18: もしも「何らかのものはマデラ酒だし加えて点数だ」ということは成り立たないなら「それはマデラ酒でない」ということは成り立つ

仮説: このアメリカ館は寄り添わない
1. 仮定1: 以下のように仮定する。この放射線科は剥離し難くない
2. 事実5と仮定1から、推論1: "その随意性は点数でない"が導かれる
3. 推論1と事実2から、推論2: "「あのフェルトペンは点数であるけれどそれはストーンサークルだということはない」ということは成り立たない"が導かれる
4. 事実1から、推論3: "「あのフェルトペンは点数だけれどストーンサークルであるということはない」ということは誤っているなら水循環でない"が導かれる
5. 推論2と推論3から、推論4: "あのフェルトペンは水循環でない"が導かれる
6. 事実11と事実10から、推論5: "この心体は水循環でない"が導かれる
7. 事実12と推論5から、推論6: "あのフェルトペンは水循環である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この放射線科は剥離し難い"が導かれる
10. 事実3から、推論9: "この放射線科が剥離し難いなら国際学会である"が導かれる
11. 推論8と推論9から、推論10: "この放射線科は国際学会だ"が導かれる
12. 推論10と事実16から、推論11: "「このアメリカ館はマデラ酒だということはないが質入れする」ということは誤っている"が導かれる
13. 事実9から、推論12: "もし「このアメリカ館はマデラ酒でないがしかし質入れする」ということは事実と異なればそれは寄り添う"が導かれる
14. 推論11と推論12から、仮説が否定される

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