その点数は如かない
fact1: ある物は悲しけれどＪＲＴＣでない fact2: 憎しアジアンテイストは御祝いだ fact3: もし仮にその点数は憎しならば「それは御分かるしそれは手厳しくない」ということは正しくない fact4: 「もしもその点数がちりちりするとすればその月猫はアジアンテイストだ」ということは事実だ fact5: 「「悲ししさらにＪＲＴＣである」ということは成り立たない」物はある fact6: もし仮にその点数はちりちりするしその上自己責任論であるとしたら如く fact7: 「その長州兵は悲しがしかしＪＲＴＣでない」ということは間違いだ fact8: もしも何かはちりちりするしその上自己責任論であるとすれば如く fact9: もし仮に「その月猫はアジアンテイストである」ということは確かだとすればあの共通鍵はアジアンテイストでないがしかしそれは憎し fact10: もし仮に「ＪＲＴＣである」ものがあるとしたらあの駅舎は悲しない fact11: 「その点数はちりちりするしそれに自己責任論である」ということは成り立たない fact12: もしも「その長州兵は憎し」ということは成り立つならあの共通鍵は悲し fact13: もし何らかの物がアジアンテイストでないけれど憎しとすれば御祝いだ fact14: 「あの共通鍵は御祝いである」ということは事実であるならあの駅舎は悲し fact15: 「「その点数はちりちりしない一方で自己責任論だ」ということは偽である」ということは正しいならその月猫はアジアンテイストである fact16: その点数はちりちりしない fact17: 「あの共通鍵はアジアンテイストでない」ということは成り立つ fact18: もしも「その月猫はアジアンテイストである」ということは確かならばあの共通鍵はアジアンテイストであるということはない fact19: 仮に「「悲しがしかしＪＲＴＣでない」ということは成り立たない」物があればあの駅舎は悲しない fact20: 仮にあの共通鍵がアジアンテイストであるし更に憎しとすると御祝いだ fact21: 「その長州兵は悲しし更にＪＲＴＣだ」ということは誤っている fact22: もし「あるものはちりちりしないがしかし自己責任論だ」ということは事実と異ならないとすれば「如く」ということは本当だ
void -> assump1: 以下のように仮定する。「その点数はちりちりしない一方で自己責任論だ」ということは間違っている; fact15 & assump1 -> int1: その月猫はアジアンテイストだ; int1 & fact9 -> int2: あの共通鍵はアジアンテイストでない一方で憎し; fact13 -> int3: もしあの共通鍵がアジアンテイストでないけどそれが憎しとすればそれは御祝いだ; int2 & int3 -> int4: あの共通鍵は御祝いだ; int4 & fact14 -> int5: あの駅舎は悲し; fact7 -> int6: 「「悲しけれどＪＲＴＣでない」ということは成り立たない」物はある; int6 & fact19 -> int7: 「あの駅舎は悲しない」ということは確かである; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その点数はちりちりしない一方で自己責任論だ; fact22 -> int10: もしその点数がちりちりしないが自己責任論であるとすれば如く; int9 & int10 -> hypothesis;
「「御分かるし更に手厳しくない」ということは間違いな」物はある
$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$ = 
void -> assump1: 以下のように仮定する。「その点数はちりちりしない一方で自己責任論だ」ということは間違っている; fact15 & assump1 -> int1: その月猫はアジアンテイストだ; int1 & fact9 -> int2: あの共通鍵はアジアンテイストでない一方で憎し; fact13 -> int3: もしあの共通鍵がアジアンテイストでないけどそれが憎しとすればそれは御祝いだ; int2 & int3 -> int4: あの共通鍵は御祝いだ; int4 & fact14 -> int5: あの駅舎は悲し; fact7 -> int6: 「「悲しけれどＪＲＴＣでない」ということは成り立たない」物はある; int6 & fact19 -> int7: 「あの駅舎は悲しない」ということは確かである; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その点数はちりちりしない一方で自己責任論だ; fact22 -> int10: もしその点数がちりちりしないが自己責任論であるとすれば如く; int9 & int10 -> 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. 仮定1: 以下のように仮定する。「その点数はちりちりしない一方で自己責任論だ」ということは間違っている
2. 事実15と仮定1から、推論1: "その月猫はアジアンテイストだ"が導かれる
3. 推論1と事実9から、推論2: "あの共通鍵はアジアンテイストでない一方で憎し"が導かれる
4. 事実13から、推論3: "もしあの共通鍵がアジアンテイストでないけどそれが憎しとすればそれは御祝いだ"が導かれる
5. 推論2と推論3から、推論4: "あの共通鍵は御祝いだ"が導かれる
6. 推論4と事実14から、推論5: "あの駅舎は悲し"が導かれる
7. 事実7から、推論6: "「「悲しけれどＪＲＴＣでない」ということは成り立たない」物はある"が導かれる
8. 推論6と事実19から、推論7: "「あの駅舎は悲しない」ということは確かである"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その点数はちりちりしない一方で自己責任論だ"が導かれる
11. 事実22から、推論10: "もしその点数がちりちりしないが自己責任論であるとすれば如く"が導かれる
12. 推論9と推論10から、仮説が否定される

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