「その御夢が相州屋であるとするとこのファイアーウォールソフトは軽減出来る」ということは偽である
fact1: 「このＡＮＤは二等航海士でない一方でそれは押し付けがましい」ということは成り立たない fact2: その御夢は軽減出来る fact3: 「このＡＮＤは後退らないが二等航海士だ」ということは成り立たない fact4: このファイアーウォールソフトは後退る fact5: あの社会福祉調査は後退る fact6: もしもその御夢が押し付けがましいということはない相州屋ならばこのファイアーウォールソフトは軽減出来る fact7: このＡＮＤは二等航海士でない一方で突き続ける fact8: もし仮にこのＡＮＤが二等航海士だとしたらその資金源は藤原達だ fact9: もしも「その資金源は二等航海士でないしそれに後退るということはない」ということは間違っているとしたら「このＡＮＤは藤原達だ」ということは本当だ fact10: 「このＡＮＤは後退るということはなくておまけに二等航海士でない」ということは間違っている fact11: もしも「このＡＮＤは後退らないしそれは二等航海士でない」ということは真実でないとしたらその資金源は藤原達だ fact12: もし何かは藤原達ならばそれは突き続ける fact13: 「このＡＮＤは御宜しくないし加えて相州屋であるということはない」ということは成り立たない fact14: 「このファイアーウォールソフトは狂う」ということは成り立つ fact15: 仮に「その資金源は突き続ける」ということは嘘でないとするとその御夢は押し付けがましかない fact16: その御夢は藤原達である fact17: もし何らかの物は突き続けないならば「それは転換するということはないしまた妬ましくない」ということは成り立たない fact18: 「その御夢は相州屋である一方でそれは軽減出来ない」ということは事実でない
fact11 & fact10 -> int1: その資金源は藤原達だ; fact12 -> int2: もしその資金源は藤原達であるなら「突き続ける」ということは確かだ; int1 & int2 -> int3: 「その資金源は突き続ける」ということは成り立つ; int3 & fact15 -> int4: その御夢は押し付けがましかない; void -> assump1: 以下のように仮定する。その御夢は相州屋である; int4 & assump1 -> int5: その御夢は押し付けがましかないが相州屋だ; int5 & fact6 -> int6: このファイアーウォールソフトは軽減出来る; [assump1] & int6 -> hypothesis;
「「その御夢は転換しないし加えて妬ましくない」ということは正しい」ということは成り立たない
fact19 -> int7: もしもその御夢は突き続けないとすると「転換しないし妬ましくない」ということは事実と異なる;
$facts$ = fact1: 「このＡＮＤは二等航海士でない一方でそれは押し付けがましい」ということは成り立たない fact2: その御夢は軽減出来る fact3: 「このＡＮＤは後退らないが二等航海士だ」ということは成り立たない fact4: このファイアーウォールソフトは後退る fact5: あの社会福祉調査は後退る fact6: もしもその御夢が押し付けがましいということはない相州屋ならばこのファイアーウォールソフトは軽減出来る fact7: このＡＮＤは二等航海士でない一方で突き続ける fact8: もし仮にこのＡＮＤが二等航海士だとしたらその資金源は藤原達だ fact9: もしも「その資金源は二等航海士でないしそれに後退るということはない」ということは間違っているとしたら「このＡＮＤは藤原達だ」ということは本当だ fact10: 「このＡＮＤは後退るということはなくておまけに二等航海士でない」ということは間違っている fact11: もしも「このＡＮＤは後退らないしそれは二等航海士でない」ということは真実でないとしたらその資金源は藤原達だ fact12: もし何かは藤原達ならばそれは突き続ける fact13: 「このＡＮＤは御宜しくないし加えて相州屋であるということはない」ということは成り立たない fact14: 「このファイアーウォールソフトは狂う」ということは成り立つ fact15: 仮に「その資金源は突き続ける」ということは嘘でないとするとその御夢は押し付けがましかない fact16: その御夢は藤原達である fact17: もし何らかの物は突き続けないならば「それは転換するということはないしまた妬ましくない」ということは成り立たない fact18: 「その御夢は相州屋である一方でそれは軽減出来ない」ということは事実でない ; $hypothesis$ = 「その御夢が相州屋であるとするとこのファイアーウォールソフトは軽減出来る」ということは偽である ; $proof$ = 
fact11 & fact10 -> int1: その資金源は藤原達だ; fact12 -> int2: もしその資金源は藤原達であるなら「突き続ける」ということは確かだ; int1 & int2 -> int3: 「その資金源は突き続ける」ということは成り立つ; int3 & fact15 -> int4: その御夢は押し付けがましかない; void -> assump1: 以下のように仮定する。その御夢は相州屋である; int4 & assump1 -> int5: その御夢は押し付けがましかないが相州屋だ; int5 & fact6 -> int6: このファイアーウォールソフトは軽減出来る; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「このＡＮＤは二等航海士でない一方でそれは押し付けがましい」ということは成り立たない
事実2: その御夢は軽減出来る
事実3: 「このＡＮＤは後退らないが二等航海士だ」ということは成り立たない
事実4: このファイアーウォールソフトは後退る
事実5: あの社会福祉調査は後退る
事実6: もしもその御夢が押し付けがましいということはない相州屋ならばこのファイアーウォールソフトは軽減出来る
事実7: このＡＮＤは二等航海士でない一方で突き続ける
事実8: もし仮にこのＡＮＤが二等航海士だとしたらその資金源は藤原達だ
事実9: もしも「その資金源は二等航海士でないしそれに後退るということはない」ということは間違っているとしたら「このＡＮＤは藤原達だ」ということは本当だ
事実10: 「このＡＮＤは後退るということはなくておまけに二等航海士でない」ということは間違っている
事実11: もしも「このＡＮＤは後退らないしそれは二等航海士でない」ということは真実でないとしたらその資金源は藤原達だ
事実12: もし何かは藤原達ならばそれは突き続ける
事実13: 「このＡＮＤは御宜しくないし加えて相州屋であるということはない」ということは成り立たない
事実14: 「このファイアーウォールソフトは狂う」ということは成り立つ
事実15: 仮に「その資金源は突き続ける」ということは嘘でないとするとその御夢は押し付けがましかない
事実16: その御夢は藤原達である
事実17: もし何らかの物は突き続けないならば「それは転換するということはないしまた妬ましくない」ということは成り立たない
事実18: 「その御夢は相州屋である一方でそれは軽減出来ない」ということは事実でない

仮説: 「その御夢が相州屋であるとするとこのファイアーウォールソフトは軽減出来る」ということは偽である
1. 事実11と事実10から、推論1: "その資金源は藤原達だ"が導かれる
2. 事実12から、推論2: "もしその資金源は藤原達であるなら「突き続ける」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "「その資金源は突き続ける」ということは成り立つ"が導かれる
4. 推論3と事実15から、推論4: "その御夢は押し付けがましかない"が導かれる
5. 仮定1: 以下のように仮定する。その御夢は相州屋である
6. 推論4と仮定1から、推論5: "その御夢は押し付けがましかないが相州屋だ"が導かれる
7. 推論5と事実6から、推論6: "このファイアーウォールソフトは軽減出来る"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。