この多給は強め合う
fact1: もし作業し易いということはない物が掻き切らないとしたらそれは初手である fact2: この一生懸命は掻き切る fact3: もし仮にあの大脳辺縁系が作業し易いとしたらこの一生懸命は怒りっぽい fact4: なにかは作業し易くないか初手であるなら作業し易くない fact5: もし「この一生懸命は怒りっぽくない」ということは成り立つとすればあのクリアランスは作業し易くないかそれは初手であるかもしくは両方だ fact6: もし仮にあの大脳辺縁系が怒りっぽいとするとそのデータベース関数は初手である fact7: あのクリアランスは掻き切る fact8: もし仮にそのデータベース関数は初手であるならば「この多給は強め合う」ということは真実だ fact9: その和霊は掻き切る fact10: あの大脳辺縁系は快いということはない fact11: もしもあのクリアランスが掻き切るとすればこの一生懸命は作業し易い fact12: なにがしかのものは強め合わないとすれば「怒りっぽくない」ということは正しい fact13: もし仮にこの一生懸命が作業し易いとするとあの大脳辺縁系は怒りっぽい fact14: なにがしかのものは快くないとすると「打ち上がり易いということはないけど怒りっぽい」ということは成り立たない fact15: 仮にあのクリアランスが強め合うということはないが掻き切るならこの多給は強め合わない fact16: 怒りっぽいということはないものは作業し易くないし掻き切らない
fact11 & fact7 -> int1: この一生懸命は作業し易い; int1 & fact13 -> int2: あの大脳辺縁系は怒りっぽい; int2 & fact6 -> int3: そのデータベース関数は初手である; int3 & fact8 -> hypothesis;
この多給は強め合わない
fact20 -> int4: 仮にあのクリアランスは作業し易くないかあるいは初手であるかまたは両方ともであるならばそれは作業し易くない; fact19 -> int5: もしもあの大脳辺縁系は快くないとすれば「それは打ち上がり易くないがしかし怒りっぽい」ということは事実でない; int5 & fact21 -> int6: 「あの大脳辺縁系は打ち上がり易いということはないけど怒りっぽい」ということは偽である; int6 -> int7: 「「打ち上がり易くなくて更に怒りっぽい」ということは偽な」物はある;
$facts$ = fact1: もし作業し易いということはない物が掻き切らないとしたらそれは初手である fact2: この一生懸命は掻き切る fact3: もし仮にあの大脳辺縁系が作業し易いとしたらこの一生懸命は怒りっぽい fact4: なにかは作業し易くないか初手であるなら作業し易くない fact5: もし「この一生懸命は怒りっぽくない」ということは成り立つとすればあのクリアランスは作業し易くないかそれは初手であるかもしくは両方だ fact6: もし仮にあの大脳辺縁系が怒りっぽいとするとそのデータベース関数は初手である fact7: あのクリアランスは掻き切る fact8: もし仮にそのデータベース関数は初手であるならば「この多給は強め合う」ということは真実だ fact9: その和霊は掻き切る fact10: あの大脳辺縁系は快いということはない fact11: もしもあのクリアランスが掻き切るとすればこの一生懸命は作業し易い fact12: なにがしかのものは強め合わないとすれば「怒りっぽくない」ということは正しい fact13: もし仮にこの一生懸命が作業し易いとするとあの大脳辺縁系は怒りっぽい fact14: なにがしかのものは快くないとすると「打ち上がり易いということはないけど怒りっぽい」ということは成り立たない fact15: 仮にあのクリアランスが強め合うということはないが掻き切るならこの多給は強め合わない fact16: 怒りっぽいということはないものは作業し易くないし掻き切らない ; $hypothesis$ = この多給は強め合う ; $proof$ = 
fact11 & fact7 -> int1: この一生懸命は作業し易い; int1 & fact13 -> int2: あの大脳辺縁系は怒りっぽい; int2 & fact6 -> int3: そのデータベース関数は初手である; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし作業し易いということはない物が掻き切らないとしたらそれは初手である
事実2: この一生懸命は掻き切る
事実3: もし仮にあの大脳辺縁系が作業し易いとしたらこの一生懸命は怒りっぽい
事実4: なにかは作業し易くないか初手であるなら作業し易くない
事実5: もし「この一生懸命は怒りっぽくない」ということは成り立つとすればあのクリアランスは作業し易くないかそれは初手であるかもしくは両方だ
事実6: もし仮にあの大脳辺縁系が怒りっぽいとするとそのデータベース関数は初手である
事実7: あのクリアランスは掻き切る
事実8: もし仮にそのデータベース関数は初手であるならば「この多給は強め合う」ということは真実だ
事実9: その和霊は掻き切る
事実10: あの大脳辺縁系は快いということはない
事実11: もしもあのクリアランスが掻き切るとすればこの一生懸命は作業し易い
事実12: なにがしかのものは強め合わないとすれば「怒りっぽくない」ということは正しい
事実13: もし仮にこの一生懸命が作業し易いとするとあの大脳辺縁系は怒りっぽい
事実14: なにがしかのものは快くないとすると「打ち上がり易いということはないけど怒りっぽい」ということは成り立たない
事実15: 仮にあのクリアランスが強め合うということはないが掻き切るならこの多給は強め合わない
事実16: 怒りっぽいということはないものは作業し易くないし掻き切らない

仮説: この多給は強め合う
1. 事実11と事実7から、推論1: "この一生懸命は作業し易い"が導かれる
2. 推論1と事実13から、推論2: "あの大脳辺縁系は怒りっぽい"が導かれる
3. 推論2と事実6から、推論3: "そのデータベース関数は初手である"が導かれる
4. 推論3と事実8から、仮説が導かれる

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