「「その甘露煮は心置き無いがしかし青森産であるということはない」ということは間違っているとするとその水循環は最大装甲厚でない」ということは成り立たない
fact1: もし仮にあの組織傷害が青森産であるとすればその甘露煮は公共化するが青森産でない fact2: もし「「あの組織傷害は公共化するがしかし最大装甲厚でない」ということは間違いだ」ということは間違いであるということはないならその水循環は非同盟運動だ fact3: その甘露煮は公共化する fact4: あの組織傷害は青森産でない fact5: もしその甘露煮が非同盟運動だとしたらその水循環は非同盟運動でない fact6: もし「その甘露煮は心置き無い一方で青森産でない」ということは間違いだとするとあの組織傷害は公共化する fact7: その甘露煮が非同盟運動だとするとその水循環は心置き無いがしかし非同盟運動であるということはない fact8: 仮に非同盟運動が公共化しないならば最大装甲厚でない fact9: 仮にあの組織傷害が公共化するとしたらその水循環は非同盟運動である一方でそれは公共化しない fact10: 「その甘露煮は青森産だ一方で忙しいということはない」ということは誤っている fact11: もし心置き無いものは最大装甲厚でないならば青森産である fact12: もしもこの納入者が御考え頂くけれどそれが想定しないならば痛い fact13: あの組織傷害は非同盟運動であるけれど公共化するということはないとすればそれは最大装甲厚でない fact14: もしあの組織傷害が非同盟運動だし公共化するとしたら最大装甲厚でない fact15: この焼き肉屋は公共化しない fact16: もしもその甘露煮が公共化するとすればあの組織傷害は心置き無い
void -> assump1: 以下のように仮定する。「「その甘露煮は心置き無いけどそれは青森産でない」ということは事実だ」ということは成り立たない; fact6 & assump1 -> int1: あの組織傷害は公共化する; int1 & fact9 -> int2: その水循環は非同盟運動であるけど公共化しない; fact8 -> int3: もしその水循環は非同盟運動であるけど公共化するということはないならば最大装甲厚でない; int2 & int3 -> int4: その水循環は最大装甲厚でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にあの組織傷害が青森産であるとすればその甘露煮は公共化するが青森産でない fact2: もし「「あの組織傷害は公共化するがしかし最大装甲厚でない」ということは間違いだ」ということは間違いであるということはないならその水循環は非同盟運動だ fact3: その甘露煮は公共化する fact4: あの組織傷害は青森産でない fact5: もしその甘露煮が非同盟運動だとしたらその水循環は非同盟運動でない fact6: もし「その甘露煮は心置き無い一方で青森産でない」ということは間違いだとするとあの組織傷害は公共化する fact7: その甘露煮が非同盟運動だとするとその水循環は心置き無いがしかし非同盟運動であるということはない fact8: 仮に非同盟運動が公共化しないならば最大装甲厚でない fact9: 仮にあの組織傷害が公共化するとしたらその水循環は非同盟運動である一方でそれは公共化しない fact10: 「その甘露煮は青森産だ一方で忙しいということはない」ということは誤っている fact11: もし心置き無いものは最大装甲厚でないならば青森産である fact12: もしもこの納入者が御考え頂くけれどそれが想定しないならば痛い fact13: あの組織傷害は非同盟運動であるけれど公共化するということはないとすればそれは最大装甲厚でない fact14: もしあの組織傷害が非同盟運動だし公共化するとしたら最大装甲厚でない fact15: この焼き肉屋は公共化しない fact16: もしもその甘露煮が公共化するとすればあの組織傷害は心置き無い ; $hypothesis$ = 「「その甘露煮は心置き無いがしかし青森産であるということはない」ということは間違っているとするとその水循環は最大装甲厚でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その甘露煮は心置き無いけどそれは青森産でない」ということは事実だ」ということは成り立たない; fact6 & assump1 -> int1: あの組織傷害は公共化する; int1 & fact9 -> int2: その水循環は非同盟運動であるけど公共化しない; fact8 -> int3: もしその水循環は非同盟運動であるけど公共化するということはないならば最大装甲厚でない; int2 & int3 -> int4: その水循環は最大装甲厚でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの組織傷害が青森産であるとすればその甘露煮は公共化するが青森産でない
事実2: もし「「あの組織傷害は公共化するがしかし最大装甲厚でない」ということは間違いだ」ということは間違いであるということはないならその水循環は非同盟運動だ
事実3: その甘露煮は公共化する
事実4: あの組織傷害は青森産でない
事実5: もしその甘露煮が非同盟運動だとしたらその水循環は非同盟運動でない
事実6: もし「その甘露煮は心置き無い一方で青森産でない」ということは間違いだとするとあの組織傷害は公共化する
事実7: その甘露煮が非同盟運動だとするとその水循環は心置き無いがしかし非同盟運動であるということはない
事実8: 仮に非同盟運動が公共化しないならば最大装甲厚でない
事実9: 仮にあの組織傷害が公共化するとしたらその水循環は非同盟運動である一方でそれは公共化しない
事実10: 「その甘露煮は青森産だ一方で忙しいということはない」ということは誤っている
事実11: もし心置き無いものは最大装甲厚でないならば青森産である
事実12: もしもこの納入者が御考え頂くけれどそれが想定しないならば痛い
事実13: あの組織傷害は非同盟運動であるけれど公共化するということはないとすればそれは最大装甲厚でない
事実14: もしあの組織傷害が非同盟運動だし公共化するとしたら最大装甲厚でない
事実15: この焼き肉屋は公共化しない
事実16: もしもその甘露煮が公共化するとすればあの組織傷害は心置き無い

仮説: 「「その甘露煮は心置き無いがしかし青森産であるということはない」ということは間違っているとするとその水循環は最大装甲厚でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「「その甘露煮は心置き無いけどそれは青森産でない」ということは事実だ」ということは成り立たない
2. 事実6と仮定1から、推論1: "あの組織傷害は公共化する"が導かれる
3. 推論1と事実9から、推論2: "その水循環は非同盟運動であるけど公共化しない"が導かれる
4. 事実8から、推論3: "もしその水循環は非同盟運動であるけど公共化するということはないならば最大装甲厚でない"が導かれる
5. 推論2と推論3から、推論4: "その水循環は最大装甲厚でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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