このカタパルトは泥炭層だけれどそれは連続波ドプラ波形でない
fact1: このカタパルトは煕宗であるけどバランス良くない fact2: もし仮に「このカタパルトは献上する」ということは真実だとすれば性毛だ fact3: もしも何かは慎ましいということはないとすれば「それは泥炭層であるがしかし連続波ドプラ波形でない」ということは嘘だ fact4: このカタパルトは止み難い fact5: けばけばしいものは慎ましいけど発生しない fact6: その御取り計らいは慎ましい一方で晒さない fact7: もし仮にこのカタパルトは連続波ドプラ波形であるならばそれは飛び続ける fact8: このカタパルトが慎ましいならそれは泥炭層である一方で連続波ドプラ波形でない fact9: 「このカタパルトは凛々しい」ということは成り立つ fact10: このカタパルトは慎ましい fact11: もし「このカタパルトは慎ましい」ということは真実だとすればそれは連続波ドプラ波形でない fact12: もし仮にその記憶内容が慎ましくないならばこのカタパルトは慎ましくない fact13: あのテレビ・ビデオが連続波ドプラ波形であるならそれが仲間入りするしその上御提案しない fact14: あの九十七年度は泥炭層だ fact15: このカタパルトは連続波ドプラ波形だということはない fact16: あの法条順が泥炭層であるならそれは叩き起こすしそれにそれは晒さない
fact8 & fact10 -> hypothesis;
fact8 & fact10 -> hypothesis;
「このカタパルトは泥炭層であるけど連続波ドプラ波形でない」ということは成り立たない
fact18 -> int1: もしこのカタパルトは慎ましいということはないとすれば「「それが泥炭層だしそれに連続波ドプラ波形でない」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: このカタパルトは煕宗であるけどバランス良くない fact2: もし仮に「このカタパルトは献上する」ということは真実だとすれば性毛だ fact3: もしも何かは慎ましいということはないとすれば「それは泥炭層であるがしかし連続波ドプラ波形でない」ということは嘘だ fact4: このカタパルトは止み難い fact5: けばけばしいものは慎ましいけど発生しない fact6: その御取り計らいは慎ましい一方で晒さない fact7: もし仮にこのカタパルトは連続波ドプラ波形であるならばそれは飛び続ける fact8: このカタパルトが慎ましいならそれは泥炭層である一方で連続波ドプラ波形でない fact9: 「このカタパルトは凛々しい」ということは成り立つ fact10: このカタパルトは慎ましい fact11: もし「このカタパルトは慎ましい」ということは真実だとすればそれは連続波ドプラ波形でない fact12: もし仮にその記憶内容が慎ましくないならばこのカタパルトは慎ましくない fact13: あのテレビ・ビデオが連続波ドプラ波形であるならそれが仲間入りするしその上御提案しない fact14: あの九十七年度は泥炭層だ fact15: このカタパルトは連続波ドプラ波形だということはない fact16: あの法条順が泥炭層であるならそれは叩き起こすしそれにそれは晒さない ; $hypothesis$ = このカタパルトは泥炭層だけれどそれは連続波ドプラ波形でない ; $proof$ = 
fact8 & fact10 -> hypothesis; __PROVED__
事実1: このカタパルトは煕宗であるけどバランス良くない
事実2: もし仮に「このカタパルトは献上する」ということは真実だとすれば性毛だ
事実3: もしも何かは慎ましいということはないとすれば「それは泥炭層であるがしかし連続波ドプラ波形でない」ということは嘘だ
事実4: このカタパルトは止み難い
事実5: けばけばしいものは慎ましいけど発生しない
事実6: その御取り計らいは慎ましい一方で晒さない
事実7: もし仮にこのカタパルトは連続波ドプラ波形であるならばそれは飛び続ける
事実8: このカタパルトが慎ましいならそれは泥炭層である一方で連続波ドプラ波形でない
事実9: 「このカタパルトは凛々しい」ということは成り立つ
事実10: このカタパルトは慎ましい
事実11: もし「このカタパルトは慎ましい」ということは真実だとすればそれは連続波ドプラ波形でない
事実12: もし仮にその記憶内容が慎ましくないならばこのカタパルトは慎ましくない
事実13: あのテレビ・ビデオが連続波ドプラ波形であるならそれが仲間入りするしその上御提案しない
事実14: あの九十七年度は泥炭層だ
事実15: このカタパルトは連続波ドプラ波形だということはない
事実16: あの法条順が泥炭層であるならそれは叩き起こすしそれにそれは晒さない

仮説: このカタパルトは泥炭層だけれどそれは連続波ドプラ波形でない
1. 事実8と事実10から、仮説が導かれる

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