そのグルーは示さない
fact1: 仮に「このとがは観察だ」ということは確かであるならそのグルーは擽ったい fact2: その業界他社は御熱であるか果てし無いかもしくは両方ともだ fact3: 仮になんらかのものが擽ったいとすれば甘ーいということはない fact4: もしその業界他社が御熱だとしたらそのキャスト演算子は真ん丸い fact5: 何らかの物は御強いけれど捕まらない fact6: もし真ん丸いものは御熱でないならば「それは果てし無い」ということは事実だ fact7: もしその業界他社が示すとしたらそのグルーは果てし無い fact8: その信頼醸成は真ん丸い fact9: 真ん丸いものは示す fact10: もし仮にその業界他社が果てし無いとするとそれは御強い fact11: もし仮になにがしかの物が御強いとすればそれは示す fact12: 仮に「その業界他社は果てし無くない」ということは間違っていればそのキャスト演算子は真ん丸い fact13: 「あのマックレイカーズは真ん丸い」ということは事実である fact14: もしもそのキャスト演算子が真ん丸いならそのグルーは御強い fact15: 「もし御熱が果てし無いならばそれは示さない」ということは正しい fact16: もし仮に甘ーくない物があるとしたらその業界他社は御強くてかつそれはふてぶてしい fact17: もし仮にそのグルーが真ん丸いとすればそのキャスト演算子は御強い fact18: その業界他社は示すかまたは果てし無い fact19: もしその業界他社が御強いならこのレディーは真ん丸い fact20: 「そのキャスト演算子は示さないけれど捕まる」ということは正しいということはない fact21: このとがが梅毒菌だけど暗くない fact22: 仮にこのとがは梅毒菌であるが暗くないとすれば観察である
fact2 & fact4 & fact12 -> int1: 「そのキャスト演算子は真ん丸い」ということは本当だ; int1 & fact14 -> int2: そのグルーは御強い; fact11 -> int3: 仮に「そのグルーは御強い」ということは成り立つとすればそれは示す; int2 & int3 -> hypothesis;
このレディーは果てし無い
fact28 -> int4: もしこのレディーが真ん丸い一方でそれは御熱でないならばそれは果てし無い; fact29 -> int5: そのグルーが擽ったいならば甘ーくない; fact26 & fact30 -> int6: このとがは観察である; fact25 & int6 -> int7: そのグルーは擽ったい; int5 & int7 -> int8: そのグルーは甘ーくない; int8 -> int9: 甘ーくない物はある; int9 & fact27 -> int10: その業界他社は御強いししかもふてぶてしい; int10 -> int11: その業界他社は御強い; fact24 & int11 -> int12: このレディーは真ん丸い; fact23 -> int13: 「「示さないが捕まる」ということは誤りである」ものはある;
$facts$ = fact1: 仮に「このとがは観察だ」ということは確かであるならそのグルーは擽ったい fact2: その業界他社は御熱であるか果てし無いかもしくは両方ともだ fact3: 仮になんらかのものが擽ったいとすれば甘ーいということはない fact4: もしその業界他社が御熱だとしたらそのキャスト演算子は真ん丸い fact5: 何らかの物は御強いけれど捕まらない fact6: もし真ん丸いものは御熱でないならば「それは果てし無い」ということは事実だ fact7: もしその業界他社が示すとしたらそのグルーは果てし無い fact8: その信頼醸成は真ん丸い fact9: 真ん丸いものは示す fact10: もし仮にその業界他社が果てし無いとするとそれは御強い fact11: もし仮になにがしかの物が御強いとすればそれは示す fact12: 仮に「その業界他社は果てし無くない」ということは間違っていればそのキャスト演算子は真ん丸い fact13: 「あのマックレイカーズは真ん丸い」ということは事実である fact14: もしもそのキャスト演算子が真ん丸いならそのグルーは御強い fact15: 「もし御熱が果てし無いならばそれは示さない」ということは正しい fact16: もし仮に甘ーくない物があるとしたらその業界他社は御強くてかつそれはふてぶてしい fact17: もし仮にそのグルーが真ん丸いとすればそのキャスト演算子は御強い fact18: その業界他社は示すかまたは果てし無い fact19: もしその業界他社が御強いならこのレディーは真ん丸い fact20: 「そのキャスト演算子は示さないけれど捕まる」ということは正しいということはない fact21: このとがが梅毒菌だけど暗くない fact22: 仮にこのとがは梅毒菌であるが暗くないとすれば観察である ; $hypothesis$ = そのグルーは示さない ; $proof$ = 
fact2 & fact4 & fact12 -> int1: 「そのキャスト演算子は真ん丸い」ということは本当だ; int1 & fact14 -> int2: そのグルーは御強い; fact11 -> int3: 仮に「そのグルーは御強い」ということは成り立つとすればそれは示す; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「このとがは観察だ」ということは確かであるならそのグルーは擽ったい
事実2: その業界他社は御熱であるか果てし無いかもしくは両方ともだ
事実3: 仮になんらかのものが擽ったいとすれば甘ーいということはない
事実4: もしその業界他社が御熱だとしたらそのキャスト演算子は真ん丸い
事実5: 何らかの物は御強いけれど捕まらない
事実6: もし真ん丸いものは御熱でないならば「それは果てし無い」ということは事実だ
事実7: もしその業界他社が示すとしたらそのグルーは果てし無い
事実8: その信頼醸成は真ん丸い
事実9: 真ん丸いものは示す
事実10: もし仮にその業界他社が果てし無いとするとそれは御強い
事実11: もし仮になにがしかの物が御強いとすればそれは示す
事実12: 仮に「その業界他社は果てし無くない」ということは間違っていればそのキャスト演算子は真ん丸い
事実13: 「あのマックレイカーズは真ん丸い」ということは事実である
事実14: もしもそのキャスト演算子が真ん丸いならそのグルーは御強い
事実15: 「もし御熱が果てし無いならばそれは示さない」ということは正しい
事実16: もし仮に甘ーくない物があるとしたらその業界他社は御強くてかつそれはふてぶてしい
事実17: もし仮にそのグルーが真ん丸いとすればそのキャスト演算子は御強い
事実18: その業界他社は示すかまたは果てし無い
事実19: もしその業界他社が御強いならこのレディーは真ん丸い
事実20: 「そのキャスト演算子は示さないけれど捕まる」ということは正しいということはない
事実21: このとがが梅毒菌だけど暗くない
事実22: 仮にこのとがは梅毒菌であるが暗くないとすれば観察である

仮説: そのグルーは示さない
1. 事実2と事実4と事実12から、推論1: "「そのキャスト演算子は真ん丸い」ということは本当だ"が導かれる
2. 推論1と事実14から、推論2: "そのグルーは御強い"が導かれる
3. 事実11から、推論3: "仮に「そのグルーは御強い」ということは成り立つとすればそれは示す"が導かれる
4. 推論2と推論3から、仮説が否定される

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