この成熟リンパ球は宜しくないししかもふてぶてしくない
fact1: 仮に「何かは捕らえ易くないしさらにそれは宜しくない」ということは間違っているとしたら反対しない fact2: この成熟リンパ球は青白くなくてふてぶてしくない fact3: あの優先は宜しいけど条例制定だということはない fact4: この成熟リンパ球は打開するということはない fact5: もし仮にこの成熟リンパ球が捕らえ易いということはないならそれは宜しくない fact6: その塩酸バルデナフィルは青白い fact7: もしも「あの気温分布は捕らえ易くないし大洪水でない」ということは誤っているなら「この指定区域内は捕らえ易い」ということは成り立つ fact8: その提督はふてぶてしい fact9: もしもこの成熟リンパ球がふてぶてしくないとすれば大洪水でない fact10: この指定区域内は大洪水なら「それは反対する」ということは事実だ fact11: 仮にこの成熟リンパ球が捕らえ易いとすればこの指定区域内は愛好するがしかし反対しない fact12: この指定区域内は打開するしおまけに大洪水だ fact13: この指定区域内は青白くない fact14: もし仮に「この成熟リンパ球は捕らえ易い」ということは事実であるとしたら「この指定区域内は愛好する」ということは正しい fact15: この成熟リンパ球は反対しない
void -> assump1: 以下のように仮定する。この成熟リンパ球は捕らえ易い; fact11 & assump1 -> int1: この指定区域内は愛好するが反対しない; int1 -> int2: この指定区域内は反対しない; fact12 -> int3: この指定区域内は大洪水だ; fact10 & int3 -> int4: 「この指定区域内は反対する」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この成熟リンパ球は捕らえ易いということはない; int6 & fact5 -> int7: この成熟リンパ球は宜しくない; fact2 -> int8: この成熟リンパ球はふてぶてしくない; int7 & int8 -> hypothesis;
あの木戸様は反対しない
fact16 -> int9: もしも「あの木戸様は捕らえ易いということはなくてしかも宜しくない」ということは誤っているとすれば反対しない;
$facts$ = fact1: 仮に「何かは捕らえ易くないしさらにそれは宜しくない」ということは間違っているとしたら反対しない fact2: この成熟リンパ球は青白くなくてふてぶてしくない fact3: あの優先は宜しいけど条例制定だということはない fact4: この成熟リンパ球は打開するということはない fact5: もし仮にこの成熟リンパ球が捕らえ易いということはないならそれは宜しくない fact6: その塩酸バルデナフィルは青白い fact7: もしも「あの気温分布は捕らえ易くないし大洪水でない」ということは誤っているなら「この指定区域内は捕らえ易い」ということは成り立つ fact8: その提督はふてぶてしい fact9: もしもこの成熟リンパ球がふてぶてしくないとすれば大洪水でない fact10: この指定区域内は大洪水なら「それは反対する」ということは事実だ fact11: 仮にこの成熟リンパ球が捕らえ易いとすればこの指定区域内は愛好するがしかし反対しない fact12: この指定区域内は打開するしおまけに大洪水だ fact13: この指定区域内は青白くない fact14: もし仮に「この成熟リンパ球は捕らえ易い」ということは事実であるとしたら「この指定区域内は愛好する」ということは正しい fact15: この成熟リンパ球は反対しない ; $hypothesis$ = この成熟リンパ球は宜しくないししかもふてぶてしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この成熟リンパ球は捕らえ易い; fact11 & assump1 -> int1: この指定区域内は愛好するが反対しない; int1 -> int2: この指定区域内は反対しない; fact12 -> int3: この指定区域内は大洪水だ; fact10 & int3 -> int4: 「この指定区域内は反対する」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この成熟リンパ球は捕らえ易いということはない; int6 & fact5 -> int7: この成熟リンパ球は宜しくない; fact2 -> int8: この成熟リンパ球はふてぶてしくない; int7 & int8 -> hypothesis; __PROVED__
事実1: 仮に「何かは捕らえ易くないしさらにそれは宜しくない」ということは間違っているとしたら反対しない
事実2: この成熟リンパ球は青白くなくてふてぶてしくない
事実3: あの優先は宜しいけど条例制定だということはない
事実4: この成熟リンパ球は打開するということはない
事実5: もし仮にこの成熟リンパ球が捕らえ易いということはないならそれは宜しくない
事実6: その塩酸バルデナフィルは青白い
事実7: もしも「あの気温分布は捕らえ易くないし大洪水でない」ということは誤っているなら「この指定区域内は捕らえ易い」ということは成り立つ
事実8: その提督はふてぶてしい
事実9: もしもこの成熟リンパ球がふてぶてしくないとすれば大洪水でない
事実10: この指定区域内は大洪水なら「それは反対する」ということは事実だ
事実11: 仮にこの成熟リンパ球が捕らえ易いとすればこの指定区域内は愛好するがしかし反対しない
事実12: この指定区域内は打開するしおまけに大洪水だ
事実13: この指定区域内は青白くない
事実14: もし仮に「この成熟リンパ球は捕らえ易い」ということは事実であるとしたら「この指定区域内は愛好する」ということは正しい
事実15: この成熟リンパ球は反対しない

仮説: この成熟リンパ球は宜しくないししかもふてぶてしくない
1. 仮定1: 以下のように仮定する。この成熟リンパ球は捕らえ易い
2. 事実11と仮定1から、推論1: "この指定区域内は愛好するが反対しない"が導かれる
3. 推論1から、推論2: "この指定区域内は反対しない"が導かれる
4. 事実12から、推論3: "この指定区域内は大洪水だ"が導かれる
5. 事実10と推論3から、推論4: "「この指定区域内は反対する」ということは成り立つ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この成熟リンパ球は捕らえ易いということはない"が導かれる
8. 推論6と事実5から、推論7: "この成熟リンパ球は宜しくない"が導かれる
9. 事実2から、推論8: "この成熟リンパ球はふてぶてしくない"が導かれる
10. 推論7と推論8から、仮説が導かれる

よって、仮説が証明されました。