この職務強要罪は修築しない
fact1: この原は招喚する fact2: その精神安定薬は招喚しない fact3: 「このパソコンは修築する」ということは成り立つ fact4: もしも「その精神安定薬は招喚するということはなくてかつ修築するということはない」ということは嘘であるならこの職務強要罪は修築しない fact5: 堪り兼ねるということはないがしかし新聞社だというものはない fact6: この職務強要罪は招喚する fact7: もしもなにがしかのものは疎明するとしたら「招喚するということはなくて加えて修築しない」ということは成り立たない fact8: この閉ループ特性は信仰深くなくて御早くない fact9: この職務強要罪は無効化する fact10: 「新聞社は疎明する」ということは正しい fact11: もしも「その精神安定薬は招喚しない」ということは正しいとすればこの職務強要罪は修築する fact12: もし仮にこの四百七十七人が堪り兼ねるとしたらその精神安定薬は新聞社である fact13: あの戦後は招喚しない
fact11 & fact2 -> hypothesis;
fact11 & fact2 -> hypothesis;
この愛敬は招喚する
fact14 -> int1: 「その精神安定薬は堪り兼ねらない一方でそれは新聞社だ」ということは誤りである; int1 -> int2: 「「堪り兼ねらないが新聞社である」ということは偽な」物はある;
$facts$ = fact1: この原は招喚する fact2: その精神安定薬は招喚しない fact3: 「このパソコンは修築する」ということは成り立つ fact4: もしも「その精神安定薬は招喚するということはなくてかつ修築するということはない」ということは嘘であるならこの職務強要罪は修築しない fact5: 堪り兼ねるということはないがしかし新聞社だというものはない fact6: この職務強要罪は招喚する fact7: もしもなにがしかのものは疎明するとしたら「招喚するということはなくて加えて修築しない」ということは成り立たない fact8: この閉ループ特性は信仰深くなくて御早くない fact9: この職務強要罪は無効化する fact10: 「新聞社は疎明する」ということは正しい fact11: もしも「その精神安定薬は招喚しない」ということは正しいとすればこの職務強要罪は修築する fact12: もし仮にこの四百七十七人が堪り兼ねるとしたらその精神安定薬は新聞社である fact13: あの戦後は招喚しない ; $hypothesis$ = この職務強要罪は修築しない ; $proof$ = 
fact11 & fact2 -> hypothesis; __DISPROVED__
事実1: この原は招喚する
事実2: その精神安定薬は招喚しない
事実3: 「このパソコンは修築する」ということは成り立つ
事実4: もしも「その精神安定薬は招喚するということはなくてかつ修築するということはない」ということは嘘であるならこの職務強要罪は修築しない
事実5: 堪り兼ねるということはないがしかし新聞社だというものはない
事実6: この職務強要罪は招喚する
事実7: もしもなにがしかのものは疎明するとしたら「招喚するということはなくて加えて修築しない」ということは成り立たない
事実8: この閉ループ特性は信仰深くなくて御早くない
事実9: この職務強要罪は無効化する
事実10: 「新聞社は疎明する」ということは正しい
事実11: もしも「その精神安定薬は招喚しない」ということは正しいとすればこの職務強要罪は修築する
事実12: もし仮にこの四百七十七人が堪り兼ねるとしたらその精神安定薬は新聞社である
事実13: あの戦後は招喚しない

仮説: この職務強要罪は修築しない
1. 事実11と事実2から、仮説が否定される

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