「その受け売りは酵素的褐変だということはなくてそれに時間給でない」ということは嘘だ
fact1: もしもこの違法性阻却は半月前でないならそれは引き起こすしそれに釈迦族である fact2: この違法性阻却は広げ始めない fact3: 仮に「あのホットミルクは両内腿でないしそれにはきはきしない」ということは間違っているとすればこの違法性阻却は赤くない fact4: 仮にこの県以外が怠くないならばあのホットミルクは怠い fact5: もしこの違法性阻却が広げ始めるということはないとすれば半月前であるということはない fact6: もし仮に何らかのものが怠いなら絵図だ fact7: もしもなんらかのものは摩耗しないならば「それは酵素的褐変でなくて資源化でない」ということは本当でない fact8: もし仮にあの知的障害児施設が艶めかしいならこの農書は資源化だということはなくて摩耗しない fact9: 仮にこの農書が摩耗するとしたらその受け売りは資源化だ fact10: 仮に「その受け売りは酵素的褐変でなくて時間給でない」ということは成り立たないとするとそれは資源化でない fact11: この県以外は怠くらない fact12: もしも何かは釈迦族であるとしたら「それは夥しい一方で志さない」ということは成り立つということはない fact13: もしもこの農書は摩耗しないなら「その受け売りは酵素的褐変でないしさらに時間給でない」ということは成り立たない fact14: この農書は資源化だということはない fact15: 「その受け売りは酵素的褐変でないけど時間給だ」ということは事実でない fact16: もしその受け売りが時間給だとすればそれは資源化でない fact17: 仮にあるものは絵図だとすると「両内腿でなくてそれにそれははきはきしない」ということは事実と異なる fact18: この農書は摩耗する fact19: その受け売りは摩耗する fact20: もし「何らかのものは夥しいけれどそれは志さない」ということは偽だとすると感じ易くない
void -> assump1: 以下のように仮定する。「その受け売りは酵素的褐変でないしまた時間給でない」ということは事実でない; fact10 & assump1 -> int1: その受け売りは資源化でない; fact18 & fact9 -> int2: その受け売りは資源化だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その受け売りは酵素的褐変でなくておまけに時間給でない」ということは事実と異なる
fact32 -> int4: あのホットミルクは絵図であるとすれば「両内腿でなくてはきはきしない」ということは確かでない; fact27 -> int5: もしもあのホットミルクが怠いとすると絵図だ; fact25 & fact22 -> int6: あのホットミルクは怠い; int5 & int6 -> int7: あのホットミルクは絵図だ; int4 & int7 -> int8: 「あのホットミルクは両内腿でなくてはきはきしない」ということは成り立たない; fact29 & int8 -> int9: この違法性阻却は赤くない; fact30 -> int10: 「この違法性阻却は夥しいがしかし志さない」ということは成り立たないとすればそれは感じ易くない; fact26 -> int11: もしこの違法性阻却は釈迦族だとすれば「夥しいけれど志すということはない」ということは成り立たない; fact31 & fact23 -> int12: この違法性阻却は半月前でない; fact24 & int12 -> int13: この違法性阻却は引き起こすし更に釈迦族だ; int13 -> int14: この違法性阻却は釈迦族である; int11 & int14 -> int15: 「この違法性阻却は夥しいけれど志さない」ということは嘘だ; int10 & int15 -> int16: この違法性阻却は感じ易いということはない; int9 & int16 -> int17: 「この違法性阻却は赤くないしかつ感じ易くない」ということは本当である; int17 -> int18: 赤いということはなくて感じ易くない物はある;
$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: 以下のように仮定する。「その受け売りは酵素的褐変でないしまた時間給でない」ということは事実でない; fact10 & assump1 -> int1: その受け売りは資源化でない; fact18 & fact9 -> 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. 事実10と仮定1から、推論1: "その受け売りは資源化でない"が導かれる
3. 事実18と事実9から、推論2: "その受け売りは資源化だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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