「あの了承は懐こいかもしくは協業であるかもしくは両方である」ということは成り立たない
fact1: 仮にあの老人性痴呆症はきもいとすると「「その総無事令は湿っぽくないし加えて大変身しない」ということは成り立つ」ということは正しくない fact2: もし仮に「その総無事令は湿っぽくなくて大変身しない」ということは成り立たないとすればあの日本版ＬＬＰは如才無い fact3: もし仮にあの老人性痴呆症はきもいとすると「その総無事令は湿っぽいがしかし大変身しない」ということは偽である fact4: もしも「「あの信義は女の子らしい一方で酸っぱくない」ということは確かである」ということは成り立つということはないとするとそれは御誘いする fact5: もしもその適用が保てるとしたらあの了承はポータブルプレイヤーでない fact6: もし仮にあの信義が湿っぽいということはないかまたはそれが保てるかもしくは両方であるならばこの同水準は湿っぽくない fact7: もしその日本版ＬＬＰが如才無いならばその適用は保てる fact8: 「あの信義は女の子らしいけど酸っぱいということはない」ということは嘘である fact9: 「その総無事令は湿っぽいがしかし大変身しない」ということは偽である fact10: 「「ポータブルプレイヤーでないし更に協業でない」ものはあるとすると「あの老人性痴呆症は如才無くない」ということは事実である」ということは確かである fact11: あの信義は御誘いするとすれば「あの老人性痴呆症はきもい」ということは真実だ fact12: もしもあの信義は酸っぱいなら「それは御誘いする」ということは事実である fact13: 「あの信義は女の子らしいしさらに酸っぱい」ということは成り立つということはない fact14: もし仮にその総無事令が湿っぽいならその日本版ＬＬＰは如才無い fact15: もし仮に「何らかの物は如才無くない」ということは間違いでないとしたらあの信義は湿っぽいということはないかまたは保てるかあるいは両方ともだ fact16: 「きもいものは御誘いする」ということは確かである fact17: もし何らかのものはポータブルプレイヤーでないとすれば「それは協業だ」ということは本当だ
fact4 & fact8 -> int1: あの信義は御誘いする; int1 & fact11 -> int2: あの老人性痴呆症はきもい; int2 & fact1 -> int3: 「その総無事令は湿っぽくないし更に大変身しない」ということは事実と異なる; int3 & fact2 -> int4: その日本版ＬＬＰは如才無い; int4 & fact7 -> int5: 「その適用は保てる」ということは正しい; int5 & fact5 -> int6: あの了承はポータブルプレイヤーでない; fact17 -> int7: もしあの了承はポータブルプレイヤーでないとしたら「それは協業である」ということは真実だ; int6 & int7 -> int8: あの了承は協業である; int8 -> hypothesis;
この同水準は御誘いする
fact19 -> int9: もしこの同水準はきもいなら「御誘いする」ということは成り立つ;
$facts$ = fact1: 仮にあの老人性痴呆症はきもいとすると「「その総無事令は湿っぽくないし加えて大変身しない」ということは成り立つ」ということは正しくない fact2: もし仮に「その総無事令は湿っぽくなくて大変身しない」ということは成り立たないとすればあの日本版ＬＬＰは如才無い fact3: もし仮にあの老人性痴呆症はきもいとすると「その総無事令は湿っぽいがしかし大変身しない」ということは偽である fact4: もしも「「あの信義は女の子らしい一方で酸っぱくない」ということは確かである」ということは成り立つということはないとするとそれは御誘いする fact5: もしもその適用が保てるとしたらあの了承はポータブルプレイヤーでない fact6: もし仮にあの信義が湿っぽいということはないかまたはそれが保てるかもしくは両方であるならばこの同水準は湿っぽくない fact7: もしその日本版ＬＬＰが如才無いならばその適用は保てる fact8: 「あの信義は女の子らしいけど酸っぱいということはない」ということは嘘である fact9: 「その総無事令は湿っぽいがしかし大変身しない」ということは偽である fact10: 「「ポータブルプレイヤーでないし更に協業でない」ものはあるとすると「あの老人性痴呆症は如才無くない」ということは事実である」ということは確かである fact11: あの信義は御誘いするとすれば「あの老人性痴呆症はきもい」ということは真実だ fact12: もしもあの信義は酸っぱいなら「それは御誘いする」ということは事実である fact13: 「あの信義は女の子らしいしさらに酸っぱい」ということは成り立つということはない fact14: もし仮にその総無事令が湿っぽいならその日本版ＬＬＰは如才無い fact15: もし仮に「何らかの物は如才無くない」ということは間違いでないとしたらあの信義は湿っぽいということはないかまたは保てるかあるいは両方ともだ fact16: 「きもいものは御誘いする」ということは確かである fact17: もし何らかのものはポータブルプレイヤーでないとすれば「それは協業だ」ということは本当だ ; $hypothesis$ = 「あの了承は懐こいかもしくは協業であるかもしくは両方である」ということは成り立たない ; $proof$ = 
fact4 & fact8 -> int1: あの信義は御誘いする; int1 & fact11 -> int2: あの老人性痴呆症はきもい; int2 & fact1 -> int3: 「その総無事令は湿っぽくないし更に大変身しない」ということは事実と異なる; int3 & fact2 -> int4: その日本版ＬＬＰは如才無い; int4 & fact7 -> int5: 「その適用は保てる」ということは正しい; int5 & fact5 -> int6: あの了承はポータブルプレイヤーでない; fact17 -> int7: もしあの了承はポータブルプレイヤーでないとしたら「それは協業である」ということは真実だ; int6 & int7 -> int8: あの了承は協業である; int8 -> hypothesis; __DISPROVED__
事実1: 仮にあの老人性痴呆症はきもいとすると「「その総無事令は湿っぽくないし加えて大変身しない」ということは成り立つ」ということは正しくない
事実2: もし仮に「その総無事令は湿っぽくなくて大変身しない」ということは成り立たないとすればあの日本版ＬＬＰは如才無い
事実3: もし仮にあの老人性痴呆症はきもいとすると「その総無事令は湿っぽいがしかし大変身しない」ということは偽である
事実4: もしも「「あの信義は女の子らしい一方で酸っぱくない」ということは確かである」ということは成り立つということはないとするとそれは御誘いする
事実5: もしもその適用が保てるとしたらあの了承はポータブルプレイヤーでない
事実6: もし仮にあの信義が湿っぽいということはないかまたはそれが保てるかもしくは両方であるならばこの同水準は湿っぽくない
事実7: もしその日本版ＬＬＰが如才無いならばその適用は保てる
事実8: 「あの信義は女の子らしいけど酸っぱいということはない」ということは嘘である
事実9: 「その総無事令は湿っぽいがしかし大変身しない」ということは偽である
事実10: 「「ポータブルプレイヤーでないし更に協業でない」ものはあるとすると「あの老人性痴呆症は如才無くない」ということは事実である」ということは確かである
事実11: あの信義は御誘いするとすれば「あの老人性痴呆症はきもい」ということは真実だ
事実12: もしもあの信義は酸っぱいなら「それは御誘いする」ということは事実である
事実13: 「あの信義は女の子らしいしさらに酸っぱい」ということは成り立つということはない
事実14: もし仮にその総無事令が湿っぽいならその日本版ＬＬＰは如才無い
事実15: もし仮に「何らかの物は如才無くない」ということは間違いでないとしたらあの信義は湿っぽいということはないかまたは保てるかあるいは両方ともだ
事実16: 「きもいものは御誘いする」ということは確かである
事実17: もし何らかのものはポータブルプレイヤーでないとすれば「それは協業だ」ということは本当だ

仮説: 「あの了承は懐こいかもしくは協業であるかもしくは両方である」ということは成り立たない
1. 事実4と事実8から、推論1: "あの信義は御誘いする"が導かれる
2. 推論1と事実11から、推論2: "あの老人性痴呆症はきもい"が導かれる
3. 推論2と事実1から、推論3: "「その総無事令は湿っぽくないし更に大変身しない」ということは事実と異なる"が導かれる
4. 推論3と事実2から、推論4: "その日本版ＬＬＰは如才無い"が導かれる
5. 推論4と事実7から、推論5: "「その適用は保てる」ということは正しい"が導かれる
6. 推論5と事実5から、推論6: "あの了承はポータブルプレイヤーでない"が導かれる
7. 事実17から、推論7: "もしあの了承はポータブルプレイヤーでないとしたら「それは協業である」ということは真実だ"が導かれる
8. 推論6と推論7から、推論8: "あの了承は協業である"が導かれる
9. 推論8から、仮説が否定される

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