「もしもそのカラーバリエーションが危うしないならその神経核は理容師でない」ということは確かだということはない
fact1: もし仮にその連基通が危うしないとしたらそのカラーバリエーションは見回りでないかもしくはそれは続出でないかまたはどちらもだ fact2: もしその神経核が理容師ならそのカラーバリエーションは見回りでないかあるいは危うしないかもしくは両方ともである fact3: その連基通は見回りでないか続出であるか両方ともである fact4: もしその神経核が拾いであるとするとそのカラーバリエーションは十四以降だ fact5: 「もしもその連基通が続出でないとするとその神経核は理容師でない」ということは事実である fact6: もしそのカラーバリエーションが危うしないならその連基通は見回りでないかあるいはそれは続出であるかもしくは両方ともだ fact7: もし仮に「そのカラーバリエーションは危うしない」ということは真実であるとすればその連基通は見回りでないかあるいはそれは続出でないか両方である fact8: もしもそのカラーバリエーションが危うしならばその連基通は見回りでないかあるいは続出でないか両方である fact9: もし仮にそのカラーバリエーションが続出であるとするとその連基通は危うしない fact10: もし仮にそのカラーバリエーションが危うしとしたらその神経核は理容師でない fact11: もしもその連基通が見回りであるということはないかあるいは続出でないかもしくは両方ともであるとするとその神経核は理容師でない fact12: この初当たりは見回りでない fact13: もしあの乾癬が拾いであるということはないならばその神経核は拾いだ fact14: もし仮にそのカラーバリエーションが十四以降で選挙キャンペーンであるとしたらあの気管支拡張剤は十四以降であるということはない fact15: その連基通が危うしないとするとそのカラーバリエーションは見回りである fact16: 「「瑞々しくないし天使らしい」ということは成り立たない」ものはある fact17: もしも「なんらかの物は理容師であるがしかし危うしない」ということは嘘ならば続出でない fact18: もしも「その神経核は危うし」ということは正しいとするとその連基通は見回りでないかあるいは理容師でない fact19: その神経核が続出でないならばその連基通は見回りでないかそれは理容師であるかもしくはどちらもである fact20: もしも何かは十四以降でないとしたら「それは理容師であるし加えて危うしない」ということは成り立たない
void -> assump1: 以下のように仮定する。そのカラーバリエーションは危うしない; fact7 & assump1 -> int1: その連基通は見回りでないか続出でないかもしくは両方である; int1 & fact11 -> int2: その神経核は理容師だということはない; [assump1] & int2 -> hypothesis;
あの気管支拡張剤は続出でない
fact23 -> int3: もしも「あの気管支拡張剤は理容師だけれど危うしない」ということは偽だとしたら続出でない; fact21 -> int4: もしもあの気管支拡張剤は十四以降だということはないとすれば「理容師だ一方で危うしない」ということは誤りだ;
$facts$ = fact1: もし仮にその連基通が危うしないとしたらそのカラーバリエーションは見回りでないかもしくはそれは続出でないかまたはどちらもだ fact2: もしその神経核が理容師ならそのカラーバリエーションは見回りでないかあるいは危うしないかもしくは両方ともである fact3: その連基通は見回りでないか続出であるか両方ともである fact4: もしその神経核が拾いであるとするとそのカラーバリエーションは十四以降だ fact5: 「もしもその連基通が続出でないとするとその神経核は理容師でない」ということは事実である fact6: もしそのカラーバリエーションが危うしないならその連基通は見回りでないかあるいはそれは続出であるかもしくは両方ともだ fact7: もし仮に「そのカラーバリエーションは危うしない」ということは真実であるとすればその連基通は見回りでないかあるいはそれは続出でないか両方である fact8: もしもそのカラーバリエーションが危うしならばその連基通は見回りでないかあるいは続出でないか両方である fact9: もし仮にそのカラーバリエーションが続出であるとするとその連基通は危うしない fact10: もし仮にそのカラーバリエーションが危うしとしたらその神経核は理容師でない fact11: もしもその連基通が見回りであるということはないかあるいは続出でないかもしくは両方ともであるとするとその神経核は理容師でない fact12: この初当たりは見回りでない fact13: もしあの乾癬が拾いであるということはないならばその神経核は拾いだ fact14: もし仮にそのカラーバリエーションが十四以降で選挙キャンペーンであるとしたらあの気管支拡張剤は十四以降であるということはない fact15: その連基通が危うしないとするとそのカラーバリエーションは見回りである fact16: 「「瑞々しくないし天使らしい」ということは成り立たない」ものはある fact17: もしも「なんらかの物は理容師であるがしかし危うしない」ということは嘘ならば続出でない fact18: もしも「その神経核は危うし」ということは正しいとするとその連基通は見回りでないかあるいは理容師でない fact19: その神経核が続出でないならばその連基通は見回りでないかそれは理容師であるかもしくはどちらもである fact20: もしも何かは十四以降でないとしたら「それは理容師であるし加えて危うしない」ということは成り立たない ; $hypothesis$ = 「もしもそのカラーバリエーションが危うしないならその神経核は理容師でない」ということは確かだということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのカラーバリエーションは危うしない; fact7 & assump1 -> int1: その連基通は見回りでないか続出でないかもしくは両方である; int1 & fact11 -> int2: その神経核は理容師だということはない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその連基通が危うしないとしたらそのカラーバリエーションは見回りでないかもしくはそれは続出でないかまたはどちらもだ
事実2: もしその神経核が理容師ならそのカラーバリエーションは見回りでないかあるいは危うしないかもしくは両方ともである
事実3: その連基通は見回りでないか続出であるか両方ともである
事実4: もしその神経核が拾いであるとするとそのカラーバリエーションは十四以降だ
事実5: 「もしもその連基通が続出でないとするとその神経核は理容師でない」ということは事実である
事実6: もしそのカラーバリエーションが危うしないならその連基通は見回りでないかあるいはそれは続出であるかもしくは両方ともだ
事実7: もし仮に「そのカラーバリエーションは危うしない」ということは真実であるとすればその連基通は見回りでないかあるいはそれは続出でないか両方である
事実8: もしもそのカラーバリエーションが危うしならばその連基通は見回りでないかあるいは続出でないか両方である
事実9: もし仮にそのカラーバリエーションが続出であるとするとその連基通は危うしない
事実10: もし仮にそのカラーバリエーションが危うしとしたらその神経核は理容師でない
事実11: もしもその連基通が見回りであるということはないかあるいは続出でないかもしくは両方ともであるとするとその神経核は理容師でない
事実12: この初当たりは見回りでない
事実13: もしあの乾癬が拾いであるということはないならばその神経核は拾いだ
事実14: もし仮にそのカラーバリエーションが十四以降で選挙キャンペーンであるとしたらあの気管支拡張剤は十四以降であるということはない
事実15: その連基通が危うしないとするとそのカラーバリエーションは見回りである
事実16: 「「瑞々しくないし天使らしい」ということは成り立たない」ものはある
事実17: もしも「なんらかの物は理容師であるがしかし危うしない」ということは嘘ならば続出でない
事実18: もしも「その神経核は危うし」ということは正しいとするとその連基通は見回りでないかあるいは理容師でない
事実19: その神経核が続出でないならばその連基通は見回りでないかそれは理容師であるかもしくはどちらもである
事実20: もしも何かは十四以降でないとしたら「それは理容師であるし加えて危うしない」ということは成り立たない

仮説: 「もしもそのカラーバリエーションが危うしないならその神経核は理容師でない」ということは確かだということはない
1. 仮定1: 以下のように仮定する。そのカラーバリエーションは危うしない
2. 事実7と仮定1から、推論1: "その連基通は見回りでないか続出でないかもしくは両方である"が導かれる
3. 推論1と事実11から、推論2: "その神経核は理容師だということはない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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