あのサツマ芋は外出出来ない
fact1: そのプロジェクト・マネジャーは寒い fact2: もしもあのラン藻が発揮し難いならあのサツマ芋は外出出来る fact3: 「あのラン藻は発揮し難いけれど外出出来ない」ということは成り立つということはない fact4: 仮にそのプロジェクト・マネジャーは寒いとしたら「あのラン藻は実行し易くて更にそれは発揮し難い」ということは成り立たない fact5: もしそのプロジェクト・マネジャーは直り難いということはないならば「刈るし加えて寒い」ということは成り立たない fact6: 仮に「あのラン藻は外出出来るが発揮し難くない」ということは成り立たないとすればそのプロジェクト・マネジャーは寒い fact7: 「仮になにがしかのものは刈るなら「外出出来なくておまけに寒いということはない」ということは事実と異なる」ということは成り立つ fact8: 「あのラン藻は実行し易いししかも発揮し難い」ということは本当でない fact9: もしも「そのプロジェクト・マネジャーは寒い」ということは成り立つとすれば「あのラン藻は実行し易いけれど発揮し難くない」ということは誤っている fact10: もし仮に「とあるものは外出出来るということはなくてまた寒くない」ということは成り立たないとすれば寒い fact11: 仮に「あのラン藻は実行し易いけれど発揮し難くない」ということは偽であるとすれば「あのサツマ芋は外出出来る」ということは本当である
fact9 & fact1 -> int1: 「あのラン藻は実行し易いけれど発揮し難くない」ということは成り立たない; int1 & fact11 -> hypothesis;
fact9 & fact1 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact11 -> hypothesis;
あのサツマ芋は外出出来ない
$facts$ = fact1: そのプロジェクト・マネジャーは寒い fact2: もしもあのラン藻が発揮し難いならあのサツマ芋は外出出来る fact3: 「あのラン藻は発揮し難いけれど外出出来ない」ということは成り立つということはない fact4: 仮にそのプロジェクト・マネジャーは寒いとしたら「あのラン藻は実行し易くて更にそれは発揮し難い」ということは成り立たない fact5: もしそのプロジェクト・マネジャーは直り難いということはないならば「刈るし加えて寒い」ということは成り立たない fact6: 仮に「あのラン藻は外出出来るが発揮し難くない」ということは成り立たないとすればそのプロジェクト・マネジャーは寒い fact7: 「仮になにがしかのものは刈るなら「外出出来なくておまけに寒いということはない」ということは事実と異なる」ということは成り立つ fact8: 「あのラン藻は実行し易いししかも発揮し難い」ということは本当でない fact9: もしも「そのプロジェクト・マネジャーは寒い」ということは成り立つとすれば「あのラン藻は実行し易いけれど発揮し難くない」ということは誤っている fact10: もし仮に「とあるものは外出出来るということはなくてまた寒くない」ということは成り立たないとすれば寒い fact11: 仮に「あのラン藻は実行し易いけれど発揮し難くない」ということは偽であるとすれば「あのサツマ芋は外出出来る」ということは本当である ; $hypothesis$ = あのサツマ芋は外出出来ない ; $proof$ = 
fact9 & fact1 -> int1: 「あのラン藻は実行し易いけれど発揮し難くない」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: そのプロジェクト・マネジャーは寒い
事実2: もしもあのラン藻が発揮し難いならあのサツマ芋は外出出来る
事実3: 「あのラン藻は発揮し難いけれど外出出来ない」ということは成り立つということはない
事実4: 仮にそのプロジェクト・マネジャーは寒いとしたら「あのラン藻は実行し易くて更にそれは発揮し難い」ということは成り立たない
事実5: もしそのプロジェクト・マネジャーは直り難いということはないならば「刈るし加えて寒い」ということは成り立たない
事実6: 仮に「あのラン藻は外出出来るが発揮し難くない」ということは成り立たないとすればそのプロジェクト・マネジャーは寒い
事実7: 「仮になにがしかのものは刈るなら「外出出来なくておまけに寒いということはない」ということは事実と異なる」ということは成り立つ
事実8: 「あのラン藻は実行し易いししかも発揮し難い」ということは本当でない
事実9: もしも「そのプロジェクト・マネジャーは寒い」ということは成り立つとすれば「あのラン藻は実行し易いけれど発揮し難くない」ということは誤っている
事実10: もし仮に「とあるものは外出出来るということはなくてまた寒くない」ということは成り立たないとすれば寒い
事実11: 仮に「あのラン藻は実行し易いけれど発揮し難くない」ということは偽であるとすれば「あのサツマ芋は外出出来る」ということは本当である

仮説: あのサツマ芋は外出出来ない
1. 事実9と事実1から、推論1: "「あのラン藻は実行し易いけれど発揮し難くない」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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