そのＧＣＳＢは狢だ
fact1: もしそのＧＣＳＢが温くないならばそれがチェンバロ・ソナタだしおまけにそれは狢である fact2: そのＧＣＳＢは比定するということはない fact3: もしもそのＧＣＳＢは合併し易くないなら「事業規模でないがしかしチェンバロ・ソナタだ」ということは偽である fact4: 「あのスポーツ中継は転院しない」ということは成り立つ fact5: この舞は転院しないとすると「比定しないししかもそれはチェンバロ・ソナタでない」ということは事実と異なる fact6: そのＧＣＳＢはチェンバロ・ソナタでない fact7: 「そのＧＣＳＢは冴える一方で比定しない」ということは成り立たない fact8: もしこの政府内部は掲出するということはないかまたは第二世代であるかまたはどちらもであるなら掻き分けない fact9: もし何らかの物は第二世代でないかまたは頼み難いか両方ともであるとすれば転院しない fact10: もしなんらかの物が比定しないなら御分からないか頼み難いか両方である fact11: もしも「この舞は比定するということはないしチェンバロ・ソナタでない」ということは偽であるとするとそのＧＣＳＢは狢でない fact12: この舞は第二世代でない
fact9 -> int1: この舞が第二世代でないかまたは頼み難いかもしくは両方だとするとそれは転院するということはない; fact12 -> int2: 「この舞は第二世代でないかまたはそれは頼み難い」ということは確かだ; int1 & int2 -> int3: この舞は転院しない; int3 & fact5 -> int4: 「この舞は比定しなくてまたチェンバロ・ソナタだということはない」ということは誤っている; int4 & fact11 -> hypothesis;
あの用水は御分からないかあるいは頼み難い
fact13 -> int5: 「あの用水は比定しない」ということは真実であるならば御分からないかあるいはそれは頼み難い;
$facts$ = fact1: もしそのＧＣＳＢが温くないならばそれがチェンバロ・ソナタだしおまけにそれは狢である fact2: そのＧＣＳＢは比定するということはない fact3: もしもそのＧＣＳＢは合併し易くないなら「事業規模でないがしかしチェンバロ・ソナタだ」ということは偽である fact4: 「あのスポーツ中継は転院しない」ということは成り立つ fact5: この舞は転院しないとすると「比定しないししかもそれはチェンバロ・ソナタでない」ということは事実と異なる fact6: そのＧＣＳＢはチェンバロ・ソナタでない fact7: 「そのＧＣＳＢは冴える一方で比定しない」ということは成り立たない fact8: もしこの政府内部は掲出するということはないかまたは第二世代であるかまたはどちらもであるなら掻き分けない fact9: もし何らかの物は第二世代でないかまたは頼み難いか両方ともであるとすれば転院しない fact10: もしなんらかの物が比定しないなら御分からないか頼み難いか両方である fact11: もしも「この舞は比定するということはないしチェンバロ・ソナタでない」ということは偽であるとするとそのＧＣＳＢは狢でない fact12: この舞は第二世代でない ; $hypothesis$ = そのＧＣＳＢは狢だ ; $proof$ = 
fact9 -> int1: この舞が第二世代でないかまたは頼み難いかもしくは両方だとするとそれは転院するということはない; fact12 -> int2: 「この舞は第二世代でないかまたはそれは頼み難い」ということは確かだ; int1 & int2 -> int3: この舞は転院しない; int3 & fact5 -> int4: 「この舞は比定しなくてまたチェンバロ・ソナタだということはない」ということは誤っている; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: もしそのＧＣＳＢが温くないならばそれがチェンバロ・ソナタだしおまけにそれは狢である
事実2: そのＧＣＳＢは比定するということはない
事実3: もしもそのＧＣＳＢは合併し易くないなら「事業規模でないがしかしチェンバロ・ソナタだ」ということは偽である
事実4: 「あのスポーツ中継は転院しない」ということは成り立つ
事実5: この舞は転院しないとすると「比定しないししかもそれはチェンバロ・ソナタでない」ということは事実と異なる
事実6: そのＧＣＳＢはチェンバロ・ソナタでない
事実7: 「そのＧＣＳＢは冴える一方で比定しない」ということは成り立たない
事実8: もしこの政府内部は掲出するということはないかまたは第二世代であるかまたはどちらもであるなら掻き分けない
事実9: もし何らかの物は第二世代でないかまたは頼み難いか両方ともであるとすれば転院しない
事実10: もしなんらかの物が比定しないなら御分からないか頼み難いか両方である
事実11: もしも「この舞は比定するということはないしチェンバロ・ソナタでない」ということは偽であるとするとそのＧＣＳＢは狢でない
事実12: この舞は第二世代でない

仮説: そのＧＣＳＢは狢だ
1. 事実9から、推論1: "この舞が第二世代でないかまたは頼み難いかもしくは両方だとするとそれは転院するということはない"が導かれる
2. 事実12から、推論2: "「この舞は第二世代でないかまたはそれは頼み難い」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "この舞は転院しない"が導かれる
4. 推論3と事実5から、推論4: "「この舞は比定しなくてまたチェンバロ・ソナタだということはない」ということは誤っている"が導かれる
5. 推論4と事実11から、仮説が否定される

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