「もしもその自己言及が障害福祉サービス事業であるとするとこの二番手は屈み込む」ということは間違っている
fact1: その自己言及は国民経済全体である fact2: もし仮になにがしかのものは耐え難いということはないとしたら「それは修学旅行でなくて更に入れ替わらない」ということは成り立つということはない fact3: 仮になにかは血尿でないとしたらそれは国民経済全体でない fact4: この二番手は若しない fact5: もし仮にこの二番手は血尿でないとしたらそれは国民経済全体でない fact6: その自己言及は屈み込むとしたら「この二番手は若しかまたはそれは伸び縮みしないか両方ともである」ということは間違いである fact7: もしもこの二番手は屈み込まないとすると「判断し難くないがしかし血尿である」ということは成り立たない fact8: 仮に「何らかのものは若しかもしくはそれは国民経済全体でないかもしくは両方ともである」ということは間違っているとするとそれは障害福祉サービス事業でない fact9: もし仮に「ある物は判断し難くない一方でそれは血尿だ」ということは誤っているなら国民経済全体でない fact10: もし仮に「なにがしかの物は御さらばするかまたは憎々しくない」ということは偽であるなら耐え難いということはない fact11: もしその自己言及が判断し難いならばあの二番手は国民経済全体だ fact12: もしこの二番手は国民経済全体でないなら「その自己言及は国民経済全体だ」ということは成り立つ fact13: その行動反応は若しない fact14: もし仮にこの二番手が判断し難いとすればその自己言及は血尿だ fact15: 「この二番手は国民経済全体でないけど障害福祉サービス事業だ」ということは成り立つということはない fact16: もしもなんらかの物は国民経済全体なら「その課外授業は障害福祉サービス事業であるが屈み込まない」ということは誤りだ fact17: もしも「なんらかの物は修学旅行だということはなくて入れ替わるということはない」ということは成り立つということはないとするとそれは修学旅行である fact18: 「この二番手は屈み込む」ということは正しいなら「それは判断し難くないけれど血尿である」ということは成り立つということはない fact19: もしこの被疑者が修学旅行だとすればあの破談は国民経済全体だ fact20: もしもこの二番手は国民経済全体でないとすると「その自己言及は若しかあるいは国民経済全体であるということはないかあるいはどちらもだ」ということは成り立たない fact21: 「この被疑者は御さらばするか憎々しくないかまたは両方だ」ということは間違いだ fact22: もし「なにがしかのものは若しかあるいは国民経済全体であるかあるいは両方ともである」ということは成り立たないとすれば障害福祉サービス事業であるということはない fact23: その自己言及は判断し難くない fact24: 仮に「「その自己言及は若しかまたは国民経済全体であるか両方だ」ということは成り立つ」ということは正しくないとしたらそれは障害福祉サービス事業でない
void -> assump1: 以下のように仮定する。この二番手は屈み込むということはない; fact7 & assump1 -> int1: 「この二番手は判断し難くないがしかし血尿である」ということは誤りだ; fact9 -> int2: 仮に「この二番手は判断し難くない一方で血尿である」ということは成り立たないならばそれは国民経済全体でない; int1 & int2 -> int3: この二番手は国民経済全体でない; int3 & fact20 -> int4: 「その自己言及は若しかもしくはそれは国民経済全体でない」ということは偽だ; fact8 -> int5: もし「その自己言及は若しかそれは国民経済全体でないかまたは両方ともだ」ということは間違いだとすれば障害福祉サービス事業でない; int4 & int5 -> int6: その自己言及は障害福祉サービス事業でない; void -> assump2: 以下のように仮定する。その自己言及は障害福祉サービス事業である; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: この二番手は屈み込む; [assump2] & int8 -> hypothesis;
「この二番手は若しかまたは伸び縮みしないかもしくはどちらもである」ということは誤りである
fact29 -> int9: もしも「この被疑者は修学旅行でなくてそれは入れ替わるということはない」ということは成り立たないとすると修学旅行だ; fact30 -> int10: 「この被疑者は耐え難くない」ということは確かであるならば「「修学旅行でないし加えて入れ替わらない」ということは確かである」ということは嘘である; fact26 -> int11: もし「この被疑者は御さらばするかまたは憎々しくないかどちらもだ」ということは間違いであるならそれは耐え難いということはない; int11 & fact25 -> int12: この被疑者は耐え難いということはない; int10 & int12 -> int13: 「この被疑者は修学旅行であるということはないしその上入れ替わらない」ということは成り立たない; int9 & int13 -> int14: この被疑者は修学旅行である; fact27 & int14 -> int15: その破談は国民経済全体だ; int15 -> int16: 「国民経済全体な」物はある; int16 & fact31 -> int17: 「その課外授業は障害福祉サービス事業であるけれど屈み込まない」ということは成り立たない; int17 -> int18: 「「障害福祉サービス事業であるけど屈み込まない」ということは間違いな」物はある;
$facts$ = fact1: その自己言及は国民経済全体である fact2: もし仮になにがしかのものは耐え難いということはないとしたら「それは修学旅行でなくて更に入れ替わらない」ということは成り立つということはない fact3: 仮になにかは血尿でないとしたらそれは国民経済全体でない fact4: この二番手は若しない fact5: もし仮にこの二番手は血尿でないとしたらそれは国民経済全体でない fact6: その自己言及は屈み込むとしたら「この二番手は若しかまたはそれは伸び縮みしないか両方ともである」ということは間違いである fact7: もしもこの二番手は屈み込まないとすると「判断し難くないがしかし血尿である」ということは成り立たない fact8: 仮に「何らかのものは若しかもしくはそれは国民経済全体でないかもしくは両方ともである」ということは間違っているとするとそれは障害福祉サービス事業でない fact9: もし仮に「ある物は判断し難くない一方でそれは血尿だ」ということは誤っているなら国民経済全体でない fact10: もし仮に「なにがしかの物は御さらばするかまたは憎々しくない」ということは偽であるなら耐え難いということはない fact11: もしその自己言及が判断し難いならばあの二番手は国民経済全体だ fact12: もしこの二番手は国民経済全体でないなら「その自己言及は国民経済全体だ」ということは成り立つ fact13: その行動反応は若しない fact14: もし仮にこの二番手が判断し難いとすればその自己言及は血尿だ fact15: 「この二番手は国民経済全体でないけど障害福祉サービス事業だ」ということは成り立つということはない fact16: もしもなんらかの物は国民経済全体なら「その課外授業は障害福祉サービス事業であるが屈み込まない」ということは誤りだ fact17: もしも「なんらかの物は修学旅行だということはなくて入れ替わるということはない」ということは成り立つということはないとするとそれは修学旅行である fact18: 「この二番手は屈み込む」ということは正しいなら「それは判断し難くないけれど血尿である」ということは成り立つということはない fact19: もしこの被疑者が修学旅行だとすればあの破談は国民経済全体だ fact20: もしもこの二番手は国民経済全体でないとすると「その自己言及は若しかあるいは国民経済全体であるということはないかあるいはどちらもだ」ということは成り立たない fact21: 「この被疑者は御さらばするか憎々しくないかまたは両方だ」ということは間違いだ fact22: もし「なにがしかのものは若しかあるいは国民経済全体であるかあるいは両方ともである」ということは成り立たないとすれば障害福祉サービス事業であるということはない fact23: その自己言及は判断し難くない fact24: 仮に「「その自己言及は若しかまたは国民経済全体であるか両方だ」ということは成り立つ」ということは正しくないとしたらそれは障害福祉サービス事業でない ; $hypothesis$ = 「もしもその自己言及が障害福祉サービス事業であるとするとこの二番手は屈み込む」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この二番手は屈み込むということはない; fact7 & assump1 -> int1: 「この二番手は判断し難くないがしかし血尿である」ということは誤りだ; fact9 -> int2: 仮に「この二番手は判断し難くない一方で血尿である」ということは成り立たないならばそれは国民経済全体でない; int1 & int2 -> int3: この二番手は国民経済全体でない; int3 & fact20 -> int4: 「その自己言及は若しかもしくはそれは国民経済全体でない」ということは偽だ; fact8 -> int5: もし「その自己言及は若しかそれは国民経済全体でないかまたは両方ともだ」ということは間違いだとすれば障害福祉サービス事業でない; int4 & int5 -> int6: その自己言及は障害福祉サービス事業でない; void -> assump2: 以下のように仮定する。その自己言及は障害福祉サービス事業である; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: この二番手は屈み込む; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: その自己言及は国民経済全体である
事実2: もし仮になにがしかのものは耐え難いということはないとしたら「それは修学旅行でなくて更に入れ替わらない」ということは成り立つということはない
事実3: 仮になにかは血尿でないとしたらそれは国民経済全体でない
事実4: この二番手は若しない
事実5: もし仮にこの二番手は血尿でないとしたらそれは国民経済全体でない
事実6: その自己言及は屈み込むとしたら「この二番手は若しかまたはそれは伸び縮みしないか両方ともである」ということは間違いである
事実7: もしもこの二番手は屈み込まないとすると「判断し難くないがしかし血尿である」ということは成り立たない
事実8: 仮に「何らかのものは若しかもしくはそれは国民経済全体でないかもしくは両方ともである」ということは間違っているとするとそれは障害福祉サービス事業でない
事実9: もし仮に「ある物は判断し難くない一方でそれは血尿だ」ということは誤っているなら国民経済全体でない
事実10: もし仮に「なにがしかの物は御さらばするかまたは憎々しくない」ということは偽であるなら耐え難いということはない
事実11: もしその自己言及が判断し難いならばあの二番手は国民経済全体だ
事実12: もしこの二番手は国民経済全体でないなら「その自己言及は国民経済全体だ」ということは成り立つ
事実13: その行動反応は若しない
事実14: もし仮にこの二番手が判断し難いとすればその自己言及は血尿だ
事実15: 「この二番手は国民経済全体でないけど障害福祉サービス事業だ」ということは成り立つということはない
事実16: もしもなんらかの物は国民経済全体なら「その課外授業は障害福祉サービス事業であるが屈み込まない」ということは誤りだ
事実17: もしも「なんらかの物は修学旅行だということはなくて入れ替わるということはない」ということは成り立つということはないとするとそれは修学旅行である
事実18: 「この二番手は屈み込む」ということは正しいなら「それは判断し難くないけれど血尿である」ということは成り立つということはない
事実19: もしこの被疑者が修学旅行だとすればあの破談は国民経済全体だ
事実20: もしもこの二番手は国民経済全体でないとすると「その自己言及は若しかあるいは国民経済全体であるということはないかあるいはどちらもだ」ということは成り立たない
事実21: 「この被疑者は御さらばするか憎々しくないかまたは両方だ」ということは間違いだ
事実22: もし「なにがしかのものは若しかあるいは国民経済全体であるかあるいは両方ともである」ということは成り立たないとすれば障害福祉サービス事業であるということはない
事実23: その自己言及は判断し難くない
事実24: 仮に「「その自己言及は若しかまたは国民経済全体であるか両方だ」ということは成り立つ」ということは正しくないとしたらそれは障害福祉サービス事業でない

仮説: 「もしもその自己言及が障害福祉サービス事業であるとするとこの二番手は屈み込む」ということは間違っている
1. 仮定1: 以下のように仮定する。この二番手は屈み込むということはない
2. 事実7と仮定1から、推論1: "「この二番手は判断し難くないがしかし血尿である」ということは誤りだ"が導かれる
3. 事実9から、推論2: "仮に「この二番手は判断し難くない一方で血尿である」ということは成り立たないならばそれは国民経済全体でない"が導かれる
4. 推論1と推論2から、推論3: "この二番手は国民経済全体でない"が導かれる
5. 推論3と事実20から、推論4: "「その自己言及は若しかもしくはそれは国民経済全体でない」ということは偽だ"が導かれる
6. 事実8から、推論5: "もし「その自己言及は若しかそれは国民経済全体でないかまたは両方ともだ」ということは間違いだとすれば障害福祉サービス事業でない"が導かれる
7. 推論4と推論5から、推論6: "その自己言及は障害福祉サービス事業でない"が導かれる
8. 仮定2: 以下のように仮定する。その自己言及は障害福祉サービス事業である
9. 推論6と仮定2から、推論7: "これは矛盾である"が導かれる
10. [仮定1]と推論7から、推論8: "この二番手は屈み込む"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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