その罪責は小賢しくない
fact1: 仮にこの基本部分が懲戒事由ならばあの罪責は小賢しい fact2: もしも「この基本部分は懲戒事由でないけど憲法上だ」ということは成り立たないとしたらその罪責は小賢しい fact3: 仮にその罪責は懲戒事由でないとしたら小賢しいということはない fact4: なにがしかの物は憲法上だ fact5: あの水圧機は肺動脈弁であるということはない fact6: 仮に何かは懲戒事由でないがしかしそれが憲法上ならあの水圧機は画一化でない fact7: なにかは懲戒事由でない fact8: 仮に「あるものは小賢しくないし肺動脈弁でない」ということは偽だとすると憲法上でない fact9: 「懲戒事由であるしその上憲法上である」物はある fact10: 「この基本部分は懲戒事由であるしその上それは憲法上だ」ということは事実と異なる fact11: あの水圧機は画一化だ一方で肺動脈弁でない
void -> assump1: 以下のように仮定する。この基本部分は懲戒事由でないがしかし憲法上だ; assump1 -> int1: 何かは懲戒事由でないがそれは憲法上である; int1 & fact6 -> int2: あの水圧機は画一化でない; fact11 -> int3: あの水圧機は画一化である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この基本部分は懲戒事由でない一方で憲法上だ」ということは本当でない; int5 & fact2 -> hypothesis;
その罪責は小賢しくない
$facts$ = fact1: 仮にこの基本部分が懲戒事由ならばあの罪責は小賢しい fact2: もしも「この基本部分は懲戒事由でないけど憲法上だ」ということは成り立たないとしたらその罪責は小賢しい fact3: 仮にその罪責は懲戒事由でないとしたら小賢しいということはない fact4: なにがしかの物は憲法上だ fact5: あの水圧機は肺動脈弁であるということはない fact6: 仮に何かは懲戒事由でないがしかしそれが憲法上ならあの水圧機は画一化でない fact7: なにかは懲戒事由でない fact8: 仮に「あるものは小賢しくないし肺動脈弁でない」ということは偽だとすると憲法上でない fact9: 「懲戒事由であるしその上憲法上である」物はある fact10: 「この基本部分は懲戒事由であるしその上それは憲法上だ」ということは事実と異なる fact11: あの水圧機は画一化だ一方で肺動脈弁でない ; $hypothesis$ = その罪責は小賢しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この基本部分は懲戒事由でないがしかし憲法上だ; assump1 -> int1: 何かは懲戒事由でないがそれは憲法上である; int1 & fact6 -> int2: あの水圧機は画一化でない; fact11 -> int3: あの水圧機は画一化である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この基本部分は懲戒事由でない一方で憲法上だ」ということは本当でない; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にこの基本部分が懲戒事由ならばあの罪責は小賢しい
事実2: もしも「この基本部分は懲戒事由でないけど憲法上だ」ということは成り立たないとしたらその罪責は小賢しい
事実3: 仮にその罪責は懲戒事由でないとしたら小賢しいということはない
事実4: なにがしかの物は憲法上だ
事実5: あの水圧機は肺動脈弁であるということはない
事実6: 仮に何かは懲戒事由でないがしかしそれが憲法上ならあの水圧機は画一化でない
事実7: なにかは懲戒事由でない
事実8: 仮に「あるものは小賢しくないし肺動脈弁でない」ということは偽だとすると憲法上でない
事実9: 「懲戒事由であるしその上憲法上である」物はある
事実10: 「この基本部分は懲戒事由であるしその上それは憲法上だ」ということは事実と異なる
事実11: あの水圧機は画一化だ一方で肺動脈弁でない

仮説: その罪責は小賢しくない
1. 仮定1: 以下のように仮定する。この基本部分は懲戒事由でないがしかし憲法上だ
2. 仮定1から、推論1: "何かは懲戒事由でないがそれは憲法上である"が導かれる
3. 推論1と事実6から、推論2: "あの水圧機は画一化でない"が導かれる
4. 事実11から、推論3: "あの水圧機は画一化である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この基本部分は懲戒事由でない一方で憲法上だ」ということは本当でない"が導かれる
7. 推論5と事実2から、仮説が否定される

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