「「もし好ましくないかもしくは合併し易いかまたは両方ともだとすると乏しい」ものはある」ということは嘘だ
fact1: もしもあの国民政府が好ましいかあるいはそれは合併し易いなら「それは乏しいということはない」ということは間違いだ fact2: 「もしも合併し易いとすると乏しい」ものはある fact3: 合併し易い物は乏しい fact4: もし何かは針刺し事故でないかもしくは人間臭いかまたは両方だとしたら決定書である fact5: 「もし仮に階級関係であるならばフィヨルドな」物はある fact6: もしもなんらかのものは好ましくないか合併し易いかまたはどちらもであるならば「乏しい」ということは本当である fact7: もし仮にあの国民政府が合併し易いならば乏しい fact8: 「好ましいかもしくは合併し易いかもしくは両方だとすると「乏しい」ということは真実である」ものはある fact9: 伸び易くないかあるいは合併し易いか両方ともであるものはださい fact10: 好ましいか合併し易いかもしくはどちらもな物は乏しい
fact6 -> int1: あの国民政府が好ましくないかまたはそれは合併し易いかあるいはどちらもなら乏しい; int1 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
仮にあの本読みは伸び易くないかもしくは合併し易いかもしくはどちらもであるとすれば「それはださい」ということは真実である
fact11 -> hypothesis;
$facts$ = fact1: もしもあの国民政府が好ましいかあるいはそれは合併し易いなら「それは乏しいということはない」ということは間違いだ fact2: 「もしも合併し易いとすると乏しい」ものはある fact3: 合併し易い物は乏しい fact4: もし何かは針刺し事故でないかもしくは人間臭いかまたは両方だとしたら決定書である fact5: 「もし仮に階級関係であるならばフィヨルドな」物はある fact6: もしもなんらかのものは好ましくないか合併し易いかまたはどちらもであるならば「乏しい」ということは本当である fact7: もし仮にあの国民政府が合併し易いならば乏しい fact8: 「好ましいかもしくは合併し易いかもしくは両方だとすると「乏しい」ということは真実である」ものはある fact9: 伸び易くないかあるいは合併し易いか両方ともであるものはださい fact10: 好ましいか合併し易いかもしくはどちらもな物は乏しい ; $hypothesis$ = 「「もし好ましくないかもしくは合併し易いかまたは両方ともだとすると乏しい」ものはある」ということは嘘だ ; $proof$ = 
fact6 -> int1: あの国民政府が好ましくないかまたはそれは合併し易いかあるいはどちらもなら乏しい; int1 -> hypothesis; __DISPROVED__
事実1: もしもあの国民政府が好ましいかあるいはそれは合併し易いなら「それは乏しいということはない」ということは間違いだ
事実2: 「もしも合併し易いとすると乏しい」ものはある
事実3: 合併し易い物は乏しい
事実4: もし何かは針刺し事故でないかもしくは人間臭いかまたは両方だとしたら決定書である
事実5: 「もし仮に階級関係であるならばフィヨルドな」物はある
事実6: もしもなんらかのものは好ましくないか合併し易いかまたはどちらもであるならば「乏しい」ということは本当である
事実7: もし仮にあの国民政府が合併し易いならば乏しい
事実8: 「好ましいかもしくは合併し易いかもしくは両方だとすると「乏しい」ということは真実である」ものはある
事実9: 伸び易くないかあるいは合併し易いか両方ともであるものはださい
事実10: 好ましいか合併し易いかもしくはどちらもな物は乏しい

仮説: 「「もし好ましくないかもしくは合併し易いかまたは両方ともだとすると乏しい」ものはある」ということは嘘だ
1. 事実6から、推論1: "あの国民政府が好ましくないかまたはそれは合併し易いかあるいはどちらもなら乏しい"が導かれる
2. 推論1から、仮説が否定される

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