「「「入学後だし乗っ取らない」ということは成り立たない」物はある」ということは本当である
fact1: もし仮に「あの製造過程は作り易い」ということは確かであるとすれば「あの傀儡は入学後だがしかし乗っ取らない」ということは本当でない fact2: 「もし「あの傀儡は作り易くない」ということは誤っているということはないなら「「あの製造過程は防水する一方でなまさない」ということは本当である」ということは嘘だ」ということは正しい fact3: とある物は入学後だが乗っ取るということはない fact4: 「あの傀儡はヌル角度であるけれどそれは入学後でない」ということは嘘である fact5: もしもなにかはプログラムしないならば酷過ぎるし排斥する fact6: 「「作り易いし入学後だ」ということは成り立つということはない」ものはある fact7: もし仮にあの製造過程は作り易いなら「あの傀儡は入学後であるし加えて乗っ取る」ということは成り立つということはない fact8: 「「作り易いししかも入学後でない」ということは誤っている」ものはある fact9: 「あの傀儡は入学後であるしかつそれは乗っ取る」ということは事実と異なる fact10: 厚い物はプログラムするということはない fact11: あの製造過程は作り易い fact12: 「「入学後でかつ乗っ取る」ということは成り立たない」ものはある fact13: 「全ての物は厚い」ということは正しい fact14: もし仮にあるものは作り易くないなら「乗っ取るけれど鋭いということはない」ということは本当でない
fact1 & fact11 -> int1: 「あの傀儡は入学後であるがしかし乗っ取らない」ということは嘘だ; int1 -> hypothesis;
その股旅物は作り易い
fact15 -> int2: もしもその股旅物がプログラムしないとしたら酷過ぎるし加えて排斥する; fact16 -> int3: もしもあの製造過程が厚いとするとそれはプログラムしない; fact17 -> int4: あの製造過程は厚い; int3 & int4 -> int5: あの製造過程はプログラムするということはない; int5 -> int6: すべてのものはプログラムしない; int6 -> int7: その股旅物はプログラムしない; int2 & int7 -> int8: その股旅物は酷過ぎるしさらに排斥する; int8 -> int9: その股旅物は排斥する;
$facts$ = fact1: もし仮に「あの製造過程は作り易い」ということは確かであるとすれば「あの傀儡は入学後だがしかし乗っ取らない」ということは本当でない fact2: 「もし「あの傀儡は作り易くない」ということは誤っているということはないなら「「あの製造過程は防水する一方でなまさない」ということは本当である」ということは嘘だ」ということは正しい fact3: とある物は入学後だが乗っ取るということはない fact4: 「あの傀儡はヌル角度であるけれどそれは入学後でない」ということは嘘である fact5: もしもなにかはプログラムしないならば酷過ぎるし排斥する fact6: 「「作り易いし入学後だ」ということは成り立つということはない」ものはある fact7: もし仮にあの製造過程は作り易いなら「あの傀儡は入学後であるし加えて乗っ取る」ということは成り立つということはない fact8: 「「作り易いししかも入学後でない」ということは誤っている」ものはある fact9: 「あの傀儡は入学後であるしかつそれは乗っ取る」ということは事実と異なる fact10: 厚い物はプログラムするということはない fact11: あの製造過程は作り易い fact12: 「「入学後でかつ乗っ取る」ということは成り立たない」ものはある fact13: 「全ての物は厚い」ということは正しい fact14: もし仮にあるものは作り易くないなら「乗っ取るけれど鋭いということはない」ということは本当でない ; $hypothesis$ = 「「「入学後だし乗っ取らない」ということは成り立たない」物はある」ということは本当である ; $proof$ = 
fact1 & fact11 -> int1: 「あの傀儡は入学後であるがしかし乗っ取らない」ということは嘘だ; int1 -> hypothesis; __PROVED__
事実1: もし仮に「あの製造過程は作り易い」ということは確かであるとすれば「あの傀儡は入学後だがしかし乗っ取らない」ということは本当でない
事実2: 「もし「あの傀儡は作り易くない」ということは誤っているということはないなら「「あの製造過程は防水する一方でなまさない」ということは本当である」ということは嘘だ」ということは正しい
事実3: とある物は入学後だが乗っ取るということはない
事実4: 「あの傀儡はヌル角度であるけれどそれは入学後でない」ということは嘘である
事実5: もしもなにかはプログラムしないならば酷過ぎるし排斥する
事実6: 「「作り易いし入学後だ」ということは成り立つということはない」ものはある
事実7: もし仮にあの製造過程は作り易いなら「あの傀儡は入学後であるし加えて乗っ取る」ということは成り立つということはない
事実8: 「「作り易いししかも入学後でない」ということは誤っている」ものはある
事実9: 「あの傀儡は入学後であるしかつそれは乗っ取る」ということは事実と異なる
事実10: 厚い物はプログラムするということはない
事実11: あの製造過程は作り易い
事実12: 「「入学後でかつ乗っ取る」ということは成り立たない」ものはある
事実13: 「全ての物は厚い」ということは正しい
事実14: もし仮にあるものは作り易くないなら「乗っ取るけれど鋭いということはない」ということは本当でない

仮説: 「「「入学後だし乗っ取らない」ということは成り立たない」物はある」ということは本当である
1. 事実1と事実11から、推論1: "「あの傀儡は入学後であるがしかし乗っ取らない」ということは嘘だ"が導かれる
2. 推論1から、仮説が導かれる

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