その攪拌は第十項でない
fact1: 仮にその攪拌が祝前日でないなら座視出来るということはないかもしくはそれは欲しいかどちらもである fact2: 何かは座視出来ないかあるいは欲しいかどちらもであるならそれは当該申請書だ fact3: もしもなにかは当該申請書であるならば第十項だ fact4: その攪拌は祝前日でない
fact2 -> int1: もしその攪拌が座視出来るということはないかあるいはそれは欲しいかまたは両方ともだとしたら当該申請書である; fact1 & fact4 -> int2: その攪拌は座視出来ないかまたは欲しいか両方だ; int1 & int2 -> int3: その攪拌は当該申請書である; fact3 -> int4: 仮にその攪拌は当該申請書であるとすればそれは第十項だ; int3 & int4 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact1 & fact4 -> int2: (¬{AA}{aa} v {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact3 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮にその攪拌が祝前日でないなら座視出来るということはないかもしくはそれは欲しいかどちらもである fact2: 何かは座視出来ないかあるいは欲しいかどちらもであるならそれは当該申請書だ fact3: もしもなにかは当該申請書であるならば第十項だ fact4: その攪拌は祝前日でない ; $hypothesis$ = その攪拌は第十項でない ; $proof$ = 
fact2 -> int1: もしその攪拌が座視出来るということはないかあるいはそれは欲しいかまたは両方ともだとしたら当該申請書である; fact1 & fact4 -> int2: その攪拌は座視出来ないかまたは欲しいか両方だ; int1 & int2 -> int3: その攪拌は当該申請書である; fact3 -> int4: 仮にその攪拌は当該申請書であるとすればそれは第十項だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその攪拌が祝前日でないなら座視出来るということはないかもしくはそれは欲しいかどちらもである
事実2: 何かは座視出来ないかあるいは欲しいかどちらもであるならそれは当該申請書だ
事実3: もしもなにかは当該申請書であるならば第十項だ
事実4: その攪拌は祝前日でない

仮説: その攪拌は第十項でない
1. 事実2から、推論1: "もしその攪拌が座視出来るということはないかあるいはそれは欲しいかまたは両方ともだとしたら当該申請書である"が導かれる
2. 事実1と事実4から、推論2: "その攪拌は座視出来ないかまたは欲しいか両方だ"が導かれる
3. 推論1と推論2から、推論3: "その攪拌は当該申請書である"が導かれる
4. 事実3から、推論4: "仮にその攪拌は当該申請書であるとすればそれは第十項だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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