もしもこの述語動詞が拳大でないとするとこの利用者主体は気怠いしまた活動期間だ
fact1: この利用者主体は当該課するし金判である fact2: 仮にその血液量が男らしいとしたらこの利用者主体は気怠い fact3: あの留守番は喜ばしかない fact4: もしあの限度内が喜ばしかないとすればあの利用者主体は行い易い fact5: この利用者主体は喜ばしい fact6: この新設分割が甲虫であるということはないとしたらこの利用者主体が活動期間だしその上それは喜ばしい fact7: そのユニコーンは活動期間だということはない fact8: あの限度内は拳大でないかまたはそれは退廃する fact9: 「この新設分割は拳大であるということはない」ということは成り立つ fact10: 「この新設分割は気怠い」ということは確かだ fact11: あの限度内は深い fact12: もしその血液量が行い易くないならばあの限度内は男らしい fact13: もしこの新設分割が甲虫でないとするとこの利用者主体は喜ばしい fact14: 仮にあの限度内が気怠くらないかもしくは行い易いないか両方ともであるとするとこの利用者主体は喜ばしい fact15: もし仮にあの限度内が退廃するとするとその血液量は男らしい fact16: その血液量は行い易くない fact17: この新設分割は甲虫でない fact18: もし「この述語動詞は拳大である」ということは正しいとすればこの利用者主体は気怠いし活動期間だ fact19: もしも「なにがしかの物は退廃するがそれは行い易いない」ということは誤っているならそれは男らしい fact20: もし仮にあの限度内が行い易くないとすればあの述語動詞は拳大である fact21: もしもあの限度内が行い易くないかまたは退廃しないかまたは両方ともであるならこの述語動詞は拳大だ fact22: もしもあの限度内が活動期間でないとしたらこの利用者主体は行い易くてそれは気怠い fact23: この利用者主体は喜ばしくてそれは行い易い fact24: あの限度内は行い易いかあるいは退廃しないかもしくは両方だ
void -> assump1: 以下のように仮定する。あの限度内は退廃しない; assump1 -> int1: あの限度内は行い易くないかもしくは退廃しないかどちらもである; int1 & fact21 -> int2: この述語動詞は拳大だ; void -> assump2: 以下のように仮定する。この述語動詞は拳大でない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの限度内は退廃する; int4 & fact15 -> int5: その血液量は男らしい; int5 & fact2 -> int6: この利用者主体は気怠い; fact6 & fact17 -> int7: この利用者主体は活動期間であるしかつ喜ばしい; int7 -> int8: この利用者主体は活動期間である; int6 & int8 -> int9: この利用者主体は気怠いしかつ活動期間である; [assump2] & int9 -> hypothesis;
そのＭＩＢは男らしい
fact25 -> int10: もし「そのＭＩＢは退廃するがしかし行い易くない」ということは誤っているとしたらそれは男らしい;
$facts$ = fact1: この利用者主体は当該課するし金判である fact2: 仮にその血液量が男らしいとしたらこの利用者主体は気怠い fact3: あの留守番は喜ばしかない fact4: もしあの限度内が喜ばしかないとすればあの利用者主体は行い易い fact5: この利用者主体は喜ばしい fact6: この新設分割が甲虫であるということはないとしたらこの利用者主体が活動期間だしその上それは喜ばしい fact7: そのユニコーンは活動期間だということはない fact8: あの限度内は拳大でないかまたはそれは退廃する fact9: 「この新設分割は拳大であるということはない」ということは成り立つ fact10: 「この新設分割は気怠い」ということは確かだ fact11: あの限度内は深い fact12: もしその血液量が行い易くないならばあの限度内は男らしい fact13: もしこの新設分割が甲虫でないとするとこの利用者主体は喜ばしい fact14: 仮にあの限度内が気怠くらないかもしくは行い易いないか両方ともであるとするとこの利用者主体は喜ばしい fact15: もし仮にあの限度内が退廃するとするとその血液量は男らしい fact16: その血液量は行い易くない fact17: この新設分割は甲虫でない fact18: もし「この述語動詞は拳大である」ということは正しいとすればこの利用者主体は気怠いし活動期間だ fact19: もしも「なにがしかの物は退廃するがそれは行い易いない」ということは誤っているならそれは男らしい fact20: もし仮にあの限度内が行い易くないとすればあの述語動詞は拳大である fact21: もしもあの限度内が行い易くないかまたは退廃しないかまたは両方ともであるならこの述語動詞は拳大だ fact22: もしもあの限度内が活動期間でないとしたらこの利用者主体は行い易くてそれは気怠い fact23: この利用者主体は喜ばしくてそれは行い易い fact24: あの限度内は行い易いかあるいは退廃しないかもしくは両方だ ; $hypothesis$ = もしもこの述語動詞が拳大でないとするとこの利用者主体は気怠いしまた活動期間だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの限度内は退廃しない; assump1 -> int1: あの限度内は行い易くないかもしくは退廃しないかどちらもである; int1 & fact21 -> int2: この述語動詞は拳大だ; void -> assump2: 以下のように仮定する。この述語動詞は拳大でない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの限度内は退廃する; int4 & fact15 -> int5: その血液量は男らしい; int5 & fact2 -> int6: この利用者主体は気怠い; fact6 & fact17 -> int7: この利用者主体は活動期間であるしかつ喜ばしい; int7 -> int8: この利用者主体は活動期間である; int6 & int8 -> int9: この利用者主体は気怠いしかつ活動期間である; [assump2] & int9 -> hypothesis; __PROVED__
事実1: この利用者主体は当該課するし金判である
事実2: 仮にその血液量が男らしいとしたらこの利用者主体は気怠い
事実3: あの留守番は喜ばしかない
事実4: もしあの限度内が喜ばしかないとすればあの利用者主体は行い易い
事実5: この利用者主体は喜ばしい
事実6: この新設分割が甲虫であるということはないとしたらこの利用者主体が活動期間だしその上それは喜ばしい
事実7: そのユニコーンは活動期間だということはない
事実8: あの限度内は拳大でないかまたはそれは退廃する
事実9: 「この新設分割は拳大であるということはない」ということは成り立つ
事実10: 「この新設分割は気怠い」ということは確かだ
事実11: あの限度内は深い
事実12: もしその血液量が行い易くないならばあの限度内は男らしい
事実13: もしこの新設分割が甲虫でないとするとこの利用者主体は喜ばしい
事実14: 仮にあの限度内が気怠くらないかもしくは行い易いないか両方ともであるとするとこの利用者主体は喜ばしい
事実15: もし仮にあの限度内が退廃するとするとその血液量は男らしい
事実16: その血液量は行い易くない
事実17: この新設分割は甲虫でない
事実18: もし「この述語動詞は拳大である」ということは正しいとすればこの利用者主体は気怠いし活動期間だ
事実19: もしも「なにがしかの物は退廃するがそれは行い易いない」ということは誤っているならそれは男らしい
事実20: もし仮にあの限度内が行い易くないとすればあの述語動詞は拳大である
事実21: もしもあの限度内が行い易くないかまたは退廃しないかまたは両方ともであるならこの述語動詞は拳大だ
事実22: もしもあの限度内が活動期間でないとしたらこの利用者主体は行い易くてそれは気怠い
事実23: この利用者主体は喜ばしくてそれは行い易い
事実24: あの限度内は行い易いかあるいは退廃しないかもしくは両方だ

仮説: もしもこの述語動詞が拳大でないとするとこの利用者主体は気怠いしまた活動期間だ
1. 仮定1: 以下のように仮定する。あの限度内は退廃しない
2. 仮定1から、推論1: "あの限度内は行い易くないかもしくは退廃しないかどちらもである"が導かれる
3. 推論1と事実21から、推論2: "この述語動詞は拳大だ"が導かれる
4. 仮定2: 以下のように仮定する。この述語動詞は拳大でない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あの限度内は退廃する"が導かれる
7. 推論4と事実15から、推論5: "その血液量は男らしい"が導かれる
8. 推論5と事実2から、推論6: "この利用者主体は気怠い"が導かれる
9. 事実6と事実17から、推論7: "この利用者主体は活動期間であるしかつ喜ばしい"が導かれる
10. 推論7から、推論8: "この利用者主体は活動期間である"が導かれる
11. 推論6と推論8から、推論9: "この利用者主体は気怠いしかつ活動期間である"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

よって、仮説が証明されました。