その金属内は欲すということはない
fact1: 仮に何らかの物は顎叩きでないとしたら「立て易くないしさらにそれは欲す」ということは成り立つ fact2: その金属内はバウンディングボックスである fact3: 「その金属内は豪遊する」ということは真実だ fact4: この慶安元年は使用し難くて取り寄せる fact5: もし仮になんらかの物が豪遊しないならば欲すないしそれは事業化出来る fact6: 仮に「至適リンパ節廓清である」ものがあるならこの慶安元年は事業化出来る fact7: この慶安元年は欲す fact8: その金属内は立て易いということはない fact9: もしも「その金属内は欲すない」ということは成り立つとしたら「それは内属しないし豪遊しない」ということは成り立たない fact10: 「あの周波数応答Ｈは豪遊する」ということは真実だ fact11: 仮に「「内属しないし更に豪遊しない」ということは成り立たない」物があるとするとその不快は内属する fact12: もしもその金属内が顎叩きであるししかも豪遊するならこの慶安元年は事業化出来ない fact13: 仮にこの慶安元年が欲すないとすればその金属内は欲すない fact14: もしも顎叩きは豪遊しないとしたら「それは欲すない」ということは正しい fact15: なんらかのものは至適リンパ節廓清である fact16: この慶安元年が欲すないとするとそれは豪遊しないけど事業化出来る fact17: もしこの慶安元年が至適リンパ節廓清でないとするとその金属内は欲すない fact18: もしその金属内が顎叩きでないとすれば立て易くない fact19: 仮になんらかのものは顎叩きでないとするとそれは立て易いということはない
void -> assump1: 以下のように仮定する。「その金属内は顎叩きだ」ということは成り立つ; assump1 & fact3 -> int1: その金属内は顎叩きでそれに豪遊する; int1 & fact12 -> int2: この慶安元年は事業化出来ない; fact6 & fact15 -> int3: この慶安元年は事業化出来る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その金属内は顎叩きでない; fact1 -> int6: 仮にその金属内が顎叩きでないならば立て易くないしさらに欲す; int5 & int6 -> int7: その金属内は立て易くないけれど欲す; int7 -> hypothesis;
その不快は内属するし立て易い
$facts$ = fact1: 仮に何らかの物は顎叩きでないとしたら「立て易くないしさらにそれは欲す」ということは成り立つ fact2: その金属内はバウンディングボックスである fact3: 「その金属内は豪遊する」ということは真実だ fact4: この慶安元年は使用し難くて取り寄せる fact5: もし仮になんらかの物が豪遊しないならば欲すないしそれは事業化出来る fact6: 仮に「至適リンパ節廓清である」ものがあるならこの慶安元年は事業化出来る fact7: この慶安元年は欲す fact8: その金属内は立て易いということはない fact9: もしも「その金属内は欲すない」ということは成り立つとしたら「それは内属しないし豪遊しない」ということは成り立たない fact10: 「あの周波数応答Ｈは豪遊する」ということは真実だ fact11: 仮に「「内属しないし更に豪遊しない」ということは成り立たない」物があるとするとその不快は内属する fact12: もしもその金属内が顎叩きであるししかも豪遊するならこの慶安元年は事業化出来ない fact13: 仮にこの慶安元年が欲すないとすればその金属内は欲すない fact14: もしも顎叩きは豪遊しないとしたら「それは欲すない」ということは正しい fact15: なんらかのものは至適リンパ節廓清である fact16: この慶安元年が欲すないとするとそれは豪遊しないけど事業化出来る fact17: もしこの慶安元年が至適リンパ節廓清でないとするとその金属内は欲すない fact18: もしその金属内が顎叩きでないとすれば立て易くない fact19: 仮になんらかのものは顎叩きでないとするとそれは立て易いということはない ; $hypothesis$ = その金属内は欲すということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その金属内は顎叩きだ」ということは成り立つ; assump1 & fact3 -> int1: その金属内は顎叩きでそれに豪遊する; int1 & fact12 -> int2: この慶安元年は事業化出来ない; fact6 & fact15 -> int3: この慶安元年は事業化出来る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その金属内は顎叩きでない; fact1 -> int6: 仮にその金属内が顎叩きでないならば立て易くないしさらに欲す; int5 & int6 -> int7: その金属内は立て易くないけれど欲す; int7 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物は顎叩きでないとしたら「立て易くないしさらにそれは欲す」ということは成り立つ
事実2: その金属内はバウンディングボックスである
事実3: 「その金属内は豪遊する」ということは真実だ
事実4: この慶安元年は使用し難くて取り寄せる
事実5: もし仮になんらかの物が豪遊しないならば欲すないしそれは事業化出来る
事実6: 仮に「至適リンパ節廓清である」ものがあるならこの慶安元年は事業化出来る
事実7: この慶安元年は欲す
事実8: その金属内は立て易いということはない
事実9: もしも「その金属内は欲すない」ということは成り立つとしたら「それは内属しないし豪遊しない」ということは成り立たない
事実10: 「あの周波数応答Ｈは豪遊する」ということは真実だ
事実11: 仮に「「内属しないし更に豪遊しない」ということは成り立たない」物があるとするとその不快は内属する
事実12: もしもその金属内が顎叩きであるししかも豪遊するならこの慶安元年は事業化出来ない
事実13: 仮にこの慶安元年が欲すないとすればその金属内は欲すない
事実14: もしも顎叩きは豪遊しないとしたら「それは欲すない」ということは正しい
事実15: なんらかのものは至適リンパ節廓清である
事実16: この慶安元年が欲すないとするとそれは豪遊しないけど事業化出来る
事実17: もしこの慶安元年が至適リンパ節廓清でないとするとその金属内は欲すない
事実18: もしその金属内が顎叩きでないとすれば立て易くない
事実19: 仮になんらかのものは顎叩きでないとするとそれは立て易いということはない

仮説: その金属内は欲すということはない
1. 仮定1: 以下のように仮定する。「その金属内は顎叩きだ」ということは成り立つ
2. 仮定1と事実3から、推論1: "その金属内は顎叩きでそれに豪遊する"が導かれる
3. 推論1と事実12から、推論2: "この慶安元年は事業化出来ない"が導かれる
4. 事実6と事実15から、推論3: "この慶安元年は事業化出来る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その金属内は顎叩きでない"が導かれる
7. 事実1から、推論6: "仮にその金属内が顎叩きでないならば立て易くないしさらに欲す"が導かれる
8. 推論5と推論6から、推論7: "その金属内は立て易くないけれど欲す"が導かれる
9. 推論7から、仮説が否定される

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