「「主流社会だけれど工事費であるということはない」ということは成り立たない」物はある
fact1: 仮になにがしかの物は信じ易くないとすれば「それは縒切るし下馬評だということはない」ということは誤っている fact2: もし仮に「縒切らない」物があるとするとその電子顕微鏡写真は見分け難い fact3: もしも「ある物は記しなくてかつそれは四大都市であるということはない」ということは偽ならそれは手際良くない fact4: 「あの大福は主流社会だし加えて工事費である」ということは嘘である fact5: 「あの大福は主流社会であるけど工事費でない」ということは本当でない fact6: もし「その文化芸術活動は保たないしその上羨ましくない」ということは成り立つということはないとすればあの消費税等は信じ易いということはない fact7: 「ある物は縒切るけれど下馬評でない」ということは事実でないならばそれは縒切らない fact8: もし仮にあの抗原量はカプラーでないとすると「適正手続きでないしそれは間脳であるということはない」ということは本当だということはない fact9: あの抗原量はカプラーでない fact10: 「適正手続きである」物はあるとすると「その文化芸術活動は保たないし羨ましいということはない」ということは偽だ fact11: 「「主流社会であるがしかし工事費でない」物はある」ということは事実である fact12: 仮に「何らかの物は適正手続きでないしかつそれは間脳でない」ということは成り立たないとしたら適正手続きだ fact13: なにがしかの物は見分け難いとすると「それは記するということはないしかつ四大都市であるということはない」ということは誤っている fact14: もし仮に「その電子顕微鏡写真は手際良くない」ということは事実であるなら「あの大福は工事費であるけど師範学校であるということはない」ということは成り立たない fact15: 「「主流社会であるしおまけに工事費である」ということは間違っている」物はある
fact5 -> hypothesis;
fact5 -> hypothesis;
「「あの大福は工事費であるが師範学校でない」ということは事実だ」ということは成り立つということはない
fact20 -> int1: もしも「その電子顕微鏡写真は記するということはなくて四大都市でない」ということは成り立たないとすると手際良いということはない; fact21 -> int2: その電子顕微鏡写真は見分け難いとすると「記するということはなくて四大都市でない」ということは成り立たない; fact23 -> int3: 「「その消費税等は縒切る一方で下馬評でない」ということは誤りでない」ということは成り立たないとするとそれは縒切らない; fact18 -> int4: もし仮にその消費税等は信じ易くないとすれば「縒切るしおまけにそれは下馬評でない」ということは成り立たない; fact19 -> int5: もし「あの抗原量は適正手続きでなくて加えて間脳でない」ということは間違っているとすると「適正手続きである」ということは確かである; fact22 & fact25 -> int6: 「あの抗原量は適正手続きでないし間脳でない」ということは成り立たない; int5 & int6 -> int7: あの抗原量は適正手続きだ; int7 -> int8: 「適正手続きな」ものはある; int8 & fact16 -> int9: 「その文化芸術活動は保たないしそれに羨ましくない」ということは偽である; fact24 & int9 -> int10: その消費税等は信じ易くない; int4 & int10 -> int11: 「その消費税等は縒切るけどそれは下馬評でない」ということは真実でない; int3 & int11 -> int12: その消費税等は縒切るということはない; int12 -> int13: 「「縒切らない」ということは事実な」ものはある; int13 & fact26 -> int14: その電子顕微鏡写真は見分け難い; int2 & int14 -> int15: 「その電子顕微鏡写真は記しなくておまけに四大都市でない」ということは成り立たない; int1 & int15 -> int16: その電子顕微鏡写真は手際良くない; fact17 & int16 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物は信じ易くないとすれば「それは縒切るし下馬評だということはない」ということは誤っている fact2: もし仮に「縒切らない」物があるとするとその電子顕微鏡写真は見分け難い fact3: もしも「ある物は記しなくてかつそれは四大都市であるということはない」ということは偽ならそれは手際良くない fact4: 「あの大福は主流社会だし加えて工事費である」ということは嘘である fact5: 「あの大福は主流社会であるけど工事費でない」ということは本当でない fact6: もし「その文化芸術活動は保たないしその上羨ましくない」ということは成り立つということはないとすればあの消費税等は信じ易いということはない fact7: 「ある物は縒切るけれど下馬評でない」ということは事実でないならばそれは縒切らない fact8: もし仮にあの抗原量はカプラーでないとすると「適正手続きでないしそれは間脳であるということはない」ということは本当だということはない fact9: あの抗原量はカプラーでない fact10: 「適正手続きである」物はあるとすると「その文化芸術活動は保たないし羨ましいということはない」ということは偽だ fact11: 「「主流社会であるがしかし工事費でない」物はある」ということは事実である fact12: 仮に「何らかの物は適正手続きでないしかつそれは間脳でない」ということは成り立たないとしたら適正手続きだ fact13: なにがしかの物は見分け難いとすると「それは記するということはないしかつ四大都市であるということはない」ということは誤っている fact14: もし仮に「その電子顕微鏡写真は手際良くない」ということは事実であるなら「あの大福は工事費であるけど師範学校であるということはない」ということは成り立たない fact15: 「「主流社会であるしおまけに工事費である」ということは間違っている」物はある ; $hypothesis$ = 「「主流社会だけれど工事費であるということはない」ということは成り立たない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物は信じ易くないとすれば「それは縒切るし下馬評だということはない」ということは誤っている
事実2: もし仮に「縒切らない」物があるとするとその電子顕微鏡写真は見分け難い
事実3: もしも「ある物は記しなくてかつそれは四大都市であるということはない」ということは偽ならそれは手際良くない
事実4: 「あの大福は主流社会だし加えて工事費である」ということは嘘である
事実5: 「あの大福は主流社会であるけど工事費でない」ということは本当でない
事実6: もし「その文化芸術活動は保たないしその上羨ましくない」ということは成り立つということはないとすればあの消費税等は信じ易いということはない
事実7: 「ある物は縒切るけれど下馬評でない」ということは事実でないならばそれは縒切らない
事実8: もし仮にあの抗原量はカプラーでないとすると「適正手続きでないしそれは間脳であるということはない」ということは本当だということはない
事実9: あの抗原量はカプラーでない
事実10: 「適正手続きである」物はあるとすると「その文化芸術活動は保たないし羨ましいということはない」ということは偽だ
事実11: 「「主流社会であるがしかし工事費でない」物はある」ということは事実である
事実12: 仮に「何らかの物は適正手続きでないしかつそれは間脳でない」ということは成り立たないとしたら適正手続きだ
事実13: なにがしかの物は見分け難いとすると「それは記するということはないしかつ四大都市であるということはない」ということは誤っている
事実14: もし仮に「その電子顕微鏡写真は手際良くない」ということは事実であるなら「あの大福は工事費であるけど師範学校であるということはない」ということは成り立たない
事実15: 「「主流社会であるしおまけに工事費である」ということは間違っている」物はある

仮説: 「「主流社会だけれど工事費であるということはない」ということは成り立たない」物はある
1. 事実5から、仮説が導かれる

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