あのたね・木の実は条文草案でない
fact1: あのたね・木の実は収益計上する fact2: もしもその万能寺が懐こくないとしたらその傾斜路は懐こくない fact3: もし仮に何らかの物は収益計上すれば「あのレッド・ホット・チリ・ペッパーズは懐こいということはない一方で掛け易い」ということは成り立たない fact4: もし仮に「蔣政権である」ものがあるとしたらその万能寺は醜いけど豚箱でない fact5: あの用紙全体は蔣政権だ fact6: もしもあの三条実美等が水切りするとするとあのレッド・ホット・チリ・ペッパーズは水切りしない fact7: 何らかのものはエジプト遠征であるということはないとしたら「この共立企業はエジプト遠征だし定年退職する」ということは成り立たない fact8: もし仮に醜い物は豚箱でないとしたら懐こくない fact9: 「あのレッド・ホット・チリ・ペッパーズは収益計上する」ということは確かである fact10: もし仮にこの共立企業は水切りしないとすれば「それは懐こくて更に掛け易い」ということは成り立たない fact11: もしもなにがしかのものは水切りするとすると「それはヘアクリームでなくてそれにエジプト遠征だ」ということは成り立たない fact12: 「あの金利等は収益計上する」ということは確かである fact13: もしもあのレッド・ホット・チリ・ペッパーズは水切りしないならば「この共立企業は条文草案であるということはないしさらにヘアクリームでない」ということは偽だ fact14: もしこの共立企業がヘアクリームだとしたら水切りしない fact15: もしも「なにかは歩き辛くないけれど辞世である」ということは成り立つということはないとしたら「収益計上しない」ということは本当だ fact16: 「この共立企業は懐こいし更に掛け易い」ということは成り立たないならあのレッド・ホット・チリ・ペッパーズは収益計上しない fact17: もしもこのＰＡＯが収益計上するということはないとしたらその傾斜路は掛け易い fact18: もしも「この共立企業は懐こいということはない」ということは成り立つとすればあのレッド・ホット・チリ・ペッパーズは収益計上しない fact19: 「このＰＡＯは御着きに成る」ということは確かである fact20: もし仮に掛け易い物が懐こくないならばあの三条実美等は水切りする fact21: 「この共立企業は辞世でない」ということは正しい fact22: もしこのＰＡＯは御着きに成るなら「それは歩き辛くなくておまけにそれは辞世である」ということは成り立たない fact23: もし仮に「ある物はヘアクリームであるということはないけどエジプト遠征である」ということは嘘ならばエジプト遠征でない fact24: 「この共立企業が辞世でないしその上ヘアクリームでないとしたらあのたね・木の実は条文草案であるということはない」ということは間違いでない
void -> assump1: 以下のように仮定する。この共立企業はヘアクリームだ; fact14 & assump1 -> int1: 「この共立企業は水切りしない」ということは成り立つ; int1 & fact10 -> int2: 「この共立企業は懐こくて更に掛け易い」ということは成り立たない; int2 & fact16 -> int3: あのレッド・ホット・チリ・ペッパーズは収益計上しない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この共立企業はヘアクリームでない; int5 & fact21 -> int6: この共立企業は辞世でなくてヘアクリームであるということはない; int6 & fact24 -> hypothesis;
「あのたね・木の実は条文草案である」ということは正しい
fact33 -> int7: もしも「このＰＡＯは歩き辛くないが辞世である」ということは誤っていれば収益計上しない; fact27 & fact29 -> int8: 「「このＰＡＯは歩き辛くないがしかし辞世だ」ということは本当である」ということは間違いだ; int7 & int8 -> int9: このＰＡＯは収益計上しない; fact30 & int9 -> int10: 「その傾斜路は掛け易い」ということは確かである; fact32 -> int11: もし仮にその万能寺が醜いがしかしそれは豚箱でないとしたら懐こくない; fact31 -> int12: 「何らかの物は蔣政権である」ということは成り立つ; int12 & fact34 -> int13: その万能寺は醜いが豚箱でない; int11 & int13 -> int14: 「その万能寺は懐こくない」ということは本当である; fact28 & int14 -> int15: その傾斜路は懐こくない; int10 & int15 -> int16: その傾斜路は掛け易いけどそれは懐こくない; int16 -> int17: なにかは掛け易いけど懐こくない; int17 & fact26 -> int18: あの三条実美等は水切りする; fact25 & int18 -> int19: あのレッド・ホット・チリ・ペッパーズは水切りしない; fact35 & int19 -> int20: 「この共立企業は条文草案でなくて加えてヘアクリームでない」ということは誤りだ; int20 -> int21: 「「条文草案でなくてヘアクリームでない」ということは成り立たない」ものはある;
$facts$ = fact1: あのたね・木の実は収益計上する fact2: もしもその万能寺が懐こくないとしたらその傾斜路は懐こくない fact3: もし仮に何らかの物は収益計上すれば「あのレッド・ホット・チリ・ペッパーズは懐こいということはない一方で掛け易い」ということは成り立たない fact4: もし仮に「蔣政権である」ものがあるとしたらその万能寺は醜いけど豚箱でない fact5: あの用紙全体は蔣政権だ fact6: もしもあの三条実美等が水切りするとするとあのレッド・ホット・チリ・ペッパーズは水切りしない fact7: 何らかのものはエジプト遠征であるということはないとしたら「この共立企業はエジプト遠征だし定年退職する」ということは成り立たない fact8: もし仮に醜い物は豚箱でないとしたら懐こくない fact9: 「あのレッド・ホット・チリ・ペッパーズは収益計上する」ということは確かである fact10: もし仮にこの共立企業は水切りしないとすれば「それは懐こくて更に掛け易い」ということは成り立たない fact11: もしもなにがしかのものは水切りするとすると「それはヘアクリームでなくてそれにエジプト遠征だ」ということは成り立たない fact12: 「あの金利等は収益計上する」ということは確かである fact13: もしもあのレッド・ホット・チリ・ペッパーズは水切りしないならば「この共立企業は条文草案であるということはないしさらにヘアクリームでない」ということは偽だ fact14: もしこの共立企業がヘアクリームだとしたら水切りしない fact15: もしも「なにかは歩き辛くないけれど辞世である」ということは成り立つということはないとしたら「収益計上しない」ということは本当だ fact16: 「この共立企業は懐こいし更に掛け易い」ということは成り立たないならあのレッド・ホット・チリ・ペッパーズは収益計上しない fact17: もしもこのＰＡＯが収益計上するということはないとしたらその傾斜路は掛け易い fact18: もしも「この共立企業は懐こいということはない」ということは成り立つとすればあのレッド・ホット・チリ・ペッパーズは収益計上しない fact19: 「このＰＡＯは御着きに成る」ということは確かである fact20: もし仮に掛け易い物が懐こくないならばあの三条実美等は水切りする fact21: 「この共立企業は辞世でない」ということは正しい fact22: もしこのＰＡＯは御着きに成るなら「それは歩き辛くなくておまけにそれは辞世である」ということは成り立たない fact23: もし仮に「ある物はヘアクリームであるということはないけどエジプト遠征である」ということは嘘ならばエジプト遠征でない fact24: 「この共立企業が辞世でないしその上ヘアクリームでないとしたらあのたね・木の実は条文草案であるということはない」ということは間違いでない ; $hypothesis$ = あのたね・木の実は条文草案でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この共立企業はヘアクリームだ; fact14 & assump1 -> int1: 「この共立企業は水切りしない」ということは成り立つ; int1 & fact10 -> int2: 「この共立企業は懐こくて更に掛け易い」ということは成り立たない; int2 & fact16 -> int3: あのレッド・ホット・チリ・ペッパーズは収益計上しない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この共立企業はヘアクリームでない; int5 & fact21 -> int6: この共立企業は辞世でなくてヘアクリームであるということはない; int6 & fact24 -> hypothesis; __PROVED__
事実1: あのたね・木の実は収益計上する
事実2: もしもその万能寺が懐こくないとしたらその傾斜路は懐こくない
事実3: もし仮に何らかの物は収益計上すれば「あのレッド・ホット・チリ・ペッパーズは懐こいということはない一方で掛け易い」ということは成り立たない
事実4: もし仮に「蔣政権である」ものがあるとしたらその万能寺は醜いけど豚箱でない
事実5: あの用紙全体は蔣政権だ
事実6: もしもあの三条実美等が水切りするとするとあのレッド・ホット・チリ・ペッパーズは水切りしない
事実7: 何らかのものはエジプト遠征であるということはないとしたら「この共立企業はエジプト遠征だし定年退職する」ということは成り立たない
事実8: もし仮に醜い物は豚箱でないとしたら懐こくない
事実9: 「あのレッド・ホット・チリ・ペッパーズは収益計上する」ということは確かである
事実10: もし仮にこの共立企業は水切りしないとすれば「それは懐こくて更に掛け易い」ということは成り立たない
事実11: もしもなにがしかのものは水切りするとすると「それはヘアクリームでなくてそれにエジプト遠征だ」ということは成り立たない
事実12: 「あの金利等は収益計上する」ということは確かである
事実13: もしもあのレッド・ホット・チリ・ペッパーズは水切りしないならば「この共立企業は条文草案であるということはないしさらにヘアクリームでない」ということは偽だ
事実14: もしこの共立企業がヘアクリームだとしたら水切りしない
事実15: もしも「なにかは歩き辛くないけれど辞世である」ということは成り立つということはないとしたら「収益計上しない」ということは本当だ
事実16: 「この共立企業は懐こいし更に掛け易い」ということは成り立たないならあのレッド・ホット・チリ・ペッパーズは収益計上しない
事実17: もしもこのＰＡＯが収益計上するということはないとしたらその傾斜路は掛け易い
事実18: もしも「この共立企業は懐こいということはない」ということは成り立つとすればあのレッド・ホット・チリ・ペッパーズは収益計上しない
事実19: 「このＰＡＯは御着きに成る」ということは確かである
事実20: もし仮に掛け易い物が懐こくないならばあの三条実美等は水切りする
事実21: 「この共立企業は辞世でない」ということは正しい
事実22: もしこのＰＡＯは御着きに成るなら「それは歩き辛くなくておまけにそれは辞世である」ということは成り立たない
事実23: もし仮に「ある物はヘアクリームであるということはないけどエジプト遠征である」ということは嘘ならばエジプト遠征でない
事実24: 「この共立企業が辞世でないしその上ヘアクリームでないとしたらあのたね・木の実は条文草案であるということはない」ということは間違いでない

仮説: あのたね・木の実は条文草案でない
1. 仮定1: 以下のように仮定する。この共立企業はヘアクリームだ
2. 事実14と仮定1から、推論1: "「この共立企業は水切りしない」ということは成り立つ"が導かれる
3. 推論1と事実10から、推論2: "「この共立企業は懐こくて更に掛け易い」ということは成り立たない"が導かれる
4. 推論2と事実16から、推論3: "あのレッド・ホット・チリ・ペッパーズは収益計上しない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この共立企業はヘアクリームでない"が導かれる
7. 推論5と事実21から、推論6: "この共立企業は辞世でなくてヘアクリームであるということはない"が導かれる
8. 推論6と事実24から、仮説が導かれる

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