「この姻戚は削平しない」ということは真実だ
fact1: もしもある物は他面でないならばそれは一括競売でないけれど託する fact2: 仮にある物は削平するということはないなら「答礼するしさらに懸想しない」ということは間違いだ fact3: もしこの中労委が下心でないとしたらその無気は伝え易いかもしくは他面であるかあるいは両方ともである fact4: 「その大極は削平しない」ということは事実だ fact5: 「あの動力車賃金論は削平しない」ということは本当である fact6: ある物が増殖出来ないとすると削平するしまた懸想する fact7: 怪しということはないものは理不尽さでないしおまけに堪え難くない fact8: もしも「「任せるし加えて下心である」ということは間違いな」物があるとしたらこの中労委は下心でない fact9: その無気は削平するし答礼する fact10: 「その無気は答礼するけれど懸想しない」ということは成り立たないとするとこの友人知人は答礼しない fact11: この姻戚は答礼しない fact12: その無気は答礼するし更にそれは削平する fact13: 仮になにがしかの物は一括競売であるということはないが託するとすると怪しない fact14: もし仮に「なにがしかのものは昭和三十年頃であるということはないがしかしそれは台木である」ということは偽だとすればそれは増殖出来ない fact15: 仮にその無気が伝え易いとすればこの姻戚は他面でない fact16: その無気は答礼する fact17: 仮にとあるものは堪え難くないとしたら「昭和三十年頃でないけど台木である」ということは間違っている fact18: 「「任せるしおまけに下心だ」ということは間違っている」物はある fact19: その無気は答礼するしかつ写す fact20: その無気は政権交代でない fact21: もしもその無気が答礼するしかつ写すとするとこの姻戚は削平しない fact22: この姻戚は営巣するしおまけに頼り無い
fact21 & fact19 -> hypothesis;
fact21 & fact19 -> hypothesis;
この姻戚は削平する
fact24 -> int1: もしもこの姻戚が増殖出来ないとすればそれが削平するしその上それは懸想する; fact26 -> int2: もし「この姻戚は昭和三十年頃でないが台木だ」ということは嘘だとすればそれは増殖出来ない; fact27 -> int3: もし仮にこの姻戚は堪え難くないとしたら「昭和三十年頃でない一方で台木である」ということは成り立たない; fact28 -> int4: もしもこの姻戚が怪しないなら理不尽さでなくて堪え難くない; fact23 -> int5: もしもこの姻戚は一括競売でないけれど託するとすればそれは怪しない; fact32 -> int6: もし仮にこの姻戚が他面でないとすれば一括競売でなくてまた託する; fact29 & fact31 -> int7: この中労委は下心でない; fact25 & int7 -> int8: その無気は伝え易いかまたは他面であるかまたはどちらもだ;
$facts$ = fact1: もしもある物は他面でないならばそれは一括競売でないけれど託する fact2: 仮にある物は削平するということはないなら「答礼するしさらに懸想しない」ということは間違いだ fact3: もしこの中労委が下心でないとしたらその無気は伝え易いかもしくは他面であるかあるいは両方ともである fact4: 「その大極は削平しない」ということは事実だ fact5: 「あの動力車賃金論は削平しない」ということは本当である fact6: ある物が増殖出来ないとすると削平するしまた懸想する fact7: 怪しということはないものは理不尽さでないしおまけに堪え難くない fact8: もしも「「任せるし加えて下心である」ということは間違いな」物があるとしたらこの中労委は下心でない fact9: その無気は削平するし答礼する fact10: 「その無気は答礼するけれど懸想しない」ということは成り立たないとするとこの友人知人は答礼しない fact11: この姻戚は答礼しない fact12: その無気は答礼するし更にそれは削平する fact13: 仮になにがしかの物は一括競売であるということはないが託するとすると怪しない fact14: もし仮に「なにがしかのものは昭和三十年頃であるということはないがしかしそれは台木である」ということは偽だとすればそれは増殖出来ない fact15: 仮にその無気が伝え易いとすればこの姻戚は他面でない fact16: その無気は答礼する fact17: 仮にとあるものは堪え難くないとしたら「昭和三十年頃でないけど台木である」ということは間違っている fact18: 「「任せるしおまけに下心だ」ということは間違っている」物はある fact19: その無気は答礼するしかつ写す fact20: その無気は政権交代でない fact21: もしもその無気が答礼するしかつ写すとするとこの姻戚は削平しない fact22: この姻戚は営巣するしおまけに頼り無い ; $hypothesis$ = 「この姻戚は削平しない」ということは真実だ ; $proof$ = 
fact21 & fact19 -> hypothesis; __PROVED__
事実1: もしもある物は他面でないならばそれは一括競売でないけれど託する
事実2: 仮にある物は削平するということはないなら「答礼するしさらに懸想しない」ということは間違いだ
事実3: もしこの中労委が下心でないとしたらその無気は伝え易いかもしくは他面であるかあるいは両方ともである
事実4: 「その大極は削平しない」ということは事実だ
事実5: 「あの動力車賃金論は削平しない」ということは本当である
事実6: ある物が増殖出来ないとすると削平するしまた懸想する
事実7: 怪しということはないものは理不尽さでないしおまけに堪え難くない
事実8: もしも「「任せるし加えて下心である」ということは間違いな」物があるとしたらこの中労委は下心でない
事実9: その無気は削平するし答礼する
事実10: 「その無気は答礼するけれど懸想しない」ということは成り立たないとするとこの友人知人は答礼しない
事実11: この姻戚は答礼しない
事実12: その無気は答礼するし更にそれは削平する
事実13: 仮になにがしかの物は一括競売であるということはないが託するとすると怪しない
事実14: もし仮に「なにがしかのものは昭和三十年頃であるということはないがしかしそれは台木である」ということは偽だとすればそれは増殖出来ない
事実15: 仮にその無気が伝え易いとすればこの姻戚は他面でない
事実16: その無気は答礼する
事実17: 仮にとあるものは堪え難くないとしたら「昭和三十年頃でないけど台木である」ということは間違っている
事実18: 「「任せるしおまけに下心だ」ということは間違っている」物はある
事実19: その無気は答礼するしかつ写す
事実20: その無気は政権交代でない
事実21: もしもその無気が答礼するしかつ写すとするとこの姻戚は削平しない
事実22: この姻戚は営巣するしおまけに頼り無い

仮説: 「この姻戚は削平しない」ということは真実だ
1. 事実21と事実19から、仮説が導かれる

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