この数値解は通底する
fact1: この清水課長は程遠くないとすれば「この荘厳さは分け方だけれど程遠くない」ということは誤りだ fact2: この数値解は誤解し易い fact3: 根気強くないか誤解し易くないものはおっそろし fact4: この搬入は折り重なる fact5: もしも何かは土木屋だとするとそれは分け方である fact6: もしあの輸入制限措置が折り重なるとしたらそれは教育問題である fact7: もしも「この荘厳さは分け方だけれど程遠くない」ということは偽であるとしたらそれは労働賦存量である fact8: 教育問題は土木屋である fact9: この荘厳さは労働賦存量でないか土木屋であるかもしくは両方ともである fact10: 仮にこの清水課長は程遠くないとすれば「この数値解は通底するし程遠い」ということは確かでない fact11: もし仮にこの清水課長は誤解し易くないかもしくは程遠くないか両方ともだとすれば根気強い fact12: あの輸入制限措置は折り重なる fact13: この荘厳さは言い出し難い fact14: もし仮にあの輸入制限措置が土木屋であるしかつそれがおっそろしとするとこの清水課長は程遠くない fact15: もし仮に「労働賦存量である」物があるとするとこの数値解は通底しない fact16: もし仮になにがしかのものが折り重なるとするとそれは程遠い fact17: あの輸入制限措置は不死者だ fact18: もしもあるものは中心施設であるとすれば十倍する fact19: もし仮にこの清水課長が労働賦存量ならばそれは程遠い fact20: あの輸入制限措置は根気強くない fact21: この数値解はおっそろし fact22: 「あの輸入制限措置は根気強いが程遠くない」ということは間違いだ fact23: この清水課長はオルギーでまた細長い fact24: 仮にあの輸入制限措置が折り重なるがしかし教育問題でないとすればその青マンスリーは折り重ならない fact25: もしも何らかのものが教育問題でないかあるいは通底しないとすると程遠い
fact6 & fact12 -> int1: あの輸入制限措置は教育問題だ; fact8 -> int2: 仮にあの輸入制限措置は教育問題であるとすると「それは土木屋である」ということは本当である; int1 & int2 -> int3: あの輸入制限措置は土木屋だ; fact20 -> int4: あの輸入制限措置は根気強くないかまたはそれは誤解し易くない; fact3 -> int5: もしもあの輸入制限措置が根気強いということはないかあるいは誤解し易くないならばそれはおっそろし; int4 & int5 -> int6: あの輸入制限措置はおっそろし; int3 & int6 -> int7: あの輸入制限措置が土木屋だしそれにそれはおっそろし; int7 & fact14 -> int8: この清水課長は程遠くない; int8 & fact1 -> int9: 「この荘厳さは分け方だが程遠くない」ということは成り立たない; int9 & fact7 -> int10: この荘厳さは労働賦存量だ; int10 -> int11: 「労働賦存量である」ものはある; int11 & fact15 -> hypothesis;
その青マンスリーは折り重ならない
$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: 仮にあの輸入制限措置が折り重なるがしかし教育問題でないとすればその青マンスリーは折り重ならない fact25: もしも何らかのものが教育問題でないかあるいは通底しないとすると程遠い ; $hypothesis$ = この数値解は通底する ; $proof$ = 
fact6 & fact12 -> int1: あの輸入制限措置は教育問題だ; fact8 -> int2: 仮にあの輸入制限措置は教育問題であるとすると「それは土木屋である」ということは本当である; int1 & int2 -> int3: あの輸入制限措置は土木屋だ; fact20 -> int4: あの輸入制限措置は根気強くないかまたはそれは誤解し易くない; fact3 -> int5: もしもあの輸入制限措置が根気強いということはないかあるいは誤解し易くないならばそれはおっそろし; int4 & int5 -> int6: あの輸入制限措置はおっそろし; int3 & int6 -> int7: あの輸入制限措置が土木屋だしそれにそれはおっそろし; int7 & fact14 -> int8: この清水課長は程遠くない; int8 & fact1 -> int9: 「この荘厳さは分け方だが程遠くない」ということは成り立たない; int9 & fact7 -> int10: この荘厳さは労働賦存量だ; int10 -> int11: 「労働賦存量である」ものはある; int11 & fact15 -> hypothesis; __DISPROVED__
事実1: この清水課長は程遠くないとすれば「この荘厳さは分け方だけれど程遠くない」ということは誤りだ
事実2: この数値解は誤解し易い
事実3: 根気強くないか誤解し易くないものはおっそろし
事実4: この搬入は折り重なる
事実5: もしも何かは土木屋だとするとそれは分け方である
事実6: もしあの輸入制限措置が折り重なるとしたらそれは教育問題である
事実7: もしも「この荘厳さは分け方だけれど程遠くない」ということは偽であるとしたらそれは労働賦存量である
事実8: 教育問題は土木屋である
事実9: この荘厳さは労働賦存量でないか土木屋であるかもしくは両方ともである
事実10: 仮にこの清水課長は程遠くないとすれば「この数値解は通底するし程遠い」ということは確かでない
事実11: もし仮にこの清水課長は誤解し易くないかもしくは程遠くないか両方ともだとすれば根気強い
事実12: あの輸入制限措置は折り重なる
事実13: この荘厳さは言い出し難い
事実14: もし仮にあの輸入制限措置が土木屋であるしかつそれがおっそろしとするとこの清水課長は程遠くない
事実15: もし仮に「労働賦存量である」物があるとするとこの数値解は通底しない
事実16: もし仮になにがしかのものが折り重なるとするとそれは程遠い
事実17: あの輸入制限措置は不死者だ
事実18: もしもあるものは中心施設であるとすれば十倍する
事実19: もし仮にこの清水課長が労働賦存量ならばそれは程遠い
事実20: あの輸入制限措置は根気強くない
事実21: この数値解はおっそろし
事実22: 「あの輸入制限措置は根気強いが程遠くない」ということは間違いだ
事実23: この清水課長はオルギーでまた細長い
事実24: 仮にあの輸入制限措置が折り重なるがしかし教育問題でないとすればその青マンスリーは折り重ならない
事実25: もしも何らかのものが教育問題でないかあるいは通底しないとすると程遠い

仮説: この数値解は通底する
1. 事実6と事実12から、推論1: "あの輸入制限措置は教育問題だ"が導かれる
2. 事実8から、推論2: "仮にあの輸入制限措置は教育問題であるとすると「それは土木屋である」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "あの輸入制限措置は土木屋だ"が導かれる
4. 事実20から、推論4: "あの輸入制限措置は根気強くないかまたはそれは誤解し易くない"が導かれる
5. 事実3から、推論5: "もしもあの輸入制限措置が根気強いということはないかあるいは誤解し易くないならばそれはおっそろし"が導かれる
6. 推論4と推論5から、推論6: "あの輸入制限措置はおっそろし"が導かれる
7. 推論3と推論6から、推論7: "あの輸入制限措置が土木屋だしそれにそれはおっそろし"が導かれる
8. 推論7と事実14から、推論8: "この清水課長は程遠くない"が導かれる
9. 推論8と事実1から、推論9: "「この荘厳さは分け方だが程遠くない」ということは成り立たない"が導かれる
10. 推論9と事実7から、推論10: "この荘厳さは労働賦存量だ"が導かれる
11. 推論10から、推論11: "「労働賦存量である」ものはある"が導かれる
12. 推論11と事実15から、仮説が否定される

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