その短縮形は運び易いということはない
fact1: もし仮にこの七図は貧しとすれば「それが張り付けしないしさらにそれは限り無い」ということは嘘である fact2: もし仮に「接写である」ものはあるとすれば「その短縮形は刈り入れる」ということは確かだ fact3: なんらかのものがＦオールでないとすればそれは得られ難くない fact4: もし「「御寂しいけど接写でない」ということは成り立たない」ものがあるならその短縮形は刈り入れる fact5: もしも「その短縮形は張り付けする」ということは成り立てばそれは限り無い fact6: とあるものが刈り入れるなら張り付けする fact7: もしその短縮形が貧しし更に限り無いなら「運び易くない」ということは事実である fact8: もし仮にその殺人放火事件が貧しないとするとこの七図は貧し fact9: もし仮にあの南隣が刈り入れないが運び易いとしたらその短縮形は運び易い fact10: あの虚偽表示は得られ難いということはない fact11: あの年末調整は味わい深いか儚いかもしくは両方である fact12: 「「運び易いがしかし刈り入れない」ということは成り立たない」物はある fact13: 「「御寂しいししかも接写でない」ということは誤っている」ものはある fact14: 「「御寂しいしその上接写だ」ということは成り立たない」ものはある fact15: なにがしかのものは御寂しいがそれは接写だということはない fact16: その短縮形は扱い易いしそれにそれは切ない fact17: その短縮形は得られ難い fact18: もしあの年末調整が儚いとすればその殺人放火事件は儚い fact19: 人間臭いし加えて儚いものはＦオールでない fact20: 「その殺人放火事件は人間臭い」ということは成り立つ fact21: その短縮形は貧ししかつ得られ難い fact22: もしも「あの年末調整は味わい深い」ということは真実であるならばその殺人放火事件は儚い fact23: 「得られ難いということはない物は貧しない」ということは成り立つ fact24: 「「貧し一方で運び易くない」ということは偽である」物はある
fact13 & fact4 -> int1: その短縮形は刈り入れる; fact6 -> int2: 仮にその短縮形が刈り入れるとすると張り付けする; int1 & int2 -> int3: その短縮形は張り付けする; int3 & fact5 -> int4: その短縮形は限り無い; fact21 -> int5: その短縮形は貧し; int4 & int5 -> int6: その短縮形は貧ししさらに限り無い; int6 & fact7 -> hypothesis;
その短縮形は運び易い
fact25 -> int7: その殺人放火事件が得られ難いということはないならばそれは貧しということはない; fact34 -> int8: もしもその殺人放火事件はＦオールでないなら得られ難くない; fact29 -> int9: もしその殺人放火事件が人間臭くてまた儚いならばＦオールでない; fact26 & fact32 & fact30 -> int10: その殺人放火事件は儚い; fact27 & int10 -> int11: その殺人放火事件は人間臭いしかつ儚い; int9 & int11 -> int12: その殺人放火事件はＦオールでない; int8 & int12 -> int13: その殺人放火事件は得られ難くない; int7 & int13 -> int14: その殺人放火事件は貧しない; fact31 & int14 -> int15: この七図は貧し; fact28 & int15 -> int16: 「この七図は張り付けするということはないが限り無い」ということは嘘だ;
$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$ = 
fact13 & fact4 -> int1: その短縮形は刈り入れる; fact6 -> int2: 仮にその短縮形が刈り入れるとすると張り付けする; int1 & int2 -> int3: その短縮形は張り付けする; int3 & fact5 -> int4: その短縮形は限り無い; fact21 -> int5: その短縮形は貧し; int4 & int5 -> int6: その短縮形は貧ししさらに限り無い; int6 & fact7 -> 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. 事実13と事実4から、推論1: "その短縮形は刈り入れる"が導かれる
2. 事実6から、推論2: "仮にその短縮形が刈り入れるとすると張り付けする"が導かれる
3. 推論1と推論2から、推論3: "その短縮形は張り付けする"が導かれる
4. 推論3と事実5から、推論4: "その短縮形は限り無い"が導かれる
5. 事実21から、推論5: "その短縮形は貧し"が導かれる
6. 推論4と推論5から、推論6: "その短縮形は貧ししさらに限り無い"が導かれる
7. 推論6と事実7から、仮説が導かれる

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