その湾曲部は口汚いけれどメーカーさんでない
fact1: 仮に「この廃油はメーカーさんでない」ということは確かであるとすればあの湾曲部は口汚いけど乱打しない fact2: その湾曲部はＭＡＰであるが乱打しない fact3: もしもこの廃油が乱打しないならその湾曲部は口汚いがメーカーさんであるということはない fact4: その選挙公営化は口汚いということはない fact5: この輸出先は乱打しない fact6: この廃油は山口小学校でない fact7: もしもあの家庭崩壊が人懐こくないとするとあの学級経営は乳母車だがそれは伸び易いということはない fact8: 仮にその湾曲部が画像情報であるということはないとするとこの廃油はスイミングプールだけれど乱打しない fact9: その仮処分命令は口汚くない fact10: もしも「その湾曲部は乱打しない」ということは確かであるならばこの廃油はメーカーさんでない fact11: その湾曲部が乱打しないとすればこの廃油は口汚くない fact12: この廃油はメーカーさんでない fact13: 仮にその湾曲部が口汚いということはないとするとこの廃油は乱打するがしかしメーカーさんだということはない fact14: この廃油は乱打しない fact15: 「その湾曲部は口汚くない」ということは事実ならこの廃油はメーカーさんであるが乱打しない
fact3 & fact14 -> hypothesis;
fact3 & fact14 -> hypothesis;
$facts$ = fact1: 仮に「この廃油はメーカーさんでない」ということは確かであるとすればあの湾曲部は口汚いけど乱打しない fact2: その湾曲部はＭＡＰであるが乱打しない fact3: もしもこの廃油が乱打しないならその湾曲部は口汚いがメーカーさんであるということはない fact4: その選挙公営化は口汚いということはない fact5: この輸出先は乱打しない fact6: この廃油は山口小学校でない fact7: もしもあの家庭崩壊が人懐こくないとするとあの学級経営は乳母車だがそれは伸び易いということはない fact8: 仮にその湾曲部が画像情報であるということはないとするとこの廃油はスイミングプールだけれど乱打しない fact9: その仮処分命令は口汚くない fact10: もしも「その湾曲部は乱打しない」ということは確かであるならばこの廃油はメーカーさんでない fact11: その湾曲部が乱打しないとすればこの廃油は口汚くない fact12: この廃油はメーカーさんでない fact13: 仮にその湾曲部が口汚いということはないとするとこの廃油は乱打するがしかしメーカーさんだということはない fact14: この廃油は乱打しない fact15: 「その湾曲部は口汚くない」ということは事実ならこの廃油はメーカーさんであるが乱打しない ; $hypothesis$ = その湾曲部は口汚いけれどメーカーさんでない ; $proof$ = 
fact3 & fact14 -> hypothesis; __PROVED__
事実1: 仮に「この廃油はメーカーさんでない」ということは確かであるとすればあの湾曲部は口汚いけど乱打しない
事実2: その湾曲部はＭＡＰであるが乱打しない
事実3: もしもこの廃油が乱打しないならその湾曲部は口汚いがメーカーさんであるということはない
事実4: その選挙公営化は口汚いということはない
事実5: この輸出先は乱打しない
事実6: この廃油は山口小学校でない
事実7: もしもあの家庭崩壊が人懐こくないとするとあの学級経営は乳母車だがそれは伸び易いということはない
事実8: 仮にその湾曲部が画像情報であるということはないとするとこの廃油はスイミングプールだけれど乱打しない
事実9: その仮処分命令は口汚くない
事実10: もしも「その湾曲部は乱打しない」ということは確かであるならばこの廃油はメーカーさんでない
事実11: その湾曲部が乱打しないとすればこの廃油は口汚くない
事実12: この廃油はメーカーさんでない
事実13: 仮にその湾曲部が口汚いということはないとするとこの廃油は乱打するがしかしメーカーさんだということはない
事実14: この廃油は乱打しない
事実15: 「その湾曲部は口汚くない」ということは事実ならこの廃油はメーカーさんであるが乱打しない

仮説: その湾曲部は口汚いけれどメーカーさんでない
1. 事実3と事実14から、仮説が導かれる

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