この三箇月間は公的活動であるし押さえる
fact1: そのコンデンスミルクは雨乞い師だ fact2: 仮に「「この三箇月間は修しないしその上それは退色し易くない」ということは真実だ」ということは成り立たないならば浅黒い fact3: もし「この三箇月間は浅ましい」ということは嘘でないなら「それは雨乞い師であるということはなくて更に修しない」ということは成り立たない fact4: 「この三箇月間は雨乞い師でないがしかし修する」ということは事実と異なる fact5: もし仮にある物は浅ましくないとすれば「「それは公的活動であるしおまけにそれは押さえる」ということは確かである」ということは成り立つということはない fact6: この三箇月間は期し難くない fact7: あのフリーターは滞るしそれは人懐こい fact8: この三箇月間は譲り渡す fact9: この三箇月間は慈悲深いしかつ熱い fact10: 「この三箇月間が聞き易くないしさらにそれは思い余らない」ということは成り立たない fact11: もしも「この三箇月間は雨乞い師であるということはなくてかつそれは修しない」ということは事実と異なるとしたら押さえる fact12: この三箇月間は浅ましい fact13: この三箇月間は公的活動であるし譲り渡す fact14: 仮になにかは期し難くてさらに譲り渡すとすると浅ましくない
fact3 & fact12 -> int1: 「「この三箇月間は雨乞い師でないしおまけに修しない」ということは誤っているということはない」ということは間違いである; int1 & fact11 -> int2: この三箇月間は押さえる; fact13 -> int3: この三箇月間は公的活動だ; int2 & int3 -> hypothesis;
fact3 & fact12 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact11 -> int2: {B}{a}; fact13 -> int3: {C}{a}; int2 & int3 -> hypothesis;
「この三箇月間は公的活動であるしさらに押さえる」ということは事実と異なる
fact16 -> int4: もし仮にこの三箇月間は浅ましいということはないとすると「それは公的活動で押さえる」ということは本当でない; fact15 -> int5: もし仮にこの三箇月間は期し難いし譲り渡すとしたらそれは浅ましくない;
$facts$ = fact1: そのコンデンスミルクは雨乞い師だ fact2: 仮に「「この三箇月間は修しないしその上それは退色し易くない」ということは真実だ」ということは成り立たないならば浅黒い fact3: もし「この三箇月間は浅ましい」ということは嘘でないなら「それは雨乞い師であるということはなくて更に修しない」ということは成り立たない fact4: 「この三箇月間は雨乞い師でないがしかし修する」ということは事実と異なる fact5: もし仮にある物は浅ましくないとすれば「「それは公的活動であるしおまけにそれは押さえる」ということは確かである」ということは成り立つということはない fact6: この三箇月間は期し難くない fact7: あのフリーターは滞るしそれは人懐こい fact8: この三箇月間は譲り渡す fact9: この三箇月間は慈悲深いしかつ熱い fact10: 「この三箇月間が聞き易くないしさらにそれは思い余らない」ということは成り立たない fact11: もしも「この三箇月間は雨乞い師であるということはなくてかつそれは修しない」ということは事実と異なるとしたら押さえる fact12: この三箇月間は浅ましい fact13: この三箇月間は公的活動であるし譲り渡す fact14: 仮になにかは期し難くてさらに譲り渡すとすると浅ましくない ; $hypothesis$ = この三箇月間は公的活動であるし押さえる ; $proof$ = 
fact3 & fact12 -> int1: 「「この三箇月間は雨乞い師でないしおまけに修しない」ということは誤っているということはない」ということは間違いである; int1 & fact11 -> int2: この三箇月間は押さえる; fact13 -> int3: この三箇月間は公的活動だ; int2 & int3 -> hypothesis; __PROVED__
事実1: そのコンデンスミルクは雨乞い師だ
事実2: 仮に「「この三箇月間は修しないしその上それは退色し易くない」ということは真実だ」ということは成り立たないならば浅黒い
事実3: もし「この三箇月間は浅ましい」ということは嘘でないなら「それは雨乞い師であるということはなくて更に修しない」ということは成り立たない
事実4: 「この三箇月間は雨乞い師でないがしかし修する」ということは事実と異なる
事実5: もし仮にある物は浅ましくないとすれば「「それは公的活動であるしおまけにそれは押さえる」ということは確かである」ということは成り立つということはない
事実6: この三箇月間は期し難くない
事実7: あのフリーターは滞るしそれは人懐こい
事実8: この三箇月間は譲り渡す
事実9: この三箇月間は慈悲深いしかつ熱い
事実10: 「この三箇月間が聞き易くないしさらにそれは思い余らない」ということは成り立たない
事実11: もしも「この三箇月間は雨乞い師であるということはなくてかつそれは修しない」ということは事実と異なるとしたら押さえる
事実12: この三箇月間は浅ましい
事実13: この三箇月間は公的活動であるし譲り渡す
事実14: 仮になにかは期し難くてさらに譲り渡すとすると浅ましくない

仮説: この三箇月間は公的活動であるし押さえる
1. 事実3と事実12から、推論1: "「「この三箇月間は雨乞い師でないしおまけに修しない」ということは誤っているということはない」ということは間違いである"が導かれる
2. 推論1と事実11から、推論2: "この三箇月間は押さえる"が導かれる
3. 事実13から、推論3: "この三箇月間は公的活動だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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