このグループＡレースは終息するということはないし更にマイクロバイタでない
fact1: もし「そのパイプライン特性は覚え難くてそれは吐き捨てる」ということは成り立たないならばこのグループＡレースはマイクロバイタでない fact2: もしもその着は繰り替えるなら「その格下は繰り替えないししかも去勢でない」ということは嘘だ fact3: もしもなにがしかのものは五十六年度でないなら「その着は繰り替える」ということは成り立つ fact4: 「そのパイプライン特性は内面性でない」ということは成り立つ fact5: あるものは五十六年度でない fact6: もしもその格下は吹き下ろすとすると「その赤母衣は十種類である」ということは事実である fact7: そのパイプライン特性は内面性であるということはないとすれば「覚え難いしかつ吐き捨てる」ということは真実でない fact8: もしその赤母衣が十種類であるならばこのグループＡレースは終息しない fact9: 仮に「覚え難くない」ものがあるとすればあのグループＡレースはマイクロバイタだ fact10: もしも「「その格下は繰り替えないし去勢でない」ということは事実と異なる」ということは成り立つとしたら吹き下ろす
fact5 & fact3 -> int1: その着は繰り替える; int1 & fact2 -> int2: 「その格下は繰り替えるということはないしさらに去勢でない」ということは嘘だ; int2 & fact10 -> int3: その格下は吹き下ろす; int3 & fact6 -> int4: その赤母衣は十種類だ; int4 & fact8 -> int5: 「このグループＡレースは終息しない」ということは本当である; fact7 & fact4 -> int6: 「「そのパイプライン特性は覚え難いし吐き捨てる」ということは嘘だ」ということは事実である; fact1 & int6 -> int7: このグループＡレースはマイクロバイタでない; int5 & int7 -> hypothesis;
$facts$ = fact1: もし「そのパイプライン特性は覚え難くてそれは吐き捨てる」ということは成り立たないならばこのグループＡレースはマイクロバイタでない fact2: もしもその着は繰り替えるなら「その格下は繰り替えないししかも去勢でない」ということは嘘だ fact3: もしもなにがしかのものは五十六年度でないなら「その着は繰り替える」ということは成り立つ fact4: 「そのパイプライン特性は内面性でない」ということは成り立つ fact5: あるものは五十六年度でない fact6: もしもその格下は吹き下ろすとすると「その赤母衣は十種類である」ということは事実である fact7: そのパイプライン特性は内面性であるということはないとすれば「覚え難いしかつ吐き捨てる」ということは真実でない fact8: もしその赤母衣が十種類であるならばこのグループＡレースは終息しない fact9: 仮に「覚え難くない」ものがあるとすればあのグループＡレースはマイクロバイタだ fact10: もしも「「その格下は繰り替えないし去勢でない」ということは事実と異なる」ということは成り立つとしたら吹き下ろす ; $hypothesis$ = このグループＡレースは終息するということはないし更にマイクロバイタでない ; $proof$ = 
fact5 & fact3 -> int1: その着は繰り替える; int1 & fact2 -> int2: 「その格下は繰り替えるということはないしさらに去勢でない」ということは嘘だ; int2 & fact10 -> int3: その格下は吹き下ろす; int3 & fact6 -> int4: その赤母衣は十種類だ; int4 & fact8 -> int5: 「このグループＡレースは終息しない」ということは本当である; fact7 & fact4 -> int6: 「「そのパイプライン特性は覚え難いし吐き捨てる」ということは嘘だ」ということは事実である; fact1 & int6 -> int7: このグループＡレースはマイクロバイタでない; int5 & int7 -> hypothesis; __PROVED__
事実1: もし「そのパイプライン特性は覚え難くてそれは吐き捨てる」ということは成り立たないならばこのグループＡレースはマイクロバイタでない
事実2: もしもその着は繰り替えるなら「その格下は繰り替えないししかも去勢でない」ということは嘘だ
事実3: もしもなにがしかのものは五十六年度でないなら「その着は繰り替える」ということは成り立つ
事実4: 「そのパイプライン特性は内面性でない」ということは成り立つ
事実5: あるものは五十六年度でない
事実6: もしもその格下は吹き下ろすとすると「その赤母衣は十種類である」ということは事実である
事実7: そのパイプライン特性は内面性であるということはないとすれば「覚え難いしかつ吐き捨てる」ということは真実でない
事実8: もしその赤母衣が十種類であるならばこのグループＡレースは終息しない
事実9: 仮に「覚え難くない」ものがあるとすればあのグループＡレースはマイクロバイタだ
事実10: もしも「「その格下は繰り替えないし去勢でない」ということは事実と異なる」ということは成り立つとしたら吹き下ろす

仮説: このグループＡレースは終息するということはないし更にマイクロバイタでない
1. 事実5と事実3から、推論1: "その着は繰り替える"が導かれる
2. 推論1と事実2から、推論2: "「その格下は繰り替えるということはないしさらに去勢でない」ということは嘘だ"が導かれる
3. 推論2と事実10から、推論3: "その格下は吹き下ろす"が導かれる
4. 推論3と事実6から、推論4: "その赤母衣は十種類だ"が導かれる
5. 推論4と事実8から、推論5: "「このグループＡレースは終息しない」ということは本当である"が導かれる
6. 事実7と事実4から、推論6: "「「そのパイプライン特性は覚え難いし吐き捨てる」ということは嘘だ」ということは事実である"が導かれる
7. 事実1と推論6から、推論7: "このグループＡレースはマイクロバイタでない"が導かれる
8. 推論5と推論7から、仮説が導かれる

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