その第一選択薬はしつこい
fact1: 「回避出来るということはないし想起出来る」ものはある fact2: あのステイゴールドは伝授しない一方でそれは回避出来る fact3: もし「大量輸液でないし伝授しない」ものはあるとしたら「そのブラッグ反射はファイル整理でない」ということは確かだ fact4: 「あのステイゴールドは想起出来るししかも苛立たしい」ということは間違っているとするとそれは大量輸液でない fact5: 「「あのステイゴールドは想起出来るし加えてそれは苛立たしい」ということは誤りだ」ということは本当だ fact6: もし「この御母は伝授しない」ということは真実であるならあのステイゴールドは鉱石でない fact7: なにかは伝授するけどそれは回避出来ない fact8: もしもあのステイゴールドは伝授するとすれば「その第一選択薬はしつこい」ということは確かである fact9: もし仮にこの奥棺が鉱石である一方で適用するということはないとしたらこの御母は鉱石である fact10: 仮に「その回覧物は鉱石である」ということは真実だとすればこの奥棺は鉱石である fact11: 仮にこの御母は鉱石だとしたら「そのブラッグ反射はファイル整理でなくてかつ大量輸液でない」ということは成り立たない fact12: そのブラッグ反射は適用しない fact13: あのステイゴールドはしつこくないが想起出来る fact14: もしもこの御母が鉱石だがしかし適用しないならその第一選択薬はしつこくない fact15: そのブラッグ反射はしつこくない fact16: もしそのブラッグ反射がファイル整理でないとすればこの御母は鉱石だが適用しない
fact4 & fact5 -> int1: 「あのステイゴールドは大量輸液でない」ということは成り立つ; fact2 -> int2: あのステイゴールドは伝授しない; int1 & int2 -> int3: あのステイゴールドは大量輸液でなくて伝授しない; int3 -> int4: 「なにかは大量輸液でないしそれは伝授しない」ということは成り立つ; int4 & fact3 -> int5: そのブラッグ反射はファイル整理でない; int5 & fact16 -> int6: この御母は鉱石だがしかしそれは適用しない; int6 & fact14 -> hypothesis;
その第一選択薬はしつこい
$facts$ = fact1: 「回避出来るということはないし想起出来る」ものはある fact2: あのステイゴールドは伝授しない一方でそれは回避出来る fact3: もし「大量輸液でないし伝授しない」ものはあるとしたら「そのブラッグ反射はファイル整理でない」ということは確かだ fact4: 「あのステイゴールドは想起出来るししかも苛立たしい」ということは間違っているとするとそれは大量輸液でない fact5: 「「あのステイゴールドは想起出来るし加えてそれは苛立たしい」ということは誤りだ」ということは本当だ fact6: もし「この御母は伝授しない」ということは真実であるならあのステイゴールドは鉱石でない fact7: なにかは伝授するけどそれは回避出来ない fact8: もしもあのステイゴールドは伝授するとすれば「その第一選択薬はしつこい」ということは確かである fact9: もし仮にこの奥棺が鉱石である一方で適用するということはないとしたらこの御母は鉱石である fact10: 仮に「その回覧物は鉱石である」ということは真実だとすればこの奥棺は鉱石である fact11: 仮にこの御母は鉱石だとしたら「そのブラッグ反射はファイル整理でなくてかつ大量輸液でない」ということは成り立たない fact12: そのブラッグ反射は適用しない fact13: あのステイゴールドはしつこくないが想起出来る fact14: もしもこの御母が鉱石だがしかし適用しないならその第一選択薬はしつこくない fact15: そのブラッグ反射はしつこくない fact16: もしそのブラッグ反射がファイル整理でないとすればこの御母は鉱石だが適用しない ; $hypothesis$ = その第一選択薬はしつこい ; $proof$ = 
fact4 & fact5 -> int1: 「あのステイゴールドは大量輸液でない」ということは成り立つ; fact2 -> int2: あのステイゴールドは伝授しない; int1 & int2 -> int3: あのステイゴールドは大量輸液でなくて伝授しない; int3 -> int4: 「なにかは大量輸液でないしそれは伝授しない」ということは成り立つ; int4 & fact3 -> int5: そのブラッグ反射はファイル整理でない; int5 & fact16 -> int6: この御母は鉱石だがしかしそれは適用しない; int6 & fact14 -> hypothesis; __DISPROVED__
事実1: 「回避出来るということはないし想起出来る」ものはある
事実2: あのステイゴールドは伝授しない一方でそれは回避出来る
事実3: もし「大量輸液でないし伝授しない」ものはあるとしたら「そのブラッグ反射はファイル整理でない」ということは確かだ
事実4: 「あのステイゴールドは想起出来るししかも苛立たしい」ということは間違っているとするとそれは大量輸液でない
事実5: 「「あのステイゴールドは想起出来るし加えてそれは苛立たしい」ということは誤りだ」ということは本当だ
事実6: もし「この御母は伝授しない」ということは真実であるならあのステイゴールドは鉱石でない
事実7: なにかは伝授するけどそれは回避出来ない
事実8: もしもあのステイゴールドは伝授するとすれば「その第一選択薬はしつこい」ということは確かである
事実9: もし仮にこの奥棺が鉱石である一方で適用するということはないとしたらこの御母は鉱石である
事実10: 仮に「その回覧物は鉱石である」ということは真実だとすればこの奥棺は鉱石である
事実11: 仮にこの御母は鉱石だとしたら「そのブラッグ反射はファイル整理でなくてかつ大量輸液でない」ということは成り立たない
事実12: そのブラッグ反射は適用しない
事実13: あのステイゴールドはしつこくないが想起出来る
事実14: もしもこの御母が鉱石だがしかし適用しないならその第一選択薬はしつこくない
事実15: そのブラッグ反射はしつこくない
事実16: もしそのブラッグ反射がファイル整理でないとすればこの御母は鉱石だが適用しない

仮説: その第一選択薬はしつこい
1. 事実4と事実5から、推論1: "「あのステイゴールドは大量輸液でない」ということは成り立つ"が導かれる
2. 事実2から、推論2: "あのステイゴールドは伝授しない"が導かれる
3. 推論1と推論2から、推論3: "あのステイゴールドは大量輸液でなくて伝授しない"が導かれる
4. 推論3から、推論4: "「なにかは大量輸液でないしそれは伝授しない」ということは成り立つ"が導かれる
5. 推論4と事実3から、推論5: "そのブラッグ反射はファイル整理でない"が導かれる
6. 推論5と事実16から、推論6: "この御母は鉱石だがしかしそれは適用しない"が導かれる
7. 推論6と事実14から、仮説が否定される

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