そのスペシャルステージ・ルートは辛さだ
fact1: このカラープランニングが辛さであるならばそのスペシャルステージ・ルートは辛さだ fact2: とあるものは安楽死しない fact3: その統合ソフトは辛さでない fact4: この人気薄がＭ―φモデルであるとしたらこのヘアスタイリング剤は腑甲斐無い fact5: 仮にこのカラープランニングが飛行機らしいとするとそのスペシャルステージ・ルートは辛さでない fact6: もし仮に何かは活動し難くないとすれば飛行機らしいしまた昼寝する fact7: もしもこのヘアスタイリング剤は腑甲斐無いとしたら「それは止む無いけれど体験しない」ということは誤っている fact8: もし仮に「「止む無いけど体験しない」ということは成り立たない」物があるとしたらあの右事実は止む無いということはない fact9: もし仮にあの右事実が止む無いということはないとすればこの接触は再発し易くて御釣りだ fact10: 仮にこのカラープランニングが御釣りでないがしかし辛さであるとするとその配下達は辛さでない fact11: もしも「なにかは活動し難いし褐色ガラス瓶だ」ということは成り立たないならばそれは活動し難いということはない fact12: もしもこのカラープランニングが昼寝するかあるいは飛行機らしいならばそのスペシャルステージ・ルートは辛さでない fact13: 「この国地方係争処理委員会は昼寝する」ということは間違っていない fact14: 仮にとあるものは辛さであるということはないとすると昼寝するし加えて飛行機らしい fact15: 仮に「この人気薄は腑甲斐無い」ということは本当であるとするとこのヘアスタイリング剤は腑甲斐無い fact16: その優先規則は女っぽくない fact17: もしなんらかのものが安楽死しないとするとこの人気薄はＭ―φモデルであるかあるいは腑甲斐無い fact18: もし仮にこの接触が再発し易いけれどそれが活動し難くないならこの泥濘は活動し難くない fact19: もしこの泥濘が昼寝すればこのカラープランニングは辛さである fact20: 「このカラープランニングは昼寝する」ということは間違っていない
fact20 -> int1: このカラープランニングは昼寝するかまたは飛行機らしいかまたは両方だ; int1 & fact12 -> hypothesis;
その配下達は飛行機らしいかもしくはそれはつとする
fact21 -> int2: 仮にその配下達は辛さでないとしたらそれは昼寝するし飛行機らしい;
$facts$ = fact1: このカラープランニングが辛さであるならばそのスペシャルステージ・ルートは辛さだ fact2: とあるものは安楽死しない fact3: その統合ソフトは辛さでない fact4: この人気薄がＭ―φモデルであるとしたらこのヘアスタイリング剤は腑甲斐無い fact5: 仮にこのカラープランニングが飛行機らしいとするとそのスペシャルステージ・ルートは辛さでない fact6: もし仮に何かは活動し難くないとすれば飛行機らしいしまた昼寝する fact7: もしもこのヘアスタイリング剤は腑甲斐無いとしたら「それは止む無いけれど体験しない」ということは誤っている fact8: もし仮に「「止む無いけど体験しない」ということは成り立たない」物があるとしたらあの右事実は止む無いということはない fact9: もし仮にあの右事実が止む無いということはないとすればこの接触は再発し易くて御釣りだ fact10: 仮にこのカラープランニングが御釣りでないがしかし辛さであるとするとその配下達は辛さでない fact11: もしも「なにかは活動し難いし褐色ガラス瓶だ」ということは成り立たないならばそれは活動し難いということはない fact12: もしもこのカラープランニングが昼寝するかあるいは飛行機らしいならばそのスペシャルステージ・ルートは辛さでない fact13: 「この国地方係争処理委員会は昼寝する」ということは間違っていない fact14: 仮にとあるものは辛さであるということはないとすると昼寝するし加えて飛行機らしい fact15: 仮に「この人気薄は腑甲斐無い」ということは本当であるとするとこのヘアスタイリング剤は腑甲斐無い fact16: その優先規則は女っぽくない fact17: もしなんらかのものが安楽死しないとするとこの人気薄はＭ―φモデルであるかあるいは腑甲斐無い fact18: もし仮にこの接触が再発し易いけれどそれが活動し難くないならこの泥濘は活動し難くない fact19: もしこの泥濘が昼寝すればこのカラープランニングは辛さである fact20: 「このカラープランニングは昼寝する」ということは間違っていない ; $hypothesis$ = そのスペシャルステージ・ルートは辛さだ ; $proof$ = 
fact20 -> int1: このカラープランニングは昼寝するかまたは飛行機らしいかまたは両方だ; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: このカラープランニングが辛さであるならばそのスペシャルステージ・ルートは辛さだ
事実2: とあるものは安楽死しない
事実3: その統合ソフトは辛さでない
事実4: この人気薄がＭ―φモデルであるとしたらこのヘアスタイリング剤は腑甲斐無い
事実5: 仮にこのカラープランニングが飛行機らしいとするとそのスペシャルステージ・ルートは辛さでない
事実6: もし仮に何かは活動し難くないとすれば飛行機らしいしまた昼寝する
事実7: もしもこのヘアスタイリング剤は腑甲斐無いとしたら「それは止む無いけれど体験しない」ということは誤っている
事実8: もし仮に「「止む無いけど体験しない」ということは成り立たない」物があるとしたらあの右事実は止む無いということはない
事実9: もし仮にあの右事実が止む無いということはないとすればこの接触は再発し易くて御釣りだ
事実10: 仮にこのカラープランニングが御釣りでないがしかし辛さであるとするとその配下達は辛さでない
事実11: もしも「なにかは活動し難いし褐色ガラス瓶だ」ということは成り立たないならばそれは活動し難いということはない
事実12: もしもこのカラープランニングが昼寝するかあるいは飛行機らしいならばそのスペシャルステージ・ルートは辛さでない
事実13: 「この国地方係争処理委員会は昼寝する」ということは間違っていない
事実14: 仮にとあるものは辛さであるということはないとすると昼寝するし加えて飛行機らしい
事実15: 仮に「この人気薄は腑甲斐無い」ということは本当であるとするとこのヘアスタイリング剤は腑甲斐無い
事実16: その優先規則は女っぽくない
事実17: もしなんらかのものが安楽死しないとするとこの人気薄はＭ―φモデルであるかあるいは腑甲斐無い
事実18: もし仮にこの接触が再発し易いけれどそれが活動し難くないならこの泥濘は活動し難くない
事実19: もしこの泥濘が昼寝すればこのカラープランニングは辛さである
事実20: 「このカラープランニングは昼寝する」ということは間違っていない

仮説: そのスペシャルステージ・ルートは辛さだ
1. 事実20から、推論1: "このカラープランニングは昼寝するかまたは飛行機らしいかまたは両方だ"が導かれる
2. 推論1と事実12から、仮説が否定される

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