この発声発語器官は御恥ずかしいがそれは建学でない
fact1: 仮にこの岩体がやばくないかもしくは現地住民であるかまたは両方であるとすればあの発声発語器官は御恥ずかしい fact2: もし仮にあのオンバランスが開明する一方でそれが関連構造でないとしたらこの値上がりは息苦しくない fact3: 仮に「なにかは体格指数でない一方でちっちゃい」ということは正しくないならばそれは建学であるということはない fact4: 仮にこの値上がりが息苦しくないならばこの岩体はやばくないか現地住民であるかあるいは両方だ fact5: あらゆる物は開明するがしかし関連構造であるということはない fact6: あの時間リスクプレミアムは決め難いしまたすんごい fact7: あの時間リスクプレミアムはすんごいならば「この発声発語器官は体格指数でないけれどちっちゃい」ということは誤りだ
fact5 -> int1: あのオンバランスは開明するけど関連構造でない; int1 & fact2 -> int2: この値上がりは息苦しくない; int2 & fact4 -> int3: この岩体はやばくないかそれは現地住民であるか両方ともだ; int3 & fact1 -> int4: この発声発語器官は御恥ずかしい; fact6 -> int5: あの時間リスクプレミアムはすんごい; fact7 & int5 -> int6: 「この発声発語器官は体格指数でない一方でそれはちっちゃい」ということは成り立つということはない; fact3 -> int7: 仮に「この発声発語器官は体格指数でないがしかしちっちゃい」ということは成り立たないなら建学でない; int6 & int7 -> int8: この発声発語器官は建学でない; int4 & int8 -> hypothesis;
$facts$ = fact1: 仮にこの岩体がやばくないかもしくは現地住民であるかまたは両方であるとすればあの発声発語器官は御恥ずかしい fact2: もし仮にあのオンバランスが開明する一方でそれが関連構造でないとしたらこの値上がりは息苦しくない fact3: 仮に「なにかは体格指数でない一方でちっちゃい」ということは正しくないならばそれは建学であるということはない fact4: 仮にこの値上がりが息苦しくないならばこの岩体はやばくないか現地住民であるかあるいは両方だ fact5: あらゆる物は開明するがしかし関連構造であるということはない fact6: あの時間リスクプレミアムは決め難いしまたすんごい fact7: あの時間リスクプレミアムはすんごいならば「この発声発語器官は体格指数でないけれどちっちゃい」ということは誤りだ ; $hypothesis$ = この発声発語器官は御恥ずかしいがそれは建学でない ; $proof$ = 
fact5 -> int1: あのオンバランスは開明するけど関連構造でない; int1 & fact2 -> int2: この値上がりは息苦しくない; int2 & fact4 -> int3: この岩体はやばくないかそれは現地住民であるか両方ともだ; int3 & fact1 -> int4: この発声発語器官は御恥ずかしい; fact6 -> int5: あの時間リスクプレミアムはすんごい; fact7 & int5 -> int6: 「この発声発語器官は体格指数でない一方でそれはちっちゃい」ということは成り立つということはない; fact3 -> int7: 仮に「この発声発語器官は体格指数でないがしかしちっちゃい」ということは成り立たないなら建学でない; int6 & int7 -> int8: この発声発語器官は建学でない; int4 & int8 -> hypothesis; __PROVED__
事実1: 仮にこの岩体がやばくないかもしくは現地住民であるかまたは両方であるとすればあの発声発語器官は御恥ずかしい
事実2: もし仮にあのオンバランスが開明する一方でそれが関連構造でないとしたらこの値上がりは息苦しくない
事実3: 仮に「なにかは体格指数でない一方でちっちゃい」ということは正しくないならばそれは建学であるということはない
事実4: 仮にこの値上がりが息苦しくないならばこの岩体はやばくないか現地住民であるかあるいは両方だ
事実5: あらゆる物は開明するがしかし関連構造であるということはない
事実6: あの時間リスクプレミアムは決め難いしまたすんごい
事実7: あの時間リスクプレミアムはすんごいならば「この発声発語器官は体格指数でないけれどちっちゃい」ということは誤りだ

仮説: この発声発語器官は御恥ずかしいがそれは建学でない
1. 事実5から、推論1: "あのオンバランスは開明するけど関連構造でない"が導かれる
2. 推論1と事実2から、推論2: "この値上がりは息苦しくない"が導かれる
3. 推論2と事実4から、推論3: "この岩体はやばくないかそれは現地住民であるか両方ともだ"が導かれる
4. 推論3と事実1から、推論4: "この発声発語器官は御恥ずかしい"が導かれる
5. 事実6から、推論5: "あの時間リスクプレミアムはすんごい"が導かれる
6. 事実7と推論5から、推論6: "「この発声発語器官は体格指数でない一方でそれはちっちゃい」ということは成り立つということはない"が導かれる
7. 事実3から、推論7: "仮に「この発声発語器官は体格指数でないがしかしちっちゃい」ということは成り立たないなら建学でない"が導かれる
8. 推論6と推論7から、推論8: "この発声発語器官は建学でない"が導かれる
9. 推論4と推論8から、仮説が導かれる

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