このビタミンＡは物寂しい
fact1: もしも何かは諸王でないとするとこのビタミンＡは黙する fact2: もしも「諸王でない」物があればこのビタミンＡは物寂しくないけど黙する fact3: 諸王が黙するということはないとしたらそれは物寂しい fact4: もし仮に「あの基準以上は諸王だということはなくて加えて物寂しくない」ということは誤っているとしたらこのビタミンＡは住み良くない fact5: このビタミンＡは諸王である fact6: もし仮に「そのキャリアウーマンはペプチド結合でないかあるいは黙しないかまたはどちらもである」ということは誤りであるなら「あの基準以上は黙しない」ということは正しい fact7: ペプチド結合は諸王であるけれど黙しない fact8: もし仮に何かは黙しないとすれば「それは諸王でないしおまけにそれは物寂しくない」ということは成り立たない fact9: このビタミンＡは異常者でないが黙する fact10: 「諸王だということはない」ものはある fact11: もし「「諸王でない」ということは成り立つ」ものがあるとしたらこのビタミンＡは不足し易くないが未練がましい fact12: もしもなにかは脆くないとしたら「このビタミンＡはほろ苦くないがしかし御任せ下さる」ということは正しい fact13: 「黙しない」物があるとしたらその弱オピオイド鎮痛薬は塩漬けしないがしかしそれは恙無い
fact10 & fact2 -> int1: このビタミンＡは物寂しくないけど黙する; int1 -> hypothesis;
fact10 & fact2 -> int1: (¬{B}{a} & {C}{a}); int1 -> hypothesis;
このビタミンＡは物寂しい
fact15 -> int2: このビタミンＡが諸王であるがそれが黙しないとしたらそれは物寂しい; fact14 -> int3: もしこのビタミンＡがペプチド結合ならそれは諸王であるけれど黙しない;
$facts$ = fact1: もしも何かは諸王でないとするとこのビタミンＡは黙する fact2: もしも「諸王でない」物があればこのビタミンＡは物寂しくないけど黙する fact3: 諸王が黙するということはないとしたらそれは物寂しい fact4: もし仮に「あの基準以上は諸王だということはなくて加えて物寂しくない」ということは誤っているとしたらこのビタミンＡは住み良くない fact5: このビタミンＡは諸王である fact6: もし仮に「そのキャリアウーマンはペプチド結合でないかあるいは黙しないかまたはどちらもである」ということは誤りであるなら「あの基準以上は黙しない」ということは正しい fact7: ペプチド結合は諸王であるけれど黙しない fact8: もし仮に何かは黙しないとすれば「それは諸王でないしおまけにそれは物寂しくない」ということは成り立たない fact9: このビタミンＡは異常者でないが黙する fact10: 「諸王だということはない」ものはある fact11: もし「「諸王でない」ということは成り立つ」ものがあるとしたらこのビタミンＡは不足し易くないが未練がましい fact12: もしもなにかは脆くないとしたら「このビタミンＡはほろ苦くないがしかし御任せ下さる」ということは正しい fact13: 「黙しない」物があるとしたらその弱オピオイド鎮痛薬は塩漬けしないがしかしそれは恙無い ; $hypothesis$ = このビタミンＡは物寂しい ; $proof$ = 
fact10 & fact2 -> int1: このビタミンＡは物寂しくないけど黙する; int1 -> hypothesis; __DISPROVED__
事実1: もしも何かは諸王でないとするとこのビタミンＡは黙する
事実2: もしも「諸王でない」物があればこのビタミンＡは物寂しくないけど黙する
事実3: 諸王が黙するということはないとしたらそれは物寂しい
事実4: もし仮に「あの基準以上は諸王だということはなくて加えて物寂しくない」ということは誤っているとしたらこのビタミンＡは住み良くない
事実5: このビタミンＡは諸王である
事実6: もし仮に「そのキャリアウーマンはペプチド結合でないかあるいは黙しないかまたはどちらもである」ということは誤りであるなら「あの基準以上は黙しない」ということは正しい
事実7: ペプチド結合は諸王であるけれど黙しない
事実8: もし仮に何かは黙しないとすれば「それは諸王でないしおまけにそれは物寂しくない」ということは成り立たない
事実9: このビタミンＡは異常者でないが黙する
事実10: 「諸王だということはない」ものはある
事実11: もし「「諸王でない」ということは成り立つ」ものがあるとしたらこのビタミンＡは不足し易くないが未練がましい
事実12: もしもなにかは脆くないとしたら「このビタミンＡはほろ苦くないがしかし御任せ下さる」ということは正しい
事実13: 「黙しない」物があるとしたらその弱オピオイド鎮痛薬は塩漬けしないがしかしそれは恙無い

仮説: このビタミンＡは物寂しい
1. 事実10と事実2から、推論1: "このビタミンＡは物寂しくないけど黙する"が導かれる
2. 推論1から、仮説が否定される

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