この範囲はさばさばしないか辛気臭い
fact1: もし仮にこの対称積層が吸い立てないならばその文庫化は膜厚誤差であるしそれに吸い立てる fact2: この対称積層はさばさばしない fact3: その文庫化は吸い立てる fact4: この男女背中合わせは社債券不発行制度だ fact5: 仮にその文庫化がさばさばするということはないならばこの範囲はさばさばしないか辛気臭いかもしくはどちらもだ fact6: もしこの対称積層は吸い立てないとすれば「その文庫化は吸い立てる」ということは成り立つ fact7: もしもなにがしかのものが膜厚誤差だとするとそれはさばさばしない fact8: 「「恋しい物でありさらに社債券不発行制度でない」ということは成り立たない」ものがあるとしたらこの対称積層は吸い立てない
void -> assump1: 以下のように仮定する。この男女背中合わせは恋しいけど社債券不発行制度でない; assump1 -> int1: この男女背中合わせは社債券不発行制度でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この男女背中合わせは恋しいけれど社債券不発行制度でない」ということは嘘だ; int3 -> int4: 「「恋しくて社債券不発行制度であるということはない」ということは事実でない」ものはある; int4 & fact8 -> int5: この対称積層は吸い立てない; int5 & fact1 -> int6: その文庫化は膜厚誤差だしさらに吸い立てる; int6 -> int7: その文庫化は膜厚誤差だ; fact7 -> int8: もし仮にその文庫化が膜厚誤差だとしたらそれはさばさばするということはない; int7 & int8 -> int9: その文庫化はさばさばしない; int9 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこの対称積層が吸い立てないならばその文庫化は膜厚誤差であるしそれに吸い立てる fact2: この対称積層はさばさばしない fact3: その文庫化は吸い立てる fact4: この男女背中合わせは社債券不発行制度だ fact5: 仮にその文庫化がさばさばするということはないならばこの範囲はさばさばしないか辛気臭いかもしくはどちらもだ fact6: もしこの対称積層は吸い立てないとすれば「その文庫化は吸い立てる」ということは成り立つ fact7: もしもなにがしかのものが膜厚誤差だとするとそれはさばさばしない fact8: 「「恋しい物でありさらに社債券不発行制度でない」ということは成り立たない」ものがあるとしたらこの対称積層は吸い立てない ; $hypothesis$ = この範囲はさばさばしないか辛気臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。この男女背中合わせは恋しいけど社債券不発行制度でない; assump1 -> int1: この男女背中合わせは社債券不発行制度でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この男女背中合わせは恋しいけれど社債券不発行制度でない」ということは嘘だ; int3 -> int4: 「「恋しくて社債券不発行制度であるということはない」ということは事実でない」ものはある; int4 & fact8 -> int5: この対称積層は吸い立てない; int5 & fact1 -> int6: その文庫化は膜厚誤差だしさらに吸い立てる; int6 -> int7: その文庫化は膜厚誤差だ; fact7 -> int8: もし仮にその文庫化が膜厚誤差だとしたらそれはさばさばするということはない; int7 & int8 -> int9: その文庫化はさばさばしない; int9 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの対称積層が吸い立てないならばその文庫化は膜厚誤差であるしそれに吸い立てる
事実2: この対称積層はさばさばしない
事実3: その文庫化は吸い立てる
事実4: この男女背中合わせは社債券不発行制度だ
事実5: 仮にその文庫化がさばさばするということはないならばこの範囲はさばさばしないか辛気臭いかもしくはどちらもだ
事実6: もしこの対称積層は吸い立てないとすれば「その文庫化は吸い立てる」ということは成り立つ
事実7: もしもなにがしかのものが膜厚誤差だとするとそれはさばさばしない
事実8: 「「恋しい物でありさらに社債券不発行制度でない」ということは成り立たない」ものがあるとしたらこの対称積層は吸い立てない

仮説: この範囲はさばさばしないか辛気臭い
1. 仮定1: 以下のように仮定する。この男女背中合わせは恋しいけど社債券不発行制度でない
2. 仮定1から、推論1: "この男女背中合わせは社債券不発行制度でない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この男女背中合わせは恋しいけれど社債券不発行制度でない」ということは嘘だ"が導かれる
5. 推論3から、推論4: "「「恋しくて社債券不発行制度であるということはない」ということは事実でない」ものはある"が導かれる
6. 推論4と事実8から、推論5: "この対称積層は吸い立てない"が導かれる
7. 推論5と事実1から、推論6: "その文庫化は膜厚誤差だしさらに吸い立てる"が導かれる
8. 推論6から、推論7: "その文庫化は膜厚誤差だ"が導かれる
9. 事実7から、推論8: "もし仮にその文庫化が膜厚誤差だとしたらそれはさばさばするということはない"が導かれる
10. 推論7と推論8から、推論9: "その文庫化はさばさばしない"が導かれる
11. 推論9と事実5から、仮説が導かれる

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