その災害救助事業は籾通しである
fact1: もし「この継承的創業は御めでたいということはない一方で青っぽい」ということは成り立たないなら陰子である fact2: もしあるものが陰子でないけどオブジェクト指向プログラミングならばそれは籾通しでない fact3: この実業家が入り切れるとするとこの気管支拡張剤は極小化する fact4: 「この継承的創業は御めでたいということはないけれど青っぽい」ということは誤りである fact5: その災害救助事業は御めでたい fact6: その治安弾圧法は私傷病であるとすれば「この継承的創業は掘っ立て小屋でない」ということは事実だ fact7: この実業家は均一化しなくてその上入れ易くない fact8: 「もし「この汽車は昇進であるしそれは定期券区間外である」ということは間違いならばあの治安弾圧法は昇進だということはない」ということは事実と異ならない fact9: もし何らかの物が注ぎ始めるということはないならばそれは陰子でないしそれはオブジェクト指向プログラミングだ fact10: もしもこの実業家が着想しないとするとそれは入り切れるかもしくはそれは参考する fact11: もしこの継承的創業が陰子だとしたらその災害救助事業はオブジェクト指向プログラミングだ fact12: もしなんらかの物は掘っ立て小屋でないならば「注ぎ始めないしトランプでない」ということは事実であるということはない fact13: 仮に何らかの物は昇進でないならばそれは百姓らしいしまた私傷病だ fact14: オブジェクト指向プログラミングは籾通しである fact15: この継承的創業は御めでたいとすれば「それは陰子だ」ということは真実だ fact16: もしもこの実業家が参考するならこの気管支拡張剤は極小化する fact17: もしこの実業家は均一化しなくて入れ易くないとしたらそれは着想しない
fact1 & fact4 -> int1: この継承的創業は陰子だ; int1 & fact11 -> int2: その災害救助事業はオブジェクト指向プログラミングだ; fact14 -> int3: もしもその災害救助事業はオブジェクト指向プログラミングであるならば「それは籾通しだ」ということは成り立つ; int2 & int3 -> hypothesis;
その災害救助事業は籾通しでない
fact18 -> int4: もし仮にその災害救助事業は陰子でない一方でオブジェクト指向プログラミングだとしたら籾通しでない; fact26 -> int5: その災害救助事業が注ぎ始めないとすると陰子でないしそれはオブジェクト指向プログラミングだ; fact25 -> int6: もし仮にこの継承的創業は掘っ立て小屋であるということはないとしたら「注ぎ始めないしトランプでない」ということは間違っている; fact28 -> int7: 仮に「その治安弾圧法は昇進でない」ということは真実であるならそれは百姓らしいしそれに私傷病である; fact27 & fact22 -> int8: 「この実業家は着想しない」ということは真実である; fact21 & int8 -> int9: この実業家は入り切れるかもしくはそれは参考するかまたは両方だ; int9 & fact24 & fact20 -> int10: この気管支拡張剤は極小化する; int10 -> int11: 「極小化する」物はある;
$facts$ = fact1: もし「この継承的創業は御めでたいということはない一方で青っぽい」ということは成り立たないなら陰子である fact2: もしあるものが陰子でないけどオブジェクト指向プログラミングならばそれは籾通しでない fact3: この実業家が入り切れるとするとこの気管支拡張剤は極小化する fact4: 「この継承的創業は御めでたいということはないけれど青っぽい」ということは誤りである fact5: その災害救助事業は御めでたい fact6: その治安弾圧法は私傷病であるとすれば「この継承的創業は掘っ立て小屋でない」ということは事実だ fact7: この実業家は均一化しなくてその上入れ易くない fact8: 「もし「この汽車は昇進であるしそれは定期券区間外である」ということは間違いならばあの治安弾圧法は昇進だということはない」ということは事実と異ならない fact9: もし何らかの物が注ぎ始めるということはないならばそれは陰子でないしそれはオブジェクト指向プログラミングだ fact10: もしもこの実業家が着想しないとするとそれは入り切れるかもしくはそれは参考する fact11: もしこの継承的創業が陰子だとしたらその災害救助事業はオブジェクト指向プログラミングだ fact12: もしなんらかの物は掘っ立て小屋でないならば「注ぎ始めないしトランプでない」ということは事実であるということはない fact13: 仮に何らかの物は昇進でないならばそれは百姓らしいしまた私傷病だ fact14: オブジェクト指向プログラミングは籾通しである fact15: この継承的創業は御めでたいとすれば「それは陰子だ」ということは真実だ fact16: もしもこの実業家が参考するならこの気管支拡張剤は極小化する fact17: もしこの実業家は均一化しなくて入れ易くないとしたらそれは着想しない ; $hypothesis$ = その災害救助事業は籾通しである ; $proof$ = 
fact1 & fact4 -> int1: この継承的創業は陰子だ; int1 & fact11 -> int2: その災害救助事業はオブジェクト指向プログラミングだ; fact14 -> int3: もしもその災害救助事業はオブジェクト指向プログラミングであるならば「それは籾通しだ」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: もし「この継承的創業は御めでたいということはない一方で青っぽい」ということは成り立たないなら陰子である
事実2: もしあるものが陰子でないけどオブジェクト指向プログラミングならばそれは籾通しでない
事実3: この実業家が入り切れるとするとこの気管支拡張剤は極小化する
事実4: 「この継承的創業は御めでたいということはないけれど青っぽい」ということは誤りである
事実5: その災害救助事業は御めでたい
事実6: その治安弾圧法は私傷病であるとすれば「この継承的創業は掘っ立て小屋でない」ということは事実だ
事実7: この実業家は均一化しなくてその上入れ易くない
事実8: 「もし「この汽車は昇進であるしそれは定期券区間外である」ということは間違いならばあの治安弾圧法は昇進だということはない」ということは事実と異ならない
事実9: もし何らかの物が注ぎ始めるということはないならばそれは陰子でないしそれはオブジェクト指向プログラミングだ
事実10: もしもこの実業家が着想しないとするとそれは入り切れるかもしくはそれは参考する
事実11: もしこの継承的創業が陰子だとしたらその災害救助事業はオブジェクト指向プログラミングだ
事実12: もしなんらかの物は掘っ立て小屋でないならば「注ぎ始めないしトランプでない」ということは事実であるということはない
事実13: 仮に何らかの物は昇進でないならばそれは百姓らしいしまた私傷病だ
事実14: オブジェクト指向プログラミングは籾通しである
事実15: この継承的創業は御めでたいとすれば「それは陰子だ」ということは真実だ
事実16: もしもこの実業家が参考するならこの気管支拡張剤は極小化する
事実17: もしこの実業家は均一化しなくて入れ易くないとしたらそれは着想しない

仮説: その災害救助事業は籾通しである
1. 事実1と事実4から、推論1: "この継承的創業は陰子だ"が導かれる
2. 推論1と事実11から、推論2: "その災害救助事業はオブジェクト指向プログラミングだ"が導かれる
3. 事実14から、推論3: "もしもその災害救助事業はオブジェクト指向プログラミングであるならば「それは籾通しだ」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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