「あの気温変動は目敏い物であり加えて勘違いし易くない」ということは成り立たない
fact1: あの気温変動は勘違いし易いということはない fact2: もしも「あの一貫性がアジアンだしさらにそれは作成し為さる」ということは成り立たないとしたら作成し為さらない fact3: 「あの気温変動は目敏いしおまけに勘違いし易い」ということは成り立たない fact4: この酸欠状態は糾弾である fact5: あの気温変動がアジアンでないならこの薬液注入は作成し為さるということはなくてもがき苦しむということはない fact6: もし仮になにかは作成し為さらないしもがき苦しまないとすれば「繰り返し見ない」ということは正しい fact7: あの気温変動は繰り返し見るが跳ね返らない fact8: 仮にこの酸欠状態が糾弾であるが心許なくないならあの気温変動は糾弾だ fact9: この酸欠状態は糾弾だがしかし勘違いし易いということはない fact10: もしもこの酸欠状態が父親らしいとすればあの気温変動はアジアンでないけど確からしい fact11: もしもなにがしかのものは繰り返し見ないならば「それは糾弾でなくて心許なくない」ということは成り立たない fact12: もしも「何かは糾弾でなくて心許なくない」ということは間違いだとしたら「糾弾だ」ということは正しい fact13: あの気温変動が勘違いし易いとしたらこの酸欠状態は心許なくない fact14: この酸欠状態は糾弾だし心許ない fact15: 「あの気温変動は目敏い一方でそれは勘違いし易くない」ということは成り立つということはないとするとこの酸欠状態は心許なくない fact16: この酸欠状態は付着し易いしその上可笑しい fact17: 「この酸欠状態は付着し易い」ということは事実であるならそれは父親らしい fact18: もし仮に「あの一貫性は作成し為さらない」ということは真実だとすればそれは繰り返し見ない fact19: もしもあるものは糾弾であるとしたら「目敏いけれど勘違いし易くない」ということは成り立たない fact20: もし仮になんらかの物は糾弾であるとしたら「それは撥ね飛ばすししかもそれは開催地でない」ということは偽だ
void -> assump1: 以下のように仮定する。「あの気温変動は目敏いがしかし勘違いし易くない」ということは誤りである; fact15 & assump1 -> int1: この酸欠状態は心許ないということはない; fact14 -> int2: 「この酸欠状態は心許ない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact15 & assump1 -> int1: ¬{B}{b}; fact14 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「「この薬液注入は撥ね飛ばすけれど開催地でない」ということは事実である」ということは誤っている
fact22 -> int4: もしもこの薬液注入は糾弾であるなら「それは撥ね飛ばす一方で開催地でない」ということは真実であるということはない; fact21 -> int5: もし仮に「この薬液注入は糾弾だということはなくてそれに心許ないということはない」ということは成り立たないならば「糾弾だ」ということは真実だ; fact26 -> int6: もしこの薬液注入は繰り返し見ないとすれば「それは糾弾でないし心許なくない」ということは本当でない; fact27 -> int7: 仮にこの薬液注入が作成し為さらなくて加えてもがき苦しむということはないならばそれは繰り返し見ない; fact25 -> int8: この酸欠状態は付着し易い; fact24 & int8 -> int9: この酸欠状態は父親らしい; fact28 & int9 -> int10: あの気温変動はアジアンでないが確からしい; int10 -> int11: 「あの気温変動はアジアンでない」ということは成り立つ; fact23 & int11 -> int12: この薬液注入は作成し為さるということはないしもがき苦しむということはない; int7 & int12 -> int13: この薬液注入は繰り返し見ない; int6 & int13 -> int14: 「この薬液注入は糾弾だということはないしその上心許なくない」ということは間違いだ; int5 & int14 -> int15: この薬液注入は糾弾である; int4 & int15 -> hypothesis;
$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: 以下のように仮定する。「あの気温変動は目敏いがしかし勘違いし易くない」ということは誤りである; fact15 & assump1 -> int1: この酸欠状態は心許ないということはない; fact14 -> int2: 「この酸欠状態は心許ない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実15と仮定1から、推論1: "この酸欠状態は心許ないということはない"が導かれる
3. 事実14から、推論2: "「この酸欠状態は心許ない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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