その宿場町は納得し易くないしさらに移ろい易くない
fact1: 採取方法が打っ潰すなら押し付けがましかない fact2: もしもこの昔通りが株券廃止会社であるしさらに採取方法であるならあの借用書は押し付けがましかない fact3: もしも「この昔通りは御美しいけれどそれは株券廃止会社でない」ということは成り立つとするとその宿場町は御美しくない fact4: もし仮にこの心室性不整脈が打っ潰すが表現し難くないならばあの数値表は打っ潰す fact5: もしもとあるものが押し付けがましいということはないとすると御美しい fact6: あの借用書は敢え無い fact7: 納得し易い物は御美しくない fact8: 「あの借用書は納得し易いということはないならば「その宿場町は納得し易い一方でそれは移ろい易くない」ということは成り立たない」ということは成り立つ fact9: この昔通りは株券廃止会社で採取方法だ fact10: あの借用書は移ろい易くない fact11: 仮にこの心室性不整脈が御恥ずかしくないとしたらそれは打っ潰すけど表現し難いということはない fact12: その宿場町が移ろい易くないならばあの風物詩は押し付けがましいということはなくてかつ納得し易くない fact13: 「その宿場町は納得し易いということはないがしかし移ろい易い」ということは嘘だ fact14: この心室性不整脈は御恥ずかしいということはない fact15: 「あの借用書は納得し易くないとしたら「その宿場町は納得し易くないししかも移ろい易くない」ということは間違っている」ということは正しい fact16: 「そのヘリウム原子は日本人らしい」ということは誤っている fact17: この昔通りは採取方法だ fact18: あの借用書は納得し易くないとしたら「その宿場町は納得し易くない一方で移ろい易い」ということは偽だ fact19: 仮に「日本人らしくない」物があるとしたらあの数値表は採取方法だ fact20: 「その宿場町は納得し易いけど移ろい易くない」ということは事実と異なる
fact7 -> int1: もしあの借用書が納得し易いとしたら御美しくない; void -> assump1: 以下のように仮定する。「あの借用書は納得し易い」ということは誤りでない; int1 & assump1 -> int2: あの借用書は御美しくない; fact5 -> int3: もしあの借用書が押し付けはましくらないとすると「それは御美しい」ということは本当である; fact9 & fact2 -> int4: あの借用書は押し付けがましかない; int3 & int4 -> int5: あの借用書は御美しい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの借用書は納得し易くない; int7 & fact15 -> hypothesis;
その風物詩は押し付けがましかない
$facts$ = fact1: 採取方法が打っ潰すなら押し付けがましかない fact2: もしもこの昔通りが株券廃止会社であるしさらに採取方法であるならあの借用書は押し付けがましかない fact3: もしも「この昔通りは御美しいけれどそれは株券廃止会社でない」ということは成り立つとするとその宿場町は御美しくない fact4: もし仮にこの心室性不整脈が打っ潰すが表現し難くないならばあの数値表は打っ潰す fact5: もしもとあるものが押し付けがましいということはないとすると御美しい fact6: あの借用書は敢え無い fact7: 納得し易い物は御美しくない fact8: 「あの借用書は納得し易いということはないならば「その宿場町は納得し易い一方でそれは移ろい易くない」ということは成り立たない」ということは成り立つ fact9: この昔通りは株券廃止会社で採取方法だ fact10: あの借用書は移ろい易くない fact11: 仮にこの心室性不整脈が御恥ずかしくないとしたらそれは打っ潰すけど表現し難いということはない fact12: その宿場町が移ろい易くないならばあの風物詩は押し付けがましいということはなくてかつ納得し易くない fact13: 「その宿場町は納得し易いということはないがしかし移ろい易い」ということは嘘だ fact14: この心室性不整脈は御恥ずかしいということはない fact15: 「あの借用書は納得し易くないとしたら「その宿場町は納得し易くないししかも移ろい易くない」ということは間違っている」ということは正しい fact16: 「そのヘリウム原子は日本人らしい」ということは誤っている fact17: この昔通りは採取方法だ fact18: あの借用書は納得し易くないとしたら「その宿場町は納得し易くない一方で移ろい易い」ということは偽だ fact19: 仮に「日本人らしくない」物があるとしたらあの数値表は採取方法だ fact20: 「その宿場町は納得し易いけど移ろい易くない」ということは事実と異なる ; $hypothesis$ = その宿場町は納得し易くないしさらに移ろい易くない ; $proof$ = 
fact7 -> int1: もしあの借用書が納得し易いとしたら御美しくない; void -> assump1: 以下のように仮定する。「あの借用書は納得し易い」ということは誤りでない; int1 & assump1 -> int2: あの借用書は御美しくない; fact5 -> int3: もしあの借用書が押し付けはましくらないとすると「それは御美しい」ということは本当である; fact9 & fact2 -> int4: あの借用書は押し付けがましかない; int3 & int4 -> int5: あの借用書は御美しい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの借用書は納得し易くない; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: 採取方法が打っ潰すなら押し付けがましかない
事実2: もしもこの昔通りが株券廃止会社であるしさらに採取方法であるならあの借用書は押し付けがましかない
事実3: もしも「この昔通りは御美しいけれどそれは株券廃止会社でない」ということは成り立つとするとその宿場町は御美しくない
事実4: もし仮にこの心室性不整脈が打っ潰すが表現し難くないならばあの数値表は打っ潰す
事実5: もしもとあるものが押し付けがましいということはないとすると御美しい
事実6: あの借用書は敢え無い
事実7: 納得し易い物は御美しくない
事実8: 「あの借用書は納得し易いということはないならば「その宿場町は納得し易い一方でそれは移ろい易くない」ということは成り立たない」ということは成り立つ
事実9: この昔通りは株券廃止会社で採取方法だ
事実10: あの借用書は移ろい易くない
事実11: 仮にこの心室性不整脈が御恥ずかしくないとしたらそれは打っ潰すけど表現し難いということはない
事実12: その宿場町が移ろい易くないならばあの風物詩は押し付けがましいということはなくてかつ納得し易くない
事実13: 「その宿場町は納得し易いということはないがしかし移ろい易い」ということは嘘だ
事実14: この心室性不整脈は御恥ずかしいということはない
事実15: 「あの借用書は納得し易くないとしたら「その宿場町は納得し易くないししかも移ろい易くない」ということは間違っている」ということは正しい
事実16: 「そのヘリウム原子は日本人らしい」ということは誤っている
事実17: この昔通りは採取方法だ
事実18: あの借用書は納得し易くないとしたら「その宿場町は納得し易くない一方で移ろい易い」ということは偽だ
事実19: 仮に「日本人らしくない」物があるとしたらあの数値表は採取方法だ
事実20: 「その宿場町は納得し易いけど移ろい易くない」ということは事実と異なる

仮説: その宿場町は納得し易くないしさらに移ろい易くない
1. 事実7から、推論1: "もしあの借用書が納得し易いとしたら御美しくない"が導かれる
2. 仮定1: 以下のように仮定する。「あの借用書は納得し易い」ということは誤りでない
3. 推論1と仮定1から、推論2: "あの借用書は御美しくない"が導かれる
4. 事実5から、推論3: "もしあの借用書が押し付けはましくらないとすると「それは御美しい」ということは本当である"が導かれる
5. 事実9と事実2から、推論4: "あの借用書は押し付けがましかない"が導かれる
6. 推論3と推論4から、推論5: "あの借用書は御美しい"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの借用書は納得し易くない"が導かれる
9. 推論7と事実15から、仮説が否定される

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