「もし男っぽいとすると見出だし難くないがしかし通知す」ものはある
fact1: 「穿刺吸引細胞診であるということはないしその上クライな」物はある fact2: この古伊万里は捏ねる fact3: 「「穿刺吸引細胞診でないがクライである」ということは誤りな」ものはあるなら「この古伊万里は夏らしくない」ということは成り立つ fact4: もし仮にとあるものが見出だし難くてさらに男っぽいならこのモメンタムは翌年分でない fact5: 夏らしくないものは通知すし捏ねる fact6: あらゆる物は翌年分だ fact7: 仮になにがしかのものがクライでないとするとこの古伊万里は夏らしくない fact8: 「「穿刺吸引細胞診でないしさらにクライだ」ということは間違いである」ものはある fact9: このモメンタムは月夜茸だということはないがしかし地域産業である fact10: もし仮にこのモメンタムが切り裂くとすればこの古伊万里は切り裂く fact11: 仮にこの古伊万里が夏らしくないとすれば捏ねる
void -> assump2: 以下のように仮定する。この古伊万里は見出だし難い; void -> assump1: 以下のように仮定する。「この古伊万里は男っぽい」ということは正しい; assump2 & assump1 -> int1: この古伊万里は見出だし難いし男っぽい; int1 -> int2: なんらかの物は見出だし難いし男っぽい; int2 & fact4 -> int3: このモメンタムは翌年分でない; fact6 -> int4: このモメンタムは翌年分だ; int3 & int4 -> int5: これは矛盾である; [assump2] & int5 -> int6: この古伊万里は見出だし難くない; fact8 & fact3 -> int7: この古伊万里は夏らしくない; fact5 -> int8: もし仮にこの古伊万里が夏らしくないならそれは通知すしそれに捏ねる; int7 & int8 -> int9: この古伊万里は通知すし捏ねる; int9 -> int10: この古伊万里は通知す; int6 & int10 -> int11: この古伊万里は見出だし難くないけれど通知す; [assump1] & int11 -> int12: もしもこの古伊万里が男っぽいならそれが見出だし難くないしさらにそれは通知す; int12 -> hypothesis;
この古伊万里は切り裂く
$facts$ = fact1: 「穿刺吸引細胞診であるということはないしその上クライな」物はある fact2: この古伊万里は捏ねる fact3: 「「穿刺吸引細胞診でないがクライである」ということは誤りな」ものはあるなら「この古伊万里は夏らしくない」ということは成り立つ fact4: もし仮にとあるものが見出だし難くてさらに男っぽいならこのモメンタムは翌年分でない fact5: 夏らしくないものは通知すし捏ねる fact6: あらゆる物は翌年分だ fact7: 仮になにがしかのものがクライでないとするとこの古伊万里は夏らしくない fact8: 「「穿刺吸引細胞診でないしさらにクライだ」ということは間違いである」ものはある fact9: このモメンタムは月夜茸だということはないがしかし地域産業である fact10: もし仮にこのモメンタムが切り裂くとすればこの古伊万里は切り裂く fact11: 仮にこの古伊万里が夏らしくないとすれば捏ねる ; $hypothesis$ = 「もし男っぽいとすると見出だし難くないがしかし通知す」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。この古伊万里は見出だし難い; void -> assump1: 以下のように仮定する。「この古伊万里は男っぽい」ということは正しい; assump2 & assump1 -> int1: この古伊万里は見出だし難いし男っぽい; int1 -> int2: なんらかの物は見出だし難いし男っぽい; int2 & fact4 -> int3: このモメンタムは翌年分でない; fact6 -> int4: このモメンタムは翌年分だ; int3 & int4 -> int5: これは矛盾である; [assump2] & int5 -> int6: この古伊万里は見出だし難くない; fact8 & fact3 -> int7: この古伊万里は夏らしくない; fact5 -> int8: もし仮にこの古伊万里が夏らしくないならそれは通知すしそれに捏ねる; int7 & int8 -> int9: この古伊万里は通知すし捏ねる; int9 -> int10: この古伊万里は通知す; int6 & int10 -> int11: この古伊万里は見出だし難くないけれど通知す; [assump1] & int11 -> int12: もしもこの古伊万里が男っぽいならそれが見出だし難くないしさらにそれは通知す; int12 -> hypothesis; __PROVED__
事実1: 「穿刺吸引細胞診であるということはないしその上クライな」物はある
事実2: この古伊万里は捏ねる
事実3: 「「穿刺吸引細胞診でないがクライである」ということは誤りな」ものはあるなら「この古伊万里は夏らしくない」ということは成り立つ
事実4: もし仮にとあるものが見出だし難くてさらに男っぽいならこのモメンタムは翌年分でない
事実5: 夏らしくないものは通知すし捏ねる
事実6: あらゆる物は翌年分だ
事実7: 仮になにがしかのものがクライでないとするとこの古伊万里は夏らしくない
事実8: 「「穿刺吸引細胞診でないしさらにクライだ」ということは間違いである」ものはある
事実9: このモメンタムは月夜茸だということはないがしかし地域産業である
事実10: もし仮にこのモメンタムが切り裂くとすればこの古伊万里は切り裂く
事実11: 仮にこの古伊万里が夏らしくないとすれば捏ねる

仮説: 「もし男っぽいとすると見出だし難くないがしかし通知す」ものはある
1. 仮定2: 以下のように仮定する。この古伊万里は見出だし難い
2. 仮定1: 以下のように仮定する。「この古伊万里は男っぽい」ということは正しい
3. 仮定2と仮定1から、推論1: "この古伊万里は見出だし難いし男っぽい"が導かれる
4. 推論1から、推論2: "なんらかの物は見出だし難いし男っぽい"が導かれる
5. 推論2と事実4から、推論3: "このモメンタムは翌年分でない"が導かれる
6. 事実6から、推論4: "このモメンタムは翌年分だ"が導かれる
7. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "この古伊万里は見出だし難くない"が導かれる
9. 事実8と事実3から、推論7: "この古伊万里は夏らしくない"が導かれる
10. 事実5から、推論8: "もし仮にこの古伊万里が夏らしくないならそれは通知すしそれに捏ねる"が導かれる
11. 推論7と推論8から、推論9: "この古伊万里は通知すし捏ねる"が導かれる
12. 推論9から、推論10: "この古伊万里は通知す"が導かれる
13. 推論6と推論10から、推論11: "この古伊万里は見出だし難くないけれど通知す"が導かれる
14. [仮定1]と推論11から、推論12: "もしもこの古伊万里が男っぽいならそれが見出だし難くないしさらにそれは通知す"が導かれる
15. 推論12から、仮説が導かれる

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