この略式裁判は述懐しない
fact1: もし仮にその初子はフィールド上であるとすればそれは大骨だ fact2: もしもこの略式裁判が述懐するとしたら格下げだ fact3: もしもこのコイル巻きは怪しないならば「それはプールでまたスパイラルアップする」ということは成り立たない fact4: あの罰金は全開であるとすればそれは一Ｆでない fact5: あの戦法は大骨だ fact6: 仮に「なんらかのものは一Ｆでない」ということは確かであるとするとそれは怪しししかもプールである fact7: 「仮にあの罰金が一Ｆでないとするとこのコイル巻きは一Ｆでない」ということは確かだ fact8: この略式裁判は大骨であるとすると述懐する fact9: 何かは尾長でないとすると「初当選するしそれは大骨でない」ということは成り立たない fact10: プールはスパイラルアップするということはないしその上尾長でない fact11: この略式裁判は考う fact12: この略式裁判は薄い fact13: もしも「「このコイル巻きは初当選するけれどそれは大骨であるということはない」ということは間違いである」ということは間違いでないならばこの略式裁判は述懐しない fact14: この略式裁判は大骨だ
fact8 & fact14 -> hypothesis;
fact8 & fact14 -> hypothesis;
この略式裁判は述懐しない
fact17 -> int1: このコイル巻きは尾長でないとすれば「初当選するしそれは大骨でない」ということは本当でない; fact19 -> int2: 「このコイル巻きはプールだ」ということは正しいとすればそれはスパイラルアップしないしかつ尾長でない; fact16 -> int3: もしもこのコイル巻きが一Ｆでないとすればそれは怪しししかもプールである;
$facts$ = fact1: もし仮にその初子はフィールド上であるとすればそれは大骨だ fact2: もしもこの略式裁判が述懐するとしたら格下げだ fact3: もしもこのコイル巻きは怪しないならば「それはプールでまたスパイラルアップする」ということは成り立たない fact4: あの罰金は全開であるとすればそれは一Ｆでない fact5: あの戦法は大骨だ fact6: 仮に「なんらかのものは一Ｆでない」ということは確かであるとするとそれは怪しししかもプールである fact7: 「仮にあの罰金が一Ｆでないとするとこのコイル巻きは一Ｆでない」ということは確かだ fact8: この略式裁判は大骨であるとすると述懐する fact9: 何かは尾長でないとすると「初当選するしそれは大骨でない」ということは成り立たない fact10: プールはスパイラルアップするということはないしその上尾長でない fact11: この略式裁判は考う fact12: この略式裁判は薄い fact13: もしも「「このコイル巻きは初当選するけれどそれは大骨であるということはない」ということは間違いである」ということは間違いでないならばこの略式裁判は述懐しない fact14: この略式裁判は大骨だ ; $hypothesis$ = この略式裁判は述懐しない ; $proof$ = 
fact8 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮にその初子はフィールド上であるとすればそれは大骨だ
事実2: もしもこの略式裁判が述懐するとしたら格下げだ
事実3: もしもこのコイル巻きは怪しないならば「それはプールでまたスパイラルアップする」ということは成り立たない
事実4: あの罰金は全開であるとすればそれは一Ｆでない
事実5: あの戦法は大骨だ
事実6: 仮に「なんらかのものは一Ｆでない」ということは確かであるとするとそれは怪しししかもプールである
事実7: 「仮にあの罰金が一Ｆでないとするとこのコイル巻きは一Ｆでない」ということは確かだ
事実8: この略式裁判は大骨であるとすると述懐する
事実9: 何かは尾長でないとすると「初当選するしそれは大骨でない」ということは成り立たない
事実10: プールはスパイラルアップするということはないしその上尾長でない
事実11: この略式裁判は考う
事実12: この略式裁判は薄い
事実13: もしも「「このコイル巻きは初当選するけれどそれは大骨であるということはない」ということは間違いである」ということは間違いでないならばこの略式裁判は述懐しない
事実14: この略式裁判は大骨だ

仮説: この略式裁判は述懐しない
1. 事実8と事実14から、仮説が否定される

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