その不随意筋は握り拳でない
fact1: 「この本寺は忌ま忌ましいししかもずれ込む」ということは間違いだ fact2: もしも何らかの物はダイヤモンドダストだとすれば「この本寺は忌ま忌ましいししかもそれはずれ込む」ということは事実と異なる fact3: 「ダイヤモンドダストな」ものはあるとしたら「この本寺は忌ま忌ましかないけれどそれはずれ込む」ということは間違いである fact4: 仮にある物は福祉改革でないならカシミアでそれに生活勉強だ fact5: もしもこの本寺が忌ま忌ましいものでありダイヤモンドダストでないならその不随意筋は握り拳である fact6: あの御互い相手はダイヤモンドダストだ fact7: もしなにかは利活用するということはないかもしくは騒ぎ出さないならば「知恩院だ」ということは確かだ fact8: このキャラクターがカシミアでないとするとその不随意筋は握り拳でないけれどそれはカシミアだ fact9: なにがしかのものがずれ込まないかまたは忌ま忌ましいということはないとしたら忌ま忌ましいということはない fact10: 仮にそのタカナミ・ストアが納得し易いとしたらそれは利活用するということはないか騒ぎ出さないか両方ともである fact11: もし仮に「この本寺は忌ま忌ましかないがずれ込む」ということは事実と異なるならこのキャラクターはカシミアでない fact12: もし仮にその不随意筋がずれ込まないとすればこの本寺は握り拳であるということはないけれどずれ込む fact13: もしもそのタカナミ・ストアが福祉改革でないかもしくは疎ましくらないかまたはどちらもであるならこの共和制は福祉改革でない fact14: もしこのキャラクターが忌ま忌ましかないとするとこの本寺はカシミアであるということはないがしかし忌ま忌ましい fact15: 「もしもあの鑒真和尚・天台宗が解禁するならそのタカナミ・ストアは納得し易い」ということは本当である fact16: 知恩院は福祉改革であるということはないかまたは疎ましくらないか両方ともである fact17: 「この本寺は忌ま忌ましい」ということは正しいならこのキャラクターはカシミアでない fact18: もし仮に「このキャラクターはずれ込まない」ということは成り立つならばあの本寺は忌ま忌ましいけどダイヤモンドダストだということはない fact19: 「このキャラクターはカシミアでない一方で握り拳である」ということは間違いである fact20: その不随意筋はカシミアである fact21: 仮になにがしかのものはずれ込むとしたら「このキャラクターはカシミアでないが握り拳である」ということは成り立たない
fact6 -> int1: ある物はダイヤモンドダストである; int1 & fact3 -> int2: 「この本寺は忌ま忌ましかないがそれはずれ込む」ということは嘘である; int2 & fact11 -> int3: このキャラクターはカシミアでない; int3 & fact8 -> int4: その不随意筋は握り拳でないがしかしカシミアである; int4 -> hypothesis;
その不随意筋は握り拳である
fact23 -> int5: この共和制が福祉改革でないとするとカシミアであるしかつそれは生活勉強だ; fact22 -> int6: もしそのタカナミ・ストアは知恩院であるなら福祉改革でないかまたは疎ましくらないかあるいはどちらもだ; fact26 -> int7: そのタカナミ・ストアが利活用しないかまたは騒ぎ出すということはないかもしくは両方だとしたら「それは知恩院だ」ということは嘘だということはない;
$facts$ = fact1: 「この本寺は忌ま忌ましいししかもずれ込む」ということは間違いだ fact2: もしも何らかの物はダイヤモンドダストだとすれば「この本寺は忌ま忌ましいししかもそれはずれ込む」ということは事実と異なる fact3: 「ダイヤモンドダストな」ものはあるとしたら「この本寺は忌ま忌ましかないけれどそれはずれ込む」ということは間違いである fact4: 仮にある物は福祉改革でないならカシミアでそれに生活勉強だ fact5: もしもこの本寺が忌ま忌ましいものでありダイヤモンドダストでないならその不随意筋は握り拳である fact6: あの御互い相手はダイヤモンドダストだ fact7: もしなにかは利活用するということはないかもしくは騒ぎ出さないならば「知恩院だ」ということは確かだ fact8: このキャラクターがカシミアでないとするとその不随意筋は握り拳でないけれどそれはカシミアだ fact9: なにがしかのものがずれ込まないかまたは忌ま忌ましいということはないとしたら忌ま忌ましいということはない fact10: 仮にそのタカナミ・ストアが納得し易いとしたらそれは利活用するということはないか騒ぎ出さないか両方ともである fact11: もし仮に「この本寺は忌ま忌ましかないがずれ込む」ということは事実と異なるならこのキャラクターはカシミアでない fact12: もし仮にその不随意筋がずれ込まないとすればこの本寺は握り拳であるということはないけれどずれ込む fact13: もしもそのタカナミ・ストアが福祉改革でないかもしくは疎ましくらないかまたはどちらもであるならこの共和制は福祉改革でない fact14: もしこのキャラクターが忌ま忌ましかないとするとこの本寺はカシミアであるということはないがしかし忌ま忌ましい fact15: 「もしもあの鑒真和尚・天台宗が解禁するならそのタカナミ・ストアは納得し易い」ということは本当である fact16: 知恩院は福祉改革であるということはないかまたは疎ましくらないか両方ともである fact17: 「この本寺は忌ま忌ましい」ということは正しいならこのキャラクターはカシミアでない fact18: もし仮に「このキャラクターはずれ込まない」ということは成り立つならばあの本寺は忌ま忌ましいけどダイヤモンドダストだということはない fact19: 「このキャラクターはカシミアでない一方で握り拳である」ということは間違いである fact20: その不随意筋はカシミアである fact21: 仮になにがしかのものはずれ込むとしたら「このキャラクターはカシミアでないが握り拳である」ということは成り立たない ; $hypothesis$ = その不随意筋は握り拳でない ; $proof$ = 
fact6 -> int1: ある物はダイヤモンドダストである; int1 & fact3 -> int2: 「この本寺は忌ま忌ましかないがそれはずれ込む」ということは嘘である; int2 & fact11 -> int3: このキャラクターはカシミアでない; int3 & fact8 -> int4: その不随意筋は握り拳でないがしかしカシミアである; int4 -> hypothesis; __PROVED__
事実1: 「この本寺は忌ま忌ましいししかもずれ込む」ということは間違いだ
事実2: もしも何らかの物はダイヤモンドダストだとすれば「この本寺は忌ま忌ましいししかもそれはずれ込む」ということは事実と異なる
事実3: 「ダイヤモンドダストな」ものはあるとしたら「この本寺は忌ま忌ましかないけれどそれはずれ込む」ということは間違いである
事実4: 仮にある物は福祉改革でないならカシミアでそれに生活勉強だ
事実5: もしもこの本寺が忌ま忌ましいものでありダイヤモンドダストでないならその不随意筋は握り拳である
事実6: あの御互い相手はダイヤモンドダストだ
事実7: もしなにかは利活用するということはないかもしくは騒ぎ出さないならば「知恩院だ」ということは確かだ
事実8: このキャラクターがカシミアでないとするとその不随意筋は握り拳でないけれどそれはカシミアだ
事実9: なにがしかのものがずれ込まないかまたは忌ま忌ましいということはないとしたら忌ま忌ましいということはない
事実10: 仮にそのタカナミ・ストアが納得し易いとしたらそれは利活用するということはないか騒ぎ出さないか両方ともである
事実11: もし仮に「この本寺は忌ま忌ましかないがずれ込む」ということは事実と異なるならこのキャラクターはカシミアでない
事実12: もし仮にその不随意筋がずれ込まないとすればこの本寺は握り拳であるということはないけれどずれ込む
事実13: もしもそのタカナミ・ストアが福祉改革でないかもしくは疎ましくらないかまたはどちらもであるならこの共和制は福祉改革でない
事実14: もしこのキャラクターが忌ま忌ましかないとするとこの本寺はカシミアであるということはないがしかし忌ま忌ましい
事実15: 「もしもあの鑒真和尚・天台宗が解禁するならそのタカナミ・ストアは納得し易い」ということは本当である
事実16: 知恩院は福祉改革であるということはないかまたは疎ましくらないか両方ともである
事実17: 「この本寺は忌ま忌ましい」ということは正しいならこのキャラクターはカシミアでない
事実18: もし仮に「このキャラクターはずれ込まない」ということは成り立つならばあの本寺は忌ま忌ましいけどダイヤモンドダストだということはない
事実19: 「このキャラクターはカシミアでない一方で握り拳である」ということは間違いである
事実20: その不随意筋はカシミアである
事実21: 仮になにがしかのものはずれ込むとしたら「このキャラクターはカシミアでないが握り拳である」ということは成り立たない

仮説: その不随意筋は握り拳でない
1. 事実6から、推論1: "ある物はダイヤモンドダストである"が導かれる
2. 推論1と事実3から、推論2: "「この本寺は忌ま忌ましかないがそれはずれ込む」ということは嘘である"が導かれる
3. 推論2と事実11から、推論3: "このキャラクターはカシミアでない"が導かれる
4. 推論3と事実8から、推論4: "その不随意筋は握り拳でないがしかしカシミアである"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。