「あの上接語は七十年代であるかまたはそれは輸入国側でない」ということは間違っている
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: 以下のように仮定する。あの上接語は七十年代であるかあるいは輸入国側でないかあるいはどちらもである; assump1 & fact13 & fact22 -> int1: 「その亜硝酸塩標準溶液は世知辛くない」ということは事実である; int1 & fact10 -> int2: 「「その焼身供養はか弱くないし加えて世知辛くない」ということは成り立つ」ということは間違いだ; fact1 & fact7 -> int3: その焼身供養はか弱くない; int3 & fact20 -> int4: その焼身供養はか弱くないしそれにそれは世知辛いということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの上接語は七十年代であるかあるいは輸入国側でないかもしくは両方である
fact26 -> int6: もしもあの上接語が世知辛いならばそれは七十年代である; fact25 & fact28 -> int7: その複雑怪奇は騒ぎ立てるということはない; fact29 & int7 -> int8: その亜硝酸塩標準溶液はかじかまない; int8 -> int9: なにがしかの物はかじかまない; int9 & fact27 -> int10: その焼身供養は因り難い; int10 -> int11: 「「因り難い」ということは偽でない」物はある;
$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: 以下のように仮定する。あの上接語は七十年代であるかあるいは輸入国側でないかあるいはどちらもである; assump1 & fact13 & fact22 -> int1: 「その亜硝酸塩標準溶液は世知辛くない」ということは事実である; int1 & fact10 -> int2: 「「その焼身供養はか弱くないし加えて世知辛くない」ということは成り立つ」ということは間違いだ; fact1 & fact7 -> int3: その焼身供養はか弱くない; int3 & fact20 -> int4: その焼身供養はか弱くないしそれにそれは世知辛いということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> 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. 仮定1と事実13と事実22から、推論1: "「その亜硝酸塩標準溶液は世知辛くない」ということは事実である"が導かれる
3. 推論1と事実10から、推論2: "「「その焼身供養はか弱くないし加えて世知辛くない」ということは成り立つ」ということは間違いだ"が導かれる
4. 事実1と事実7から、推論3: "その焼身供養はか弱くない"が導かれる
5. 推論3と事実20から、推論4: "その焼身供養はか弱くないしそれにそれは世知辛いということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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