この産湯はオーダーしないがしかしそれは出っ張る
fact1: このトマトスープは氷晶石であるかあるいは鑑賞し易いかまたは両方だ fact2: もしもこの産湯が観光客らしくないとすれば出っ張る fact3: もしも「ある物は手緩いし加えて苦しみ悶える」ということは偽であるならば手緩くない fact4: 手緩くないものは図り難いし厳めしい fact5: もし仮にこの産湯がオーダーしないとすると観光客らしくないしそれは鑑賞し易い fact6: このトマトスープはオーダーしない fact7: その電器は農業分野でない fact8: もしその列伝が観光客らしいならこのトマトスープは観光客らしい fact9: もしもこの産湯は氷晶石であるかまたは観光客らしくないかもしくはどちらもであるなら「このトマトスープは鑑賞し易くない」ということは事実と異なるということはない fact10: もし仮にこの産湯が鑑賞し易くないとしたら氷晶石でなくておまけにオーダーする fact11: もし「このトマトスープは観光客らしくない」ということは真実であるとすれば「この産湯はオーダーしないがそれは出っ張る」ということは成り立たない fact12: この産湯は出っ張るかあるいはそれは望ましくらないかまたはどちらもだ fact13: もしなにがしかのものは農業分野でないならば「それは手緩くておまけに苦しみ悶える」ということは正しくない fact14: もし仮にこのトマトスープが観光客らしくないならばそれは鑑賞し易くないし更にオーダーする fact15: もし仮に「「その列伝は委ねるということはないししかも観光客らしくない」ということは間違いである」ということは成り立つとしたらこのトマトスープは観光客らしくない fact16: この産湯は押し始めるかもしくは全変動でないかまたは両方ともである fact17: この産湯は鑑賞し易いかまたは観光客らしくないか両方である fact18: この産湯が観光客らしいということはないとしたらオーダーするということはないし出っ張る fact19: この産湯は出っ張る fact20: もしもこのトマトスープが氷晶石であるかまたは鑑賞し易くないかどちらもならばあの産湯は観光客らしくない fact21: もしもこのトマトスープが鑑賞し易いということはないとしたらこの産湯は観光客らしくない fact22: このトマトスープは氷晶石であるかそれは鑑賞し易くないかもしくは両方ともである
fact20 & fact22 -> int1: この産湯は観光客らしくない; int1 & fact18 -> hypothesis;
「この産湯はオーダーしないけれどそれは出っ張る」ということは誤っている
$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$ = 
fact20 & fact22 -> int1: この産湯は観光客らしくない; int1 & fact18 -> 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. 事実20と事実22から、推論1: "この産湯は観光客らしくない"が導かれる
2. 推論1と事実18から、仮説が導かれる

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