この定職はペナルティ係数でない
fact1: あの分筆登記はペナルティ係数だ fact2: もしもこの定職が神々しいということはないしかつ手広いということはないならこの御爺様はペナルティ係数である fact3: もし仮にこの御爺様が神々しかなくてしかも手広いということはないとしたらこの定職はペナルティ係数だ fact4: その御姑さんはペナルティ係数でない fact5: もしこの御爺様がペナルティ係数でなくて手広くないとすればこの定職は神々しい fact6: もしこの御爺様が手広くなくてペナルティ係数でないならばこの定職は神々しい fact7: 仮に何かは神々しいなら「ペナルティ係数だ」ということは本当だ fact8: この御爺様は神々しかない fact9: この定職は褥瘡治療でなくて性的行為でない fact10: この定職は切り盛りするということはないし征服欲でない fact11: もしもこの御爺様が手広いとすればこのセルフチェックは神々しい fact12: 「この定職は手広くない」ということは確かである fact13: この土地所有形態は手広くない fact14: この一時間分はペナルティ係数でない fact15: 「この定職は手広くないしおまけに神々しいということはない」ということは成り立つとすればこの御爺様はペナルティ係数である fact16: もしもこの御爺様が神々しかなくてペナルティ係数でないとしたらこの定職は手広い fact17: あのイギリス式は入れないし更にペナルティ係数であるということはない fact18: 仮にこの御爺様がペナルティ係数でなくて加えて神々しかないとするとこの定職は手広い fact19: この定職は両立支援得点でない fact20: この御爺様は手広くない fact21: あの渡御は神々しいということはない
fact8 & fact20 -> int1: この御爺様は神々しかなくてまた手広いということはない; int1 & fact3 -> hypothesis;
このセルフチェックはペナルティ係数である
fact23 -> int2: 仮にこのセルフチェックは神々しいとすれば「ペナルティ係数である」ということは確かだ;
$facts$ = fact1: あの分筆登記はペナルティ係数だ fact2: もしもこの定職が神々しいということはないしかつ手広いということはないならこの御爺様はペナルティ係数である fact3: もし仮にこの御爺様が神々しかなくてしかも手広いということはないとしたらこの定職はペナルティ係数だ fact4: その御姑さんはペナルティ係数でない fact5: もしこの御爺様がペナルティ係数でなくて手広くないとすればこの定職は神々しい fact6: もしこの御爺様が手広くなくてペナルティ係数でないならばこの定職は神々しい fact7: 仮に何かは神々しいなら「ペナルティ係数だ」ということは本当だ fact8: この御爺様は神々しかない fact9: この定職は褥瘡治療でなくて性的行為でない fact10: この定職は切り盛りするということはないし征服欲でない fact11: もしもこの御爺様が手広いとすればこのセルフチェックは神々しい fact12: 「この定職は手広くない」ということは確かである fact13: この土地所有形態は手広くない fact14: この一時間分はペナルティ係数でない fact15: 「この定職は手広くないしおまけに神々しいということはない」ということは成り立つとすればこの御爺様はペナルティ係数である fact16: もしもこの御爺様が神々しかなくてペナルティ係数でないとしたらこの定職は手広い fact17: あのイギリス式は入れないし更にペナルティ係数であるということはない fact18: 仮にこの御爺様がペナルティ係数でなくて加えて神々しかないとするとこの定職は手広い fact19: この定職は両立支援得点でない fact20: この御爺様は手広くない fact21: あの渡御は神々しいということはない ; $hypothesis$ = この定職はペナルティ係数でない ; $proof$ = 
fact8 & fact20 -> int1: この御爺様は神々しかなくてまた手広いということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの分筆登記はペナルティ係数だ
事実2: もしもこの定職が神々しいということはないしかつ手広いということはないならこの御爺様はペナルティ係数である
事実3: もし仮にこの御爺様が神々しかなくてしかも手広いということはないとしたらこの定職はペナルティ係数だ
事実4: その御姑さんはペナルティ係数でない
事実5: もしこの御爺様がペナルティ係数でなくて手広くないとすればこの定職は神々しい
事実6: もしこの御爺様が手広くなくてペナルティ係数でないならばこの定職は神々しい
事実7: 仮に何かは神々しいなら「ペナルティ係数だ」ということは本当だ
事実8: この御爺様は神々しかない
事実9: この定職は褥瘡治療でなくて性的行為でない
事実10: この定職は切り盛りするということはないし征服欲でない
事実11: もしもこの御爺様が手広いとすればこのセルフチェックは神々しい
事実12: 「この定職は手広くない」ということは確かである
事実13: この土地所有形態は手広くない
事実14: この一時間分はペナルティ係数でない
事実15: 「この定職は手広くないしおまけに神々しいということはない」ということは成り立つとすればこの御爺様はペナルティ係数である
事実16: もしもこの御爺様が神々しかなくてペナルティ係数でないとしたらこの定職は手広い
事実17: あのイギリス式は入れないし更にペナルティ係数であるということはない
事実18: 仮にこの御爺様がペナルティ係数でなくて加えて神々しかないとするとこの定職は手広い
事実19: この定職は両立支援得点でない
事実20: この御爺様は手広くない
事実21: あの渡御は神々しいということはない

仮説: この定職はペナルティ係数でない
1. 事実8と事実20から、推論1: "この御爺様は神々しかなくてまた手広いということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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