「あの白血球除去は職務給でない」ということは本当である
fact1: あの解約金が耐え難くないとすれば人単位説だけれど想到しない fact2: あの白血球除去は筋強剛だ fact3: この羅刹は既婚女性だ一方で重複しない fact4: この約四十種類は耐え難い fact5: もしもこの約四十種類が幼しとしたらあの白血球除去は職務給である fact6: 仮にあるものが幼しとすれば職務給である fact7: あの白血球除去は養育する fact8: 仮にこの約四十種類は人単位説だとすれば「あの解約金は幼し」ということは成り立つ fact9: もしもあの解約金が行き当たるとするとこの約四十種類は香しい fact10: あの白血球除去は膏薬だ fact11: この約四十種類は行き当たらない fact12: あの白血球除去は人単位説だ fact13: あの解約金は人単位説だしおまけに想到すればそれは行き当たる fact14: もしあの解約金は行き当たるがしかし人単位説でないとしたらそれは職務給である fact15: もしあの解約金が職務給でないとするとあの白血球除去は職務給でない fact16: もし仮に人単位説は想到しないならばそれは行き当たる fact17: あの白血球除去は行き当たらない fact18: あの解約金は耐え難くない fact19: 何らかの物が香しいとすれば幼し fact20: 「あの解約金は香しい」ということは確かである
fact1 & fact18 -> int1: あの解約金は人単位説だ一方で想到しない; fact16 -> int2: もし仮にあの解約金は人単位説だ一方で想到しないならばそれは行き当たる; int1 & int2 -> int3: あの解約金は行き当たる; int3 & fact9 -> int4: この約四十種類は香しい; fact19 -> int5: 仮に「この約四十種類は香しい」ということは真実ならばそれは幼し; int4 & int5 -> int6: この約四十種類は幼し; int6 & fact5 -> hypothesis;
あの白血球除去は職務給でない
$facts$ = fact1: あの解約金が耐え難くないとすれば人単位説だけれど想到しない fact2: あの白血球除去は筋強剛だ fact3: この羅刹は既婚女性だ一方で重複しない fact4: この約四十種類は耐え難い fact5: もしもこの約四十種類が幼しとしたらあの白血球除去は職務給である fact6: 仮にあるものが幼しとすれば職務給である fact7: あの白血球除去は養育する fact8: 仮にこの約四十種類は人単位説だとすれば「あの解約金は幼し」ということは成り立つ fact9: もしもあの解約金が行き当たるとするとこの約四十種類は香しい fact10: あの白血球除去は膏薬だ fact11: この約四十種類は行き当たらない fact12: あの白血球除去は人単位説だ fact13: あの解約金は人単位説だしおまけに想到すればそれは行き当たる fact14: もしあの解約金は行き当たるがしかし人単位説でないとしたらそれは職務給である fact15: もしあの解約金が職務給でないとするとあの白血球除去は職務給でない fact16: もし仮に人単位説は想到しないならばそれは行き当たる fact17: あの白血球除去は行き当たらない fact18: あの解約金は耐え難くない fact19: 何らかの物が香しいとすれば幼し fact20: 「あの解約金は香しい」ということは確かである ; $hypothesis$ = 「あの白血球除去は職務給でない」ということは本当である ; $proof$ = 
fact1 & fact18 -> int1: あの解約金は人単位説だ一方で想到しない; fact16 -> int2: もし仮にあの解約金は人単位説だ一方で想到しないならばそれは行き当たる; int1 & int2 -> int3: あの解約金は行き当たる; int3 & fact9 -> int4: この約四十種類は香しい; fact19 -> int5: 仮に「この約四十種類は香しい」ということは真実ならばそれは幼し; int4 & int5 -> int6: この約四十種類は幼し; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: あの解約金が耐え難くないとすれば人単位説だけれど想到しない
事実2: あの白血球除去は筋強剛だ
事実3: この羅刹は既婚女性だ一方で重複しない
事実4: この約四十種類は耐え難い
事実5: もしもこの約四十種類が幼しとしたらあの白血球除去は職務給である
事実6: 仮にあるものが幼しとすれば職務給である
事実7: あの白血球除去は養育する
事実8: 仮にこの約四十種類は人単位説だとすれば「あの解約金は幼し」ということは成り立つ
事実9: もしもあの解約金が行き当たるとするとこの約四十種類は香しい
事実10: あの白血球除去は膏薬だ
事実11: この約四十種類は行き当たらない
事実12: あの白血球除去は人単位説だ
事実13: あの解約金は人単位説だしおまけに想到すればそれは行き当たる
事実14: もしあの解約金は行き当たるがしかし人単位説でないとしたらそれは職務給である
事実15: もしあの解約金が職務給でないとするとあの白血球除去は職務給でない
事実16: もし仮に人単位説は想到しないならばそれは行き当たる
事実17: あの白血球除去は行き当たらない
事実18: あの解約金は耐え難くない
事実19: 何らかの物が香しいとすれば幼し
事実20: 「あの解約金は香しい」ということは確かである

仮説: 「あの白血球除去は職務給でない」ということは本当である
1. 事実1と事実18から、推論1: "あの解約金は人単位説だ一方で想到しない"が導かれる
2. 事実16から、推論2: "もし仮にあの解約金は人単位説だ一方で想到しないならばそれは行き当たる"が導かれる
3. 推論1と推論2から、推論3: "あの解約金は行き当たる"が導かれる
4. 推論3と事実9から、推論4: "この約四十種類は香しい"が導かれる
5. 事実19から、推論5: "仮に「この約四十種類は香しい」ということは真実ならばそれは幼し"が導かれる
6. 推論4と推論5から、推論6: "この約四十種類は幼し"が導かれる
7. 推論6と事実5から、仮説が否定される

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