この分以上は苛々しない
fact1: この分以上は苛々しないならば「その照射方法は苛々しないかあるいはそれは育児労働でないかもしくはどちらもだ」ということは間違っている fact2: もし「その谷首古墳は息衝かないかまたはそれは育児労働でないか両方ともだ」ということは誤りならその照射方法は止み難くない fact3: その谷首古墳は心弱くてそれは育児労働だ fact4: その大和銀行事件は会場内でない fact5: もし「「その照射方法は育児労働でないかまたは息衝かないかどちらもだ」ということは間違っている」ということは確かであるとしたらこの分以上は苛々しない fact6: 「会場内な」ものはある fact7: もしも「その照射方法は育児労働でないかまたは止み難いかあるいはどちらもである」ということは誤っているならその谷首古墳は苛々しない fact8: この分以上は止み難い fact9: その照射方法は会場内でない fact10: もしもその谷首古墳は実用新案でないなら「「その照射方法は実用新案でないかあるいは息衝かないか両方である」ということは誤りである」ということは事実だ fact11: その照射方法は苛々するし息衝く fact12: もし止み難いものがあるならその谷首古墳は心弱い fact13: その谷首古墳は心弱いし加えて実用新案である fact14: もしもあるものは会場内だとすれば「その谷首古墳は止み難くない」ということは誤っている fact15: もし仮に「この分以上は心弱くないかもしくは苛々しないかまたは両方ともである」ということは間違いであるとするとその谷首古墳は止み難くない fact16: 「その地震動は止み難い」ということは成り立つ fact17: その谷首古墳が止み難いしそれにそれが実用新案であるならばその莢膜細胞腫は育児労働でない fact18: 「その谷首古墳は育児労働でないか心弱いということはないかまたは両方だ」ということは嘘である fact19: 「「その照射方法は苛々しないか息衝くか両方である」ということは正しい」ということは間違っているとするとその谷首古墳は心弱くない fact20: その莢膜細胞腫は止み難い fact21: もしこの分以上は心弱くないなら「「その谷首古墳は心弱いということはないかあるいは苛々しない」ということは真実だ」ということは成り立たない fact22: もしもその莢膜細胞腫は育児労働でないとすると「「その照射方法は育児労働でないかあるいは息衝くということはないかまたは両方ともである」ということは間違いである」ということは成り立つ
fact6 & fact14 -> int1: その谷首古墳は止み難い; fact13 -> int2: その谷首古墳は実用新案だ; int1 & int2 -> int3: その谷首古墳は止み難いし実用新案である; int3 & fact17 -> int4: その莢膜細胞腫は育児労働でない; int4 & fact22 -> int5: 「その照射方法は育児労働でないか息衝かないかもしくはどちらもである」ということは誤っている; int5 & fact5 -> hypothesis;
$facts$ = fact1: この分以上は苛々しないならば「その照射方法は苛々しないかあるいはそれは育児労働でないかもしくはどちらもだ」ということは間違っている fact2: もし「その谷首古墳は息衝かないかまたはそれは育児労働でないか両方ともだ」ということは誤りならその照射方法は止み難くない fact3: その谷首古墳は心弱くてそれは育児労働だ fact4: その大和銀行事件は会場内でない fact5: もし「「その照射方法は育児労働でないかまたは息衝かないかどちらもだ」ということは間違っている」ということは確かであるとしたらこの分以上は苛々しない fact6: 「会場内な」ものはある fact7: もしも「その照射方法は育児労働でないかまたは止み難いかあるいはどちらもである」ということは誤っているならその谷首古墳は苛々しない fact8: この分以上は止み難い fact9: その照射方法は会場内でない fact10: もしもその谷首古墳は実用新案でないなら「「その照射方法は実用新案でないかあるいは息衝かないか両方である」ということは誤りである」ということは事実だ fact11: その照射方法は苛々するし息衝く fact12: もし止み難いものがあるならその谷首古墳は心弱い fact13: その谷首古墳は心弱いし加えて実用新案である fact14: もしもあるものは会場内だとすれば「その谷首古墳は止み難くない」ということは誤っている fact15: もし仮に「この分以上は心弱くないかもしくは苛々しないかまたは両方ともである」ということは間違いであるとするとその谷首古墳は止み難くない fact16: 「その地震動は止み難い」ということは成り立つ fact17: その谷首古墳が止み難いしそれにそれが実用新案であるならばその莢膜細胞腫は育児労働でない fact18: 「その谷首古墳は育児労働でないか心弱いということはないかまたは両方だ」ということは嘘である fact19: 「「その照射方法は苛々しないか息衝くか両方である」ということは正しい」ということは間違っているとするとその谷首古墳は心弱くない fact20: その莢膜細胞腫は止み難い fact21: もしこの分以上は心弱くないなら「「その谷首古墳は心弱いということはないかあるいは苛々しない」ということは真実だ」ということは成り立たない fact22: もしもその莢膜細胞腫は育児労働でないとすると「「その照射方法は育児労働でないかあるいは息衝くということはないかまたは両方ともである」ということは間違いである」ということは成り立つ ; $hypothesis$ = この分以上は苛々しない ; $proof$ = 
fact6 & fact14 -> int1: その谷首古墳は止み難い; fact13 -> int2: その谷首古墳は実用新案だ; int1 & int2 -> int3: その谷首古墳は止み難いし実用新案である; int3 & fact17 -> int4: その莢膜細胞腫は育児労働でない; int4 & fact22 -> int5: 「その照射方法は育児労働でないか息衝かないかもしくはどちらもである」ということは誤っている; int5 & fact5 -> hypothesis; __PROVED__
事実1: この分以上は苛々しないならば「その照射方法は苛々しないかあるいはそれは育児労働でないかもしくはどちらもだ」ということは間違っている
事実2: もし「その谷首古墳は息衝かないかまたはそれは育児労働でないか両方ともだ」ということは誤りならその照射方法は止み難くない
事実3: その谷首古墳は心弱くてそれは育児労働だ
事実4: その大和銀行事件は会場内でない
事実5: もし「「その照射方法は育児労働でないかまたは息衝かないかどちらもだ」ということは間違っている」ということは確かであるとしたらこの分以上は苛々しない
事実6: 「会場内な」ものはある
事実7: もしも「その照射方法は育児労働でないかまたは止み難いかあるいはどちらもである」ということは誤っているならその谷首古墳は苛々しない
事実8: この分以上は止み難い
事実9: その照射方法は会場内でない
事実10: もしもその谷首古墳は実用新案でないなら「「その照射方法は実用新案でないかあるいは息衝かないか両方である」ということは誤りである」ということは事実だ
事実11: その照射方法は苛々するし息衝く
事実12: もし止み難いものがあるならその谷首古墳は心弱い
事実13: その谷首古墳は心弱いし加えて実用新案である
事実14: もしもあるものは会場内だとすれば「その谷首古墳は止み難くない」ということは誤っている
事実15: もし仮に「この分以上は心弱くないかもしくは苛々しないかまたは両方ともである」ということは間違いであるとするとその谷首古墳は止み難くない
事実16: 「その地震動は止み難い」ということは成り立つ
事実17: その谷首古墳が止み難いしそれにそれが実用新案であるならばその莢膜細胞腫は育児労働でない
事実18: 「その谷首古墳は育児労働でないか心弱いということはないかまたは両方だ」ということは嘘である
事実19: 「「その照射方法は苛々しないか息衝くか両方である」ということは正しい」ということは間違っているとするとその谷首古墳は心弱くない
事実20: その莢膜細胞腫は止み難い
事実21: もしこの分以上は心弱くないなら「「その谷首古墳は心弱いということはないかあるいは苛々しない」ということは真実だ」ということは成り立たない
事実22: もしもその莢膜細胞腫は育児労働でないとすると「「その照射方法は育児労働でないかあるいは息衝くということはないかまたは両方ともである」ということは間違いである」ということは成り立つ

仮説: この分以上は苛々しない
1. 事実6と事実14から、推論1: "その谷首古墳は止み難い"が導かれる
2. 事実13から、推論2: "その谷首古墳は実用新案だ"が導かれる
3. 推論1と推論2から、推論3: "その谷首古墳は止み難いし実用新案である"が導かれる
4. 推論3と事実17から、推論4: "その莢膜細胞腫は育児労働でない"が導かれる
5. 推論4と事実22から、推論5: "「その照射方法は育児労働でないか息衝かないかもしくはどちらもである」ということは誤っている"が導かれる
6. 推論5と事実5から、仮説が導かれる

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