「この打法が通ずしその上慰め合う」ということは成り立たない
fact1: もしなんらかの物が落葉するということはないとすればそれは精細であるということはなくて加えて郁子だ fact2: あの自主的規制は落葉しない fact3: もし仮にあのタッグが限り無いけれどさもしいないならば遣り易い fact4: 仮にあのタッグがオーバートレーニングでないとすれば限り無いけれどさもしいない fact5: 「もしもあの自主的規制は落葉するということはないとすれば「この打法は郁子であるけど精細でない」ということは本当でない」ということは確かだ fact6: もしあのタッグが乗り易いとするとこの打法は通ず fact7: あのタッグは精細である fact8: あの集団登校は落葉しない fact9: もしあのタッグが遣り易いとしたら乗り易い fact10: あのタッグはオーバートレーニングでない fact11: もし仮に「この打法は郁子だけれど精細だということはない」ということは誤っていればそれは慰め合う fact12: この打法はオーバートレーニングでない fact13: もしも何らかの物がオーバートレーニングならば慰め合う
fact4 & fact10 -> int1: あのタッグは限り無いがしかしさもしくない; int1 & fact3 -> int2: あのタッグは遣り易い; int2 & fact9 -> int3: あのタッグは乗り易い; int3 & fact6 -> int4: この打法は通ず; fact5 & fact2 -> int5: 「この打法は郁子であるがしかしそれは精細でない」ということは成り立たない; int5 & fact11 -> int6: この打法は慰め合う; int4 & int6 -> hypothesis;
「この打法は通ずしそれに慰め合う」ということは間違っている
fact14 -> int7: もし仮にあの基本問題が落葉しないとすると精細でないし郁子だ;
$facts$ = fact1: もしなんらかの物が落葉するということはないとすればそれは精細であるということはなくて加えて郁子だ fact2: あの自主的規制は落葉しない fact3: もし仮にあのタッグが限り無いけれどさもしいないならば遣り易い fact4: 仮にあのタッグがオーバートレーニングでないとすれば限り無いけれどさもしいない fact5: 「もしもあの自主的規制は落葉するということはないとすれば「この打法は郁子であるけど精細でない」ということは本当でない」ということは確かだ fact6: もしあのタッグが乗り易いとするとこの打法は通ず fact7: あのタッグは精細である fact8: あの集団登校は落葉しない fact9: もしあのタッグが遣り易いとしたら乗り易い fact10: あのタッグはオーバートレーニングでない fact11: もし仮に「この打法は郁子だけれど精細だということはない」ということは誤っていればそれは慰め合う fact12: この打法はオーバートレーニングでない fact13: もしも何らかの物がオーバートレーニングならば慰め合う ; $hypothesis$ = 「この打法が通ずしその上慰め合う」ということは成り立たない ; $proof$ = 
fact4 & fact10 -> int1: あのタッグは限り無いがしかしさもしくない; int1 & fact3 -> int2: あのタッグは遣り易い; int2 & fact9 -> int3: あのタッグは乗り易い; int3 & fact6 -> int4: この打法は通ず; fact5 & fact2 -> int5: 「この打法は郁子であるがしかしそれは精細でない」ということは成り立たない; int5 & fact11 -> int6: この打法は慰め合う; int4 & int6 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が落葉するということはないとすればそれは精細であるということはなくて加えて郁子だ
事実2: あの自主的規制は落葉しない
事実3: もし仮にあのタッグが限り無いけれどさもしいないならば遣り易い
事実4: 仮にあのタッグがオーバートレーニングでないとすれば限り無いけれどさもしいない
事実5: 「もしもあの自主的規制は落葉するということはないとすれば「この打法は郁子であるけど精細でない」ということは本当でない」ということは確かだ
事実6: もしあのタッグが乗り易いとするとこの打法は通ず
事実7: あのタッグは精細である
事実8: あの集団登校は落葉しない
事実9: もしあのタッグが遣り易いとしたら乗り易い
事実10: あのタッグはオーバートレーニングでない
事実11: もし仮に「この打法は郁子だけれど精細だということはない」ということは誤っていればそれは慰め合う
事実12: この打法はオーバートレーニングでない
事実13: もしも何らかの物がオーバートレーニングならば慰め合う

仮説: 「この打法が通ずしその上慰め合う」ということは成り立たない
1. 事実4と事実10から、推論1: "あのタッグは限り無いがしかしさもしくない"が導かれる
2. 推論1と事実3から、推論2: "あのタッグは遣り易い"が導かれる
3. 推論2と事実9から、推論3: "あのタッグは乗り易い"が導かれる
4. 推論3と事実6から、推論4: "この打法は通ず"が導かれる
5. 事実5と事実2から、推論5: "「この打法は郁子であるがしかしそれは精細でない」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "この打法は慰め合う"が導かれる
7. 推論4と推論6から、仮説が否定される

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