「あのＤＮＡチップは言い易くないししかもはまちでない」ということは嘘だ
fact1: 仮に「「このＭＯデはこそばゆくない一方で試験状況だ」ということは間違いである」ということは本当ならばあの新青年は掃討しない fact2: もしもその出入りが追認しなくてまたやくざっぽくないとすればあの複式簿記は発車しない fact3: もし「あるものはこそばゆくない」ということは誤っているということはないならば「泣き濡れないしそれは障害給付だ」ということは間違っている fact4: もしなにかは追認するとすると「それは発車するかもしくはやくざっぽいということはないか両方ともである」ということは成り立つ fact5: 仮にこの複式簿記が泣き濡れるならばあの新青年は掃討する fact6: この複式簿記が当該申告だとすればあの新青年は掃討する fact7: もしもこの複式簿記が発車しないとするとそれは当該申告であるかあるいは泣き濡れる fact8: その出入りは追認しなくてやくざっぽいということはない fact9: 「あのＤＮＡチップは言い易くないしかつはまちでない」ということは成り立たないとすればそれは試験状況だということはない fact10: もしもなにかは発車するかやくざっぽくないか両方ともであるならそれは当該申告でない fact11: 仮にある物が掃討しないけどそれは試験状況であるとするとそれはこそばゆくない fact12: もし仮に「あのＤＮＡチップは当該申告であるということはない」ということは成り立つとすると「その職務強要罪は掃討しないけど試験状況だ」ということは事実である fact13: もしもあるものは加盟国だということはないならば「統合化しないしさらに黄色くない」ということは成り立たない fact14: 「「あのＤＮＡチップは統合化しないししかもそれは黄色くない」ということは事実である」ということは偽なら追認する fact15: 「あのＤＮＡチップは言い易いがそれははまちでない」ということは嘘だ fact16: もしもあのＤＮＡチップは試験状況でないならば「このＭＯデはこそばゆくないけど試験状況だ」ということは間違いである
void -> assump1: 以下のように仮定する。「あのＤＮＡチップは言い易くないししかもそれははまちだということはない」ということは成り立たない; fact9 & assump1 -> int1: あのＤＮＡチップは試験状況でない; int1 & fact16 -> int2: 「このＭＯデはこそばゆくないけれど試験状況だ」ということは嘘だ; int2 & fact1 -> int3: あの新青年は掃討するということはない; fact8 & fact2 -> int4: この複式簿記は発車するということはない; fact7 & int4 -> int5: この複式簿記は当該申告であるかもしくは泣き濡れるかあるいは両方ともだ; fact5 & fact6 & int5 -> int6: あの新青年は掃討する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その職務強要罪は泣き濡れないが障害給付である」ということは成り立つということはない
fact22 -> int8: もし「その職務強要罪はこそばゆくない」ということは間違っているということはないなら「泣き濡れないけど障害給付である」ということは成り立たない; fact23 -> int9: もしもその職務強要罪が掃討しないけどそれは試験状況であるとすればそれはこそばゆくない; fact17 -> int10: 仮にあのＤＮＡチップが発車するかやくざっぽくないかもしくは両方ともであるとしたら当該申告でない; fact20 -> int11: 仮にあのＤＮＡチップが追認すれば発車するかやくざっぽくない; fact21 -> int12: もし仮に「あのＤＮＡチップは加盟国だということはない」ということは真実であるとしたら「それは統合化しなくてそれにそれは黄色いということはない」ということは間違いだ;
$facts$ = fact1: 仮に「「このＭＯデはこそばゆくない一方で試験状況だ」ということは間違いである」ということは本当ならばあの新青年は掃討しない fact2: もしもその出入りが追認しなくてまたやくざっぽくないとすればあの複式簿記は発車しない fact3: もし「あるものはこそばゆくない」ということは誤っているということはないならば「泣き濡れないしそれは障害給付だ」ということは間違っている fact4: もしなにかは追認するとすると「それは発車するかもしくはやくざっぽいということはないか両方ともである」ということは成り立つ fact5: 仮にこの複式簿記が泣き濡れるならばあの新青年は掃討する fact6: この複式簿記が当該申告だとすればあの新青年は掃討する fact7: もしもこの複式簿記が発車しないとするとそれは当該申告であるかあるいは泣き濡れる fact8: その出入りは追認しなくてやくざっぽいということはない fact9: 「あのＤＮＡチップは言い易くないしかつはまちでない」ということは成り立たないとすればそれは試験状況だということはない fact10: もしもなにかは発車するかやくざっぽくないか両方ともであるならそれは当該申告でない fact11: 仮にある物が掃討しないけどそれは試験状況であるとするとそれはこそばゆくない fact12: もし仮に「あのＤＮＡチップは当該申告であるということはない」ということは成り立つとすると「その職務強要罪は掃討しないけど試験状況だ」ということは事実である fact13: もしもあるものは加盟国だということはないならば「統合化しないしさらに黄色くない」ということは成り立たない fact14: 「「あのＤＮＡチップは統合化しないししかもそれは黄色くない」ということは事実である」ということは偽なら追認する fact15: 「あのＤＮＡチップは言い易いがそれははまちでない」ということは嘘だ fact16: もしもあのＤＮＡチップは試験状況でないならば「このＭＯデはこそばゆくないけど試験状況だ」ということは間違いである ; $hypothesis$ = 「あのＤＮＡチップは言い易くないししかもはまちでない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのＤＮＡチップは言い易くないししかもそれははまちだということはない」ということは成り立たない; fact9 & assump1 -> int1: あのＤＮＡチップは試験状況でない; int1 & fact16 -> int2: 「このＭＯデはこそばゆくないけれど試験状況だ」ということは嘘だ; int2 & fact1 -> int3: あの新青年は掃討するということはない; fact8 & fact2 -> int4: この複式簿記は発車するということはない; fact7 & int4 -> int5: この複式簿記は当該申告であるかもしくは泣き濡れるかあるいは両方ともだ; fact5 & fact6 & int5 -> int6: あの新青年は掃討する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 仮に「「このＭＯデはこそばゆくない一方で試験状況だ」ということは間違いである」ということは本当ならばあの新青年は掃討しない
事実2: もしもその出入りが追認しなくてまたやくざっぽくないとすればあの複式簿記は発車しない
事実3: もし「あるものはこそばゆくない」ということは誤っているということはないならば「泣き濡れないしそれは障害給付だ」ということは間違っている
事実4: もしなにかは追認するとすると「それは発車するかもしくはやくざっぽいということはないか両方ともである」ということは成り立つ
事実5: 仮にこの複式簿記が泣き濡れるならばあの新青年は掃討する
事実6: この複式簿記が当該申告だとすればあの新青年は掃討する
事実7: もしもこの複式簿記が発車しないとするとそれは当該申告であるかあるいは泣き濡れる
事実8: その出入りは追認しなくてやくざっぽいということはない
事実9: 「あのＤＮＡチップは言い易くないしかつはまちでない」ということは成り立たないとすればそれは試験状況だということはない
事実10: もしもなにかは発車するかやくざっぽくないか両方ともであるならそれは当該申告でない
事実11: 仮にある物が掃討しないけどそれは試験状況であるとするとそれはこそばゆくない
事実12: もし仮に「あのＤＮＡチップは当該申告であるということはない」ということは成り立つとすると「その職務強要罪は掃討しないけど試験状況だ」ということは事実である
事実13: もしもあるものは加盟国だということはないならば「統合化しないしさらに黄色くない」ということは成り立たない
事実14: 「「あのＤＮＡチップは統合化しないししかもそれは黄色くない」ということは事実である」ということは偽なら追認する
事実15: 「あのＤＮＡチップは言い易いがそれははまちでない」ということは嘘だ
事実16: もしもあのＤＮＡチップは試験状況でないならば「このＭＯデはこそばゆくないけど試験状況だ」ということは間違いである

仮説: 「あのＤＮＡチップは言い易くないししかもはまちでない」ということは嘘だ
1. 仮定1: 以下のように仮定する。「あのＤＮＡチップは言い易くないししかもそれははまちだということはない」ということは成り立たない
2. 事実9と仮定1から、推論1: "あのＤＮＡチップは試験状況でない"が導かれる
3. 推論1と事実16から、推論2: "「このＭＯデはこそばゆくないけれど試験状況だ」ということは嘘だ"が導かれる
4. 推論2と事実1から、推論3: "あの新青年は掃討するということはない"が導かれる
5. 事実8と事実2から、推論4: "この複式簿記は発車するということはない"が導かれる
6. 事実7と推論4から、推論5: "この複式簿記は当該申告であるかもしくは泣き濡れるかあるいは両方ともだ"が導かれる
7. 事実5と事実6と推論5から、推論6: "あの新青年は掃討する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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