この無形は秋風山でないけれど窒素肥料である
fact1: この値打ち物は窒素肥料だとしたら「この無形は秋風山でないがしかしそれは窒素肥料だ」ということは本当だ fact2: もしもあの期中が採用すればそれはオーストリア航空である fact3: 仮にあるものは特権でないなら「食品注文票であるし存亡だ」ということは事実と異なる fact4: もしもこの値打ち物が秋風山だとしたらこの無形は窒素肥料でない一方でそれは秋風山だ fact5: もしこの値打ち物が窒素肥料だとしたらこの無形は秋風山でない fact6: この無形は存亡であるならそれは窒素肥料である fact7: もし仮にその免震装置が町会長であるとすればこの値打ち物は特権であるということはない一方で喜ばしい fact8: この値打ち物は優雅である fact9: その討論形式が小難しくないとすればその免震装置は町会長である fact10: 「この無形は窒素肥料だ」ということは本当ならばこの値打ち物は秋風山でないが窒素肥料だ fact11: 「この無形は存亡だ」ということは偽でないならこの値打ち物は窒素肥料でない一方でそれは存亡だ fact12: もし仮に「現われ易い」物があるならその討論形式は小難しくないか町会長だということはないかまたは両方だ fact13: もしこの値打ち物は存亡であるとすれば窒素肥料だ fact14: この無形は出場側だ fact15: この無形は秋風山でない fact16: 仮に「この無形は秋風山である」ということは成り立つならこの値打ち物は窒素肥料だということはないが秋風山である fact17: この班田制は窒素肥料だ fact18: 「もし仮にこの値打ち物が秋風山であるとしたらこの値打ち物は窒素肥料だ」ということは事実だ fact19: この値打ち物は存亡だ fact20: この無形は教わる fact21: 何かは現われ易い
fact13 & fact19 -> int1: この値打ち物は窒素肥料だ; int1 & fact1 -> hypothesis;
「この無形は秋風山でないけれど窒素肥料だ」ということは偽である
fact26 -> int2: もしもこの値打ち物は特権であるということはないなら「それは食品注文票で存亡だ」ということは成り立つということはない; fact24 & fact23 -> int3: その討論形式は小難しくないかあるいは町会長でないかまたはどちらもである;
$facts$ = fact1: この値打ち物は窒素肥料だとしたら「この無形は秋風山でないがしかしそれは窒素肥料だ」ということは本当だ fact2: もしもあの期中が採用すればそれはオーストリア航空である fact3: 仮にあるものは特権でないなら「食品注文票であるし存亡だ」ということは事実と異なる fact4: もしもこの値打ち物が秋風山だとしたらこの無形は窒素肥料でない一方でそれは秋風山だ fact5: もしこの値打ち物が窒素肥料だとしたらこの無形は秋風山でない fact6: この無形は存亡であるならそれは窒素肥料である fact7: もし仮にその免震装置が町会長であるとすればこの値打ち物は特権であるということはない一方で喜ばしい fact8: この値打ち物は優雅である fact9: その討論形式が小難しくないとすればその免震装置は町会長である fact10: 「この無形は窒素肥料だ」ということは本当ならばこの値打ち物は秋風山でないが窒素肥料だ fact11: 「この無形は存亡だ」ということは偽でないならこの値打ち物は窒素肥料でない一方でそれは存亡だ fact12: もし仮に「現われ易い」物があるならその討論形式は小難しくないか町会長だということはないかまたは両方だ fact13: もしこの値打ち物は存亡であるとすれば窒素肥料だ fact14: この無形は出場側だ fact15: この無形は秋風山でない fact16: 仮に「この無形は秋風山である」ということは成り立つならこの値打ち物は窒素肥料だということはないが秋風山である fact17: この班田制は窒素肥料だ fact18: 「もし仮にこの値打ち物が秋風山であるとしたらこの値打ち物は窒素肥料だ」ということは事実だ fact19: この値打ち物は存亡だ fact20: この無形は教わる fact21: 何かは現われ易い ; $hypothesis$ = この無形は秋風山でないけれど窒素肥料である ; $proof$ = 
fact13 & fact19 -> int1: この値打ち物は窒素肥料だ; int1 & fact1 -> hypothesis; __PROVED__
事実1: この値打ち物は窒素肥料だとしたら「この無形は秋風山でないがしかしそれは窒素肥料だ」ということは本当だ
事実2: もしもあの期中が採用すればそれはオーストリア航空である
事実3: 仮にあるものは特権でないなら「食品注文票であるし存亡だ」ということは事実と異なる
事実4: もしもこの値打ち物が秋風山だとしたらこの無形は窒素肥料でない一方でそれは秋風山だ
事実5: もしこの値打ち物が窒素肥料だとしたらこの無形は秋風山でない
事実6: この無形は存亡であるならそれは窒素肥料である
事実7: もし仮にその免震装置が町会長であるとすればこの値打ち物は特権であるということはない一方で喜ばしい
事実8: この値打ち物は優雅である
事実9: その討論形式が小難しくないとすればその免震装置は町会長である
事実10: 「この無形は窒素肥料だ」ということは本当ならばこの値打ち物は秋風山でないが窒素肥料だ
事実11: 「この無形は存亡だ」ということは偽でないならこの値打ち物は窒素肥料でない一方でそれは存亡だ
事実12: もし仮に「現われ易い」物があるならその討論形式は小難しくないか町会長だということはないかまたは両方だ
事実13: もしこの値打ち物は存亡であるとすれば窒素肥料だ
事実14: この無形は出場側だ
事実15: この無形は秋風山でない
事実16: 仮に「この無形は秋風山である」ということは成り立つならこの値打ち物は窒素肥料だということはないが秋風山である
事実17: この班田制は窒素肥料だ
事実18: 「もし仮にこの値打ち物が秋風山であるとしたらこの値打ち物は窒素肥料だ」ということは事実だ
事実19: この値打ち物は存亡だ
事実20: この無形は教わる
事実21: 何かは現われ易い

仮説: この無形は秋風山でないけれど窒素肥料である
1. 事実13と事実19から、推論1: "この値打ち物は窒素肥料だ"が導かれる
2. 推論1と事実1から、仮説が導かれる

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