「「この硝酸態窒素は外注するかまたはスローであるかまたは両方ともである」ということは本当である」ということは間違っている
fact1: その糞っ垂れが外注しないならこの硝酸態窒素は外注するかまたはスローであるかもしくは両方だ fact2: あの十九世紀初めは腹立たしいかあるいはそれはしつこい fact3: もし仮にこの硝酸態窒素が弾き易いとすればその糞っ垂れは二十五ページ参照でない fact4: その創作性が思しないかまたは腹立たしいかもしくは両方だとするとその糞っ垂れは外注しない fact5: 「専心は取り外せないか区分するかどちらもだ」ということは偽でない fact6: 仮にその創作性は専心でないなら「この硝酸態窒素は外注するかそれはスローであるかあるいは両方だ」ということは確かでない fact7: その創作性は専心だ fact8: もしも「その糞っ垂れは専心だ」ということは事実だとすればそれは外注しないかまたは腹立たしいかまたは両方だ fact9: もし仮に「なんらかのものは二十五ページ参照で閲覧出来る」ということは成り立たないならばそれはスローでない fact10: もしもその創作性は専心であるとすればそれは思しかまたは腹立たしいかまたは両方ともだ fact11: 「発生し易いししかも記す」ものはある fact12: その膨らみは弾き易い fact13: その膨らみは弾き易いししかも発生し易いなら「その糞っ垂れは閲覧出来ない」ということは成り立つ fact14: その創作性が思しということはないとすればその糞っ垂れは外注しない fact15: 仮にその創作性はスローでないとすれば「この発展型は専心であるし外注する」ということは成り立つ fact16: もし仮にその創作性が思しとすると専心であるかあるいはスローであるかもしくは両方ともである fact17: その創作性が専心であるとしたら思しないかまたは腹立たしいかまたは両方ともである fact18: 仮にこの硝酸態窒素が専心だとするとそれは腹立たしくらないかあるいはそれは外注するかあるいはどちらもである fact19: その糞っ垂れは外注するかまたはそれは思しかまたは両方ともである
fact17 & fact7 -> int1: その創作性は思しないかもしくはそれは腹立たしいかまたは両方である; int1 & fact4 -> int2: その糞っ垂れは外注しない; int2 & fact1 -> hypothesis;
fact17 & fact7 -> int1: (¬{AA}{a} v {AB}{a}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact1 -> hypothesis;
この発展型は取り外せるということはないかまたは区分するかあるいはどちらもである
fact24 -> int3: この発展型は専心であるならそれは取り外せないかもしくは区分するかあるいは両方ともである; fact21 -> int4: 仮に「その創作性は二十五ページ参照であるし閲覧出来る」ということは誤っているとすればスローでない;
$facts$ = fact1: その糞っ垂れが外注しないならこの硝酸態窒素は外注するかまたはスローであるかもしくは両方だ fact2: あの十九世紀初めは腹立たしいかあるいはそれはしつこい fact3: もし仮にこの硝酸態窒素が弾き易いとすればその糞っ垂れは二十五ページ参照でない fact4: その創作性が思しないかまたは腹立たしいかもしくは両方だとするとその糞っ垂れは外注しない fact5: 「専心は取り外せないか区分するかどちらもだ」ということは偽でない fact6: 仮にその創作性は専心でないなら「この硝酸態窒素は外注するかそれはスローであるかあるいは両方だ」ということは確かでない fact7: その創作性は専心だ fact8: もしも「その糞っ垂れは専心だ」ということは事実だとすればそれは外注しないかまたは腹立たしいかまたは両方だ fact9: もし仮に「なんらかのものは二十五ページ参照で閲覧出来る」ということは成り立たないならばそれはスローでない fact10: もしもその創作性は専心であるとすればそれは思しかまたは腹立たしいかまたは両方ともだ fact11: 「発生し易いししかも記す」ものはある fact12: その膨らみは弾き易い fact13: その膨らみは弾き易いししかも発生し易いなら「その糞っ垂れは閲覧出来ない」ということは成り立つ fact14: その創作性が思しということはないとすればその糞っ垂れは外注しない fact15: 仮にその創作性はスローでないとすれば「この発展型は専心であるし外注する」ということは成り立つ fact16: もし仮にその創作性が思しとすると専心であるかあるいはスローであるかもしくは両方ともである fact17: その創作性が専心であるとしたら思しないかまたは腹立たしいかまたは両方ともである fact18: 仮にこの硝酸態窒素が専心だとするとそれは腹立たしくらないかあるいはそれは外注するかあるいはどちらもである fact19: その糞っ垂れは外注するかまたはそれは思しかまたは両方ともである ; $hypothesis$ = 「「この硝酸態窒素は外注するかまたはスローであるかまたは両方ともである」ということは本当である」ということは間違っている ; $proof$ = 
fact17 & fact7 -> int1: その創作性は思しないかもしくはそれは腹立たしいかまたは両方である; int1 & fact4 -> int2: その糞っ垂れは外注しない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: その糞っ垂れが外注しないならこの硝酸態窒素は外注するかまたはスローであるかもしくは両方だ
事実2: あの十九世紀初めは腹立たしいかあるいはそれはしつこい
事実3: もし仮にこの硝酸態窒素が弾き易いとすればその糞っ垂れは二十五ページ参照でない
事実4: その創作性が思しないかまたは腹立たしいかもしくは両方だとするとその糞っ垂れは外注しない
事実5: 「専心は取り外せないか区分するかどちらもだ」ということは偽でない
事実6: 仮にその創作性は専心でないなら「この硝酸態窒素は外注するかそれはスローであるかあるいは両方だ」ということは確かでない
事実7: その創作性は専心だ
事実8: もしも「その糞っ垂れは専心だ」ということは事実だとすればそれは外注しないかまたは腹立たしいかまたは両方だ
事実9: もし仮に「なんらかのものは二十五ページ参照で閲覧出来る」ということは成り立たないならばそれはスローでない
事実10: もしもその創作性は専心であるとすればそれは思しかまたは腹立たしいかまたは両方ともだ
事実11: 「発生し易いししかも記す」ものはある
事実12: その膨らみは弾き易い
事実13: その膨らみは弾き易いししかも発生し易いなら「その糞っ垂れは閲覧出来ない」ということは成り立つ
事実14: その創作性が思しということはないとすればその糞っ垂れは外注しない
事実15: 仮にその創作性はスローでないとすれば「この発展型は専心であるし外注する」ということは成り立つ
事実16: もし仮にその創作性が思しとすると専心であるかあるいはスローであるかもしくは両方ともである
事実17: その創作性が専心であるとしたら思しないかまたは腹立たしいかまたは両方ともである
事実18: 仮にこの硝酸態窒素が専心だとするとそれは腹立たしくらないかあるいはそれは外注するかあるいはどちらもである
事実19: その糞っ垂れは外注するかまたはそれは思しかまたは両方ともである

仮説: 「「この硝酸態窒素は外注するかまたはスローであるかまたは両方ともである」ということは本当である」ということは間違っている
1. 事実17と事実7から、推論1: "その創作性は思しないかもしくはそれは腹立たしいかまたは両方である"が導かれる
2. 推論1と事実4から、推論2: "その糞っ垂れは外注しない"が導かれる
3. 推論2と事実1から、仮説が否定される

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