あの勝手は恋しかない
fact1: あの勝手は全力疾走する fact2: 仮になにかは勘違いし易いならばそれは恋しいということはない fact3: あの鏡像が勘違いし易いとすればこの侵犯は外し易くないがしかし忍容性である fact4: 仮にあるものが外し易くないならそれは恋しいかまたは受信出来る fact5: もし仮に「蹂躙な」物があるとするとその血圧低下作用は勘違いし易いししかも夫達である fact6: 仮にあの勝手は忍容性であるし受信出来るとすれば恋しかない fact7: 恋しかない物は受信出来るし忍容性である fact8: あの勝手は外し易いし受信出来る fact9: あの勝手は忍容性である fact10: 「白い」ものはある fact11: その家督相続は夫達でないけれど白い fact12: その厨房は外し易い fact13: 仮になんらかの物が白いならあの勝手は蹂躙である fact14: もしもあの仮設例が勘違いし易いけど蹂躙でないならばあの鏡像は勘違いし易い
fact8 -> int1: あの勝手は受信出来る; int1 & fact9 -> int2: あの勝手は忍容性であるしそれは受信出来る; int2 & fact6 -> hypothesis;
その血圧低下作用は外し易くない
fact15 -> int3: もしもその血圧低下作用が恋しかないとすれば受信出来るししかも忍容性である; fact18 -> int4: もしもその血圧低下作用は勘違いし易いとしたら「それは恋しかない」ということは事実である; fact16 & fact17 -> int5: 「あの勝手は蹂躙だ」ということは本当だ; int5 -> int6: 蹂躙はある; int6 & fact19 -> int7: その血圧低下作用は勘違いし易いし夫達である; int7 -> int8: その血圧低下作用は勘違いし易い; int4 & int8 -> int9: その血圧低下作用は恋しかない; int3 & int9 -> int10: その血圧低下作用は受信出来るしおまけに忍容性である;
$facts$ = fact1: あの勝手は全力疾走する fact2: 仮になにかは勘違いし易いならばそれは恋しいということはない fact3: あの鏡像が勘違いし易いとすればこの侵犯は外し易くないがしかし忍容性である fact4: 仮にあるものが外し易くないならそれは恋しいかまたは受信出来る fact5: もし仮に「蹂躙な」物があるとするとその血圧低下作用は勘違いし易いししかも夫達である fact6: 仮にあの勝手は忍容性であるし受信出来るとすれば恋しかない fact7: 恋しかない物は受信出来るし忍容性である fact8: あの勝手は外し易いし受信出来る fact9: あの勝手は忍容性である fact10: 「白い」ものはある fact11: その家督相続は夫達でないけれど白い fact12: その厨房は外し易い fact13: 仮になんらかの物が白いならあの勝手は蹂躙である fact14: もしもあの仮設例が勘違いし易いけど蹂躙でないならばあの鏡像は勘違いし易い ; $hypothesis$ = あの勝手は恋しかない ; $proof$ = 
fact8 -> int1: あの勝手は受信出来る; int1 & fact9 -> int2: あの勝手は忍容性であるしそれは受信出来る; int2 & fact6 -> hypothesis; __PROVED__
事実1: あの勝手は全力疾走する
事実2: 仮になにかは勘違いし易いならばそれは恋しいということはない
事実3: あの鏡像が勘違いし易いとすればこの侵犯は外し易くないがしかし忍容性である
事実4: 仮にあるものが外し易くないならそれは恋しいかまたは受信出来る
事実5: もし仮に「蹂躙な」物があるとするとその血圧低下作用は勘違いし易いししかも夫達である
事実6: 仮にあの勝手は忍容性であるし受信出来るとすれば恋しかない
事実7: 恋しかない物は受信出来るし忍容性である
事実8: あの勝手は外し易いし受信出来る
事実9: あの勝手は忍容性である
事実10: 「白い」ものはある
事実11: その家督相続は夫達でないけれど白い
事実12: その厨房は外し易い
事実13: 仮になんらかの物が白いならあの勝手は蹂躙である
事実14: もしもあの仮設例が勘違いし易いけど蹂躙でないならばあの鏡像は勘違いし易い

仮説: あの勝手は恋しかない
1. 事実8から、推論1: "あの勝手は受信出来る"が導かれる
2. 推論1と事実9から、推論2: "あの勝手は忍容性であるしそれは受信出来る"が導かれる
3. 推論2と事実6から、仮説が導かれる

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