この遺伝子組み替え食品はアンチョビーである
fact1: もしもあるものが裁判しないならばそれはアンチョビーであるかあるいはそれは事前・事後テストであるか両方ともである fact2: この工業中心が事前・事後テストでないがそれが裁判するとするとこの遺伝子組み替え食品は事前・事後テストでない fact3: もしも何かは事前・事後テストでないならば「それはアンチョビーでなくてそれに彼等形だ」ということは嘘である fact4: 皮肉っぽくないものは紳士らしいということはないしかつ苦々しかない fact5: もしもその鋼は重々しかないとすると「その紡績会社は易しし適合する」ということは成り立たない fact6: 「「適合するということはない」ものがあるとすればこの遺伝子組み替え食品は皮肉っぽくない」ということは成り立つ fact7: この遺伝子組み替え食品は彼等形である fact8: この工業中心が危険性・蓋然性であるということはないならば裁判するし更に事前・事後テストだ fact9: もし仮に「何らかのものはアンチョビーでないけれど彼等形である」ということは嘘であるとしたらアンチョビーだ fact10: この工業中心は危険性・蓋然性でない fact11: もしもこの遺伝子組み替え食品が彼等形であるしそれにアンチョビーだとすればあの工業中心は事前・事後テストでない fact12: 事前・事後テストは彼等形である fact13: この都市ガスは裁判しない fact14: もし仮にとあるものは発展し続けるということはないなら「それは危険性・蓋然性であるかもしくは掛かり易くない」ということは間違っている fact15: 仮に「その紡績会社は易しし適合する」ということは誤りであるとすればこの工業中心は適合しない fact16: 「とある物は危険性・蓋然性であるかあるいは掛かり易くないか両方だ」ということは誤っているとしたら散大する fact17: この栽培環境は平和共存路線でなくて発展し続けない fact18: もし仮に紳士らしくないものが苦々しかないとすればあの栽培環境は裁判しない fact19: その度忘れは臨時職員会議でない fact20: この工業中心は裁判する fact21: 仮にその度忘れが臨時職員会議でないならばその鋼は重々しかない
void -> assump1: 以下のように仮定する。この遺伝子組み替え食品はアンチョビーだ; fact7 & assump1 -> int1: この遺伝子組み替え食品は彼等形でアンチョビーである; int1 & fact11 -> int2: この工業中心は事前・事後テストでない; fact10 & fact8 -> int3: この工業中心は裁判するし事前・事後テストだ; int3 -> int4: この工業中心は事前・事後テストだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この遺伝子組み替え食品はアンチョビーである
fact23 -> int6: もし「「「この遺伝子組み替え食品はアンチョビーであるということはない一方で彼等形だ」ということは事実である」ということは間違いである」ということは正しいとするとアンチョビーである; fact22 -> int7: 仮にこの遺伝子組み替え食品は事前・事後テストでないとしたら「それはアンチョビーでなくてまた彼等形だ」ということは成り立たない;
$facts$ = fact1: もしもあるものが裁判しないならばそれはアンチョビーであるかあるいはそれは事前・事後テストであるか両方ともである fact2: この工業中心が事前・事後テストでないがそれが裁判するとするとこの遺伝子組み替え食品は事前・事後テストでない fact3: もしも何かは事前・事後テストでないならば「それはアンチョビーでなくてそれに彼等形だ」ということは嘘である fact4: 皮肉っぽくないものは紳士らしいということはないしかつ苦々しかない fact5: もしもその鋼は重々しかないとすると「その紡績会社は易しし適合する」ということは成り立たない fact6: 「「適合するということはない」ものがあるとすればこの遺伝子組み替え食品は皮肉っぽくない」ということは成り立つ fact7: この遺伝子組み替え食品は彼等形である fact8: この工業中心が危険性・蓋然性であるということはないならば裁判するし更に事前・事後テストだ fact9: もし仮に「何らかのものはアンチョビーでないけれど彼等形である」ということは嘘であるとしたらアンチョビーだ fact10: この工業中心は危険性・蓋然性でない fact11: もしもこの遺伝子組み替え食品が彼等形であるしそれにアンチョビーだとすればあの工業中心は事前・事後テストでない fact12: 事前・事後テストは彼等形である fact13: この都市ガスは裁判しない fact14: もし仮にとあるものは発展し続けるということはないなら「それは危険性・蓋然性であるかもしくは掛かり易くない」ということは間違っている fact15: 仮に「その紡績会社は易しし適合する」ということは誤りであるとすればこの工業中心は適合しない fact16: 「とある物は危険性・蓋然性であるかあるいは掛かり易くないか両方だ」ということは誤っているとしたら散大する fact17: この栽培環境は平和共存路線でなくて発展し続けない fact18: もし仮に紳士らしくないものが苦々しかないとすればあの栽培環境は裁判しない fact19: その度忘れは臨時職員会議でない fact20: この工業中心は裁判する fact21: 仮にその度忘れが臨時職員会議でないならばその鋼は重々しかない ; $hypothesis$ = この遺伝子組み替え食品はアンチョビーである ; $proof$ = 
void -> assump1: 以下のように仮定する。この遺伝子組み替え食品はアンチョビーだ; fact7 & assump1 -> int1: この遺伝子組み替え食品は彼等形でアンチョビーである; int1 & fact11 -> int2: この工業中心は事前・事後テストでない; fact10 & fact8 -> int3: この工業中心は裁判するし事前・事後テストだ; int3 -> int4: この工業中心は事前・事後テストだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもあるものが裁判しないならばそれはアンチョビーであるかあるいはそれは事前・事後テストであるか両方ともである
事実2: この工業中心が事前・事後テストでないがそれが裁判するとするとこの遺伝子組み替え食品は事前・事後テストでない
事実3: もしも何かは事前・事後テストでないならば「それはアンチョビーでなくてそれに彼等形だ」ということは嘘である
事実4: 皮肉っぽくないものは紳士らしいということはないしかつ苦々しかない
事実5: もしもその鋼は重々しかないとすると「その紡績会社は易しし適合する」ということは成り立たない
事実6: 「「適合するということはない」ものがあるとすればこの遺伝子組み替え食品は皮肉っぽくない」ということは成り立つ
事実7: この遺伝子組み替え食品は彼等形である
事実8: この工業中心が危険性・蓋然性であるということはないならば裁判するし更に事前・事後テストだ
事実9: もし仮に「何らかのものはアンチョビーでないけれど彼等形である」ということは嘘であるとしたらアンチョビーだ
事実10: この工業中心は危険性・蓋然性でない
事実11: もしもこの遺伝子組み替え食品が彼等形であるしそれにアンチョビーだとすればあの工業中心は事前・事後テストでない
事実12: 事前・事後テストは彼等形である
事実13: この都市ガスは裁判しない
事実14: もし仮にとあるものは発展し続けるということはないなら「それは危険性・蓋然性であるかもしくは掛かり易くない」ということは間違っている
事実15: 仮に「その紡績会社は易しし適合する」ということは誤りであるとすればこの工業中心は適合しない
事実16: 「とある物は危険性・蓋然性であるかあるいは掛かり易くないか両方だ」ということは誤っているとしたら散大する
事実17: この栽培環境は平和共存路線でなくて発展し続けない
事実18: もし仮に紳士らしくないものが苦々しかないとすればあの栽培環境は裁判しない
事実19: その度忘れは臨時職員会議でない
事実20: この工業中心は裁判する
事実21: 仮にその度忘れが臨時職員会議でないならばその鋼は重々しかない

仮説: この遺伝子組み替え食品はアンチョビーである
1. 仮定1: 以下のように仮定する。この遺伝子組み替え食品はアンチョビーだ
2. 事実7と仮定1から、推論1: "この遺伝子組み替え食品は彼等形でアンチョビーである"が導かれる
3. 推論1と事実11から、推論2: "この工業中心は事前・事後テストでない"が導かれる
4. 事実10と事実8から、推論3: "この工業中心は裁判するし事前・事後テストだ"が導かれる
5. 推論3から、推論4: "この工業中心は事前・事後テストだ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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