あの持て成しは堆くない
fact1: 何らかの物がハッキングするなら批判的見解で加えてそれはやばくない fact2: その猛練習は立て易い fact3: 仮にその猛練習が立て易いとするとあの持て成しはやばい fact4: その活動性は堆くない fact5: もしも「「そのラダー型運用は人魔神であるがしかし細胞壁成分でない」ということは誤っている」ということは成り立つとすればその猛練習は貴方らしい fact6: あの持て成しがやばいとするとその猛練習は堆い fact7: もしもあの持て成しはやばい一方で批判的見解であるということはないとすると堆くない fact8: 貴方らしい物はハッキングする fact9: もし「その猛練習は堆くないけれど批判的見解だ」ということは嘘ならその駅頭は批判的見解でない fact10: やばくないものは堆いしその上立て易い fact11: 仮にその猛練習がやばくないならあの持て成しはやばいということはない fact12: あの持て成しは批判的見解だということはない fact13: 「あの施行予算は銜え込むけれどそれは撫ぜない」ということは正しい
fact3 & fact2 -> int1: あの持て成しはやばい; int1 & fact12 -> int2: あの持て成しはやばい一方でそれは批判的見解でない; int2 & fact7 -> hypothesis;
あの持て成しは堆い
fact17 -> int3: もしもあの持て成しがやばくないならばそれが堆いしその上それは立て易い; fact16 -> int4: 仮にその猛練習がハッキングするとすれば批判的見解であるしそれはやばくない; fact18 -> int5: もしもその猛練習が貴方らしいとするとそれはハッキングする;
$facts$ = fact1: 何らかの物がハッキングするなら批判的見解で加えてそれはやばくない fact2: その猛練習は立て易い fact3: 仮にその猛練習が立て易いとするとあの持て成しはやばい fact4: その活動性は堆くない fact5: もしも「「そのラダー型運用は人魔神であるがしかし細胞壁成分でない」ということは誤っている」ということは成り立つとすればその猛練習は貴方らしい fact6: あの持て成しがやばいとするとその猛練習は堆い fact7: もしもあの持て成しはやばい一方で批判的見解であるということはないとすると堆くない fact8: 貴方らしい物はハッキングする fact9: もし「その猛練習は堆くないけれど批判的見解だ」ということは嘘ならその駅頭は批判的見解でない fact10: やばくないものは堆いしその上立て易い fact11: 仮にその猛練習がやばくないならあの持て成しはやばいということはない fact12: あの持て成しは批判的見解だということはない fact13: 「あの施行予算は銜え込むけれどそれは撫ぜない」ということは正しい ; $hypothesis$ = あの持て成しは堆くない ; $proof$ = 
fact3 & fact2 -> int1: あの持て成しはやばい; int1 & fact12 -> int2: あの持て成しはやばい一方でそれは批判的見解でない; int2 & fact7 -> hypothesis; __PROVED__
事実1: 何らかの物がハッキングするなら批判的見解で加えてそれはやばくない
事実2: その猛練習は立て易い
事実3: 仮にその猛練習が立て易いとするとあの持て成しはやばい
事実4: その活動性は堆くない
事実5: もしも「「そのラダー型運用は人魔神であるがしかし細胞壁成分でない」ということは誤っている」ということは成り立つとすればその猛練習は貴方らしい
事実6: あの持て成しがやばいとするとその猛練習は堆い
事実7: もしもあの持て成しはやばい一方で批判的見解であるということはないとすると堆くない
事実8: 貴方らしい物はハッキングする
事実9: もし「その猛練習は堆くないけれど批判的見解だ」ということは嘘ならその駅頭は批判的見解でない
事実10: やばくないものは堆いしその上立て易い
事実11: 仮にその猛練習がやばくないならあの持て成しはやばいということはない
事実12: あの持て成しは批判的見解だということはない
事実13: 「あの施行予算は銜え込むけれどそれは撫ぜない」ということは正しい

仮説: あの持て成しは堆くない
1. 事実3と事実2から、推論1: "あの持て成しはやばい"が導かれる
2. 推論1と事実12から、推論2: "あの持て成しはやばい一方でそれは批判的見解でない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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