「「もし伸び易いけど掛け始めないなら野球離れだということはない」物はある」ということは成り立たない
fact1: 「もしも忍耐強いしそれにけばけばしくないなら「いじましくない」ということは確かである」物はある fact2: 感じ易いバクティは厚かましくない fact3: 「仮に中軸線で加えて仰々しいとすると主教でない」ものはある fact4: もし伸び易い物が掛け始めるとしたら野球離れでない fact5: もし仮にあるものが語り合うけどそれは文法性判断テストでないならそれは予想し得る fact6: 仮に伸び易いものが掛け始めるということはないとするとそれは野球離れでない fact7: 「もしも伸び易いけれど掛け始めるということはないならば「野球離れである」ということは成り立つ」物はある fact8: 「「テンスであるしその上埼玉県立病院であるとすれば吸収出来ない」ものはある」ということは確かである fact9: 「伸び易くて掛け始めるとすれば野球離れでない」物はある fact10: 「もしも新規抗精神病薬だがしかし直面しないならば鴨だということはない」ものはある fact11: もしもあの真横が伸び易くてそれが掛け始めるとするとそれは野球離れでない fact12: もし仮に伸び易い物が掛け始めないとすればそれは野球離れだ fact13: もしもあの真横は伸び易いがしかし掛け始めないとするとそれは野球離れだ fact14: 騙され易い文法性判断テストは彼女らしくない
fact6 -> int1: もしもあの真横が伸び易いがそれが掛け始めないとすればそれは野球離れでない; int1 -> hypothesis;
$facts$ = fact1: 「もしも忍耐強いしそれにけばけばしくないなら「いじましくない」ということは確かである」物はある fact2: 感じ易いバクティは厚かましくない fact3: 「仮に中軸線で加えて仰々しいとすると主教でない」ものはある fact4: もし伸び易い物が掛け始めるとしたら野球離れでない fact5: もし仮にあるものが語り合うけどそれは文法性判断テストでないならそれは予想し得る fact6: 仮に伸び易いものが掛け始めるということはないとするとそれは野球離れでない fact7: 「もしも伸び易いけれど掛け始めるということはないならば「野球離れである」ということは成り立つ」物はある fact8: 「「テンスであるしその上埼玉県立病院であるとすれば吸収出来ない」ものはある」ということは確かである fact9: 「伸び易くて掛け始めるとすれば野球離れでない」物はある fact10: 「もしも新規抗精神病薬だがしかし直面しないならば鴨だということはない」ものはある fact11: もしもあの真横が伸び易くてそれが掛け始めるとするとそれは野球離れでない fact12: もし仮に伸び易い物が掛け始めないとすればそれは野球離れだ fact13: もしもあの真横は伸び易いがしかし掛け始めないとするとそれは野球離れだ fact14: 騙され易い文法性判断テストは彼女らしくない ; $hypothesis$ = 「「もし伸び易いけど掛け始めないなら野球離れだということはない」物はある」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしもあの真横が伸び易いがそれが掛け始めないとすればそれは野球離れでない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも忍耐強いしそれにけばけばしくないなら「いじましくない」ということは確かである」物はある
事実2: 感じ易いバクティは厚かましくない
事実3: 「仮に中軸線で加えて仰々しいとすると主教でない」ものはある
事実4: もし伸び易い物が掛け始めるとしたら野球離れでない
事実5: もし仮にあるものが語り合うけどそれは文法性判断テストでないならそれは予想し得る
事実6: 仮に伸び易いものが掛け始めるということはないとするとそれは野球離れでない
事実7: 「もしも伸び易いけれど掛け始めるということはないならば「野球離れである」ということは成り立つ」物はある
事実8: 「「テンスであるしその上埼玉県立病院であるとすれば吸収出来ない」ものはある」ということは確かである
事実9: 「伸び易くて掛け始めるとすれば野球離れでない」物はある
事実10: 「もしも新規抗精神病薬だがしかし直面しないならば鴨だということはない」ものはある
事実11: もしもあの真横が伸び易くてそれが掛け始めるとするとそれは野球離れでない
事実12: もし仮に伸び易い物が掛け始めないとすればそれは野球離れだ
事実13: もしもあの真横は伸び易いがしかし掛け始めないとするとそれは野球離れだ
事実14: 騙され易い文法性判断テストは彼女らしくない

仮説: 「「もし伸び易いけど掛け始めないなら野球離れだということはない」物はある」ということは成り立たない
1. 事実6から、推論1: "もしもあの真横が伸び易いがそれが掛け始めないとすればそれは野球離れでない"が導かれる
2. 推論1から、仮説が否定される

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