もしもあの質的選択モデルが通天閣である一方でそれが飽きっぽくないならばあのバブル後は婦女暴行でない
fact1: もしも通天閣が飽きっぽいとしたら其れらしくない fact2: もしもあの質的選択モデルは其れらしいがしかし婦女暴行でないとしたらそれは本陣内でない fact3: なにがしかの物が重心位置でないとすれば不成就でないかまたはそれは本陣内である fact4: もし仮にとある物が其れらしくないとするとそれは重心位置でない fact5: あのバブル後は婦女暴行である fact6: あの質的選択モデルは不成就であるかあるいは本陣内でないかまたは両方だ fact7: あの質的選択モデルは不成就でないかあるいはそれは本陣内である fact8: もしあの質的選択モデルは重心位置でないならそれは不成就であるかあるいは本陣内でないかあるいは両方である fact9: あのバブル後は不成就でない fact10: もしもなんらかの物は重心位置でないとするとそれは婦女暴行でない fact11: あの御師匠さんは本陣内でない fact12: あの質的選択モデルが通天閣だが飽きっぽいということはないならばあのバブル後は婦女暴行である fact13: もし仮にあの質的選択モデルが通天閣だしかつそれが飽きっぽいとすれば其れらしくない fact14: 仮にあの質的選択モデルが通天閣だし更に飽きっぽいならばあのバブル後は婦女暴行であるということはない fact15: もしもなにがしかの物が重心位置でないならばそれは不成就でないかもしくはそれは本陣内だということはない fact16: 仮にあの質的選択モデルが不成就でないかまたは本陣内でないか両方ともならばあのバブル後は婦女暴行だ fact17: もしもあのバブル後はステロイド剤だがしかし汚れないとするとそれは調伏でない fact18: あの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくはそれは本陣内だ fact19: もしもあの質的選択モデルが不成就でないかもしくは本陣内だということはないかあるいはどちらもであるとするとあのバブル後は婦女暴行だということはない fact20: 飽きっぽくない通天閣は其れらしくない fact21: あのバブル後が本陣内でないかあるいは其れらしくないかまたは両方であるならあの質的選択モデルは重心位置でない
fact20 -> int1: もし仮にあの質的選択モデルが通天閣だけど飽きっぽくないならばそれは其れらしくない; void -> assump1: 以下のように仮定する。「あの質的選択モデルは通天閣であるけど飽きっぽくない」ということは確かである; int1 & assump1 -> int2: あの質的選択モデルは其れらしくない; fact4 -> int3: 「あの質的選択モデルは其れらしいということはない」ということは真実ならばそれは重心位置でない; int2 & int3 -> int4: あの質的選択モデルは重心位置でない; fact15 -> int5: もしあの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくは本陣内でないかもしくは両方だ; int4 & int5 -> int6: あの質的選択モデルは不成就でないかあるいは本陣内でない; int6 & fact19 -> int7: あのバブル後は婦女暴行でない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしも通天閣が飽きっぽいとしたら其れらしくない fact2: もしもあの質的選択モデルは其れらしいがしかし婦女暴行でないとしたらそれは本陣内でない fact3: なにがしかの物が重心位置でないとすれば不成就でないかまたはそれは本陣内である fact4: もし仮にとある物が其れらしくないとするとそれは重心位置でない fact5: あのバブル後は婦女暴行である fact6: あの質的選択モデルは不成就であるかあるいは本陣内でないかまたは両方だ fact7: あの質的選択モデルは不成就でないかあるいはそれは本陣内である fact8: もしあの質的選択モデルは重心位置でないならそれは不成就であるかあるいは本陣内でないかあるいは両方である fact9: あのバブル後は不成就でない fact10: もしもなんらかの物は重心位置でないとするとそれは婦女暴行でない fact11: あの御師匠さんは本陣内でない fact12: あの質的選択モデルが通天閣だが飽きっぽいということはないならばあのバブル後は婦女暴行である fact13: もし仮にあの質的選択モデルが通天閣だしかつそれが飽きっぽいとすれば其れらしくない fact14: 仮にあの質的選択モデルが通天閣だし更に飽きっぽいならばあのバブル後は婦女暴行であるということはない fact15: もしもなにがしかの物が重心位置でないならばそれは不成就でないかもしくはそれは本陣内だということはない fact16: 仮にあの質的選択モデルが不成就でないかまたは本陣内でないか両方ともならばあのバブル後は婦女暴行だ fact17: もしもあのバブル後はステロイド剤だがしかし汚れないとするとそれは調伏でない fact18: あの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくはそれは本陣内だ fact19: もしもあの質的選択モデルが不成就でないかもしくは本陣内だということはないかあるいはどちらもであるとするとあのバブル後は婦女暴行だということはない fact20: 飽きっぽくない通天閣は其れらしくない fact21: あのバブル後が本陣内でないかあるいは其れらしくないかまたは両方であるならあの質的選択モデルは重心位置でない ; $hypothesis$ = もしもあの質的選択モデルが通天閣である一方でそれが飽きっぽくないならばあのバブル後は婦女暴行でない ; $proof$ = 
fact20 -> int1: もし仮にあの質的選択モデルが通天閣だけど飽きっぽくないならばそれは其れらしくない; void -> assump1: 以下のように仮定する。「あの質的選択モデルは通天閣であるけど飽きっぽくない」ということは確かである; int1 & assump1 -> int2: あの質的選択モデルは其れらしくない; fact4 -> int3: 「あの質的選択モデルは其れらしいということはない」ということは真実ならばそれは重心位置でない; int2 & int3 -> int4: あの質的選択モデルは重心位置でない; fact15 -> int5: もしあの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくは本陣内でないかもしくは両方だ; int4 & int5 -> int6: あの質的選択モデルは不成就でないかあるいは本陣内でない; int6 & fact19 -> int7: あのバブル後は婦女暴行でない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしも通天閣が飽きっぽいとしたら其れらしくない
事実2: もしもあの質的選択モデルは其れらしいがしかし婦女暴行でないとしたらそれは本陣内でない
事実3: なにがしかの物が重心位置でないとすれば不成就でないかまたはそれは本陣内である
事実4: もし仮にとある物が其れらしくないとするとそれは重心位置でない
事実5: あのバブル後は婦女暴行である
事実6: あの質的選択モデルは不成就であるかあるいは本陣内でないかまたは両方だ
事実7: あの質的選択モデルは不成就でないかあるいはそれは本陣内である
事実8: もしあの質的選択モデルは重心位置でないならそれは不成就であるかあるいは本陣内でないかあるいは両方である
事実9: あのバブル後は不成就でない
事実10: もしもなんらかの物は重心位置でないとするとそれは婦女暴行でない
事実11: あの御師匠さんは本陣内でない
事実12: あの質的選択モデルが通天閣だが飽きっぽいということはないならばあのバブル後は婦女暴行である
事実13: もし仮にあの質的選択モデルが通天閣だしかつそれが飽きっぽいとすれば其れらしくない
事実14: 仮にあの質的選択モデルが通天閣だし更に飽きっぽいならばあのバブル後は婦女暴行であるということはない
事実15: もしもなにがしかの物が重心位置でないならばそれは不成就でないかもしくはそれは本陣内だということはない
事実16: 仮にあの質的選択モデルが不成就でないかまたは本陣内でないか両方ともならばあのバブル後は婦女暴行だ
事実17: もしもあのバブル後はステロイド剤だがしかし汚れないとするとそれは調伏でない
事実18: あの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくはそれは本陣内だ
事実19: もしもあの質的選択モデルが不成就でないかもしくは本陣内だということはないかあるいはどちらもであるとするとあのバブル後は婦女暴行だということはない
事実20: 飽きっぽくない通天閣は其れらしくない
事実21: あのバブル後が本陣内でないかあるいは其れらしくないかまたは両方であるならあの質的選択モデルは重心位置でない

仮説: もしもあの質的選択モデルが通天閣である一方でそれが飽きっぽくないならばあのバブル後は婦女暴行でない
1. 事実20から、推論1: "もし仮にあの質的選択モデルが通天閣だけど飽きっぽくないならばそれは其れらしくない"が導かれる
2. 仮定1: 以下のように仮定する。「あの質的選択モデルは通天閣であるけど飽きっぽくない」ということは確かである
3. 推論1と仮定1から、推論2: "あの質的選択モデルは其れらしくない"が導かれる
4. 事実4から、推論3: "「あの質的選択モデルは其れらしいということはない」ということは真実ならばそれは重心位置でない"が導かれる
5. 推論2と推論3から、推論4: "あの質的選択モデルは重心位置でない"が導かれる
6. 事実15から、推論5: "もしあの質的選択モデルが重心位置でないとすればそれは不成就でないかもしくは本陣内でないかもしくは両方だ"が導かれる
7. 推論4と推論5から、推論6: "あの質的選択モデルは不成就でないかあるいは本陣内でない"が導かれる
8. 推論6と事実19から、推論7: "あのバブル後は婦女暴行でない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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