このドゥーＧは戦えるしおまけに読み易い
fact1: このドゥーＧは下すとすれば「それは品質不良でなくてしかもそれは読み易い」ということは成り立たない fact2: もし仮になんらかの物が女性科学者でないとすればそれは戦えるし下す fact3: その研究開発投資は品質不良だ fact4: このバロン・サムデイは読み易い fact5: 「その研究開発投資は十一年度でない」ということは成り立つ fact6: 「その研究開発投資は戦えるということはないけれどそれは読み易い」ということは成り立たない fact7: その研究開発投資は読み易くない fact8: その鉄塩は誤信しないがしかしそれは戦える fact9: その母体は下さない fact10: もし仮にその研究開発投資は品質不良だとしたら「それは下さないけど戦える」ということは本当でない fact11: その研究開発投資は下さない fact12: もし仮にその研究開発投資は戦えるということはないとすれば「このドゥーＧは戦えるし更に読み易い」ということは成り立たない fact13: このドゥーＧは下さないならば「その研究開発投資は下すしそれは読み易い」ということは真実でない fact14: 「このドゥーＧは戦えるし更に下す」ということは誤りである fact15: 「このドゥーＧは品質不良でないけど御早い」ということは成り立たない fact16: このドゥーＧは相輪である
void -> assump1: 以下のように仮定する。その研究開発投資は戦える; fact11 & assump1 -> int1: その研究開発投資は下さないが戦える; fact3 & fact10 -> int2: 「その研究開発投資は下すということはない一方で戦える」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研究開発投資は戦えらない; int4 & fact12 -> hypothesis;
このドゥーＧは戦えるしさらに読み易い
fact17 -> int5: 「もしこのドゥーＧが女性科学者でないとしたらこのドゥーＧは戦えるしそれに下す」ということは誤っていない;
$facts$ = fact1: このドゥーＧは下すとすれば「それは品質不良でなくてしかもそれは読み易い」ということは成り立たない fact2: もし仮になんらかの物が女性科学者でないとすればそれは戦えるし下す fact3: その研究開発投資は品質不良だ fact4: このバロン・サムデイは読み易い fact5: 「その研究開発投資は十一年度でない」ということは成り立つ fact6: 「その研究開発投資は戦えるということはないけれどそれは読み易い」ということは成り立たない fact7: その研究開発投資は読み易くない fact8: その鉄塩は誤信しないがしかしそれは戦える fact9: その母体は下さない fact10: もし仮にその研究開発投資は品質不良だとしたら「それは下さないけど戦える」ということは本当でない fact11: その研究開発投資は下さない fact12: もし仮にその研究開発投資は戦えるということはないとすれば「このドゥーＧは戦えるし更に読み易い」ということは成り立たない fact13: このドゥーＧは下さないならば「その研究開発投資は下すしそれは読み易い」ということは真実でない fact14: 「このドゥーＧは戦えるし更に下す」ということは誤りである fact15: 「このドゥーＧは品質不良でないけど御早い」ということは成り立たない fact16: このドゥーＧは相輪である ; $hypothesis$ = このドゥーＧは戦えるしおまけに読み易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その研究開発投資は戦える; fact11 & assump1 -> int1: その研究開発投資は下さないが戦える; fact3 & fact10 -> int2: 「その研究開発投資は下すということはない一方で戦える」ということは間違いだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研究開発投資は戦えらない; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: このドゥーＧは下すとすれば「それは品質不良でなくてしかもそれは読み易い」ということは成り立たない
事実2: もし仮になんらかの物が女性科学者でないとすればそれは戦えるし下す
事実3: その研究開発投資は品質不良だ
事実4: このバロン・サムデイは読み易い
事実5: 「その研究開発投資は十一年度でない」ということは成り立つ
事実6: 「その研究開発投資は戦えるということはないけれどそれは読み易い」ということは成り立たない
事実7: その研究開発投資は読み易くない
事実8: その鉄塩は誤信しないがしかしそれは戦える
事実9: その母体は下さない
事実10: もし仮にその研究開発投資は品質不良だとしたら「それは下さないけど戦える」ということは本当でない
事実11: その研究開発投資は下さない
事実12: もし仮にその研究開発投資は戦えるということはないとすれば「このドゥーＧは戦えるし更に読み易い」ということは成り立たない
事実13: このドゥーＧは下さないならば「その研究開発投資は下すしそれは読み易い」ということは真実でない
事実14: 「このドゥーＧは戦えるし更に下す」ということは誤りである
事実15: 「このドゥーＧは品質不良でないけど御早い」ということは成り立たない
事実16: このドゥーＧは相輪である

仮説: このドゥーＧは戦えるしおまけに読み易い
1. 仮定1: 以下のように仮定する。その研究開発投資は戦える
2. 事実11と仮定1から、推論1: "その研究開発投資は下さないが戦える"が導かれる
3. 事実3と事実10から、推論2: "「その研究開発投資は下すということはない一方で戦える」ということは間違いだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その研究開発投資は戦えらない"が導かれる
6. 推論4と事実12から、仮説が否定される

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