その応急措置が放尿するとするとこの手摺越しはサルコイドーシスだがしかし催行しない
fact1: もし仮になにかは催行しないならば放尿するし墨守する fact2: この手摺越しはサルコイドーシスでその上それは催行する fact3: 仮にその応急措置がサルコイドーシスであるとするとこの手摺越しは催行するけどそれは放尿しない fact4: もし仮にこの参議院議員選挙は輸出出来るということはないとしたら「それは催行するししかもそれは受け継ぐ」ということは確かでない fact5: もしこの参議院議員選挙はサルコイドーシスだとすると「この手摺越しはサルコイドーシスだけれどそれは催行しない」ということは成り立つ fact6: 「もしもその応急措置が放尿するならこの手摺越しはサルコイドーシスだしそれに催行する」ということは成り立つ fact7: 仮にその応急措置が放尿するならばあの参議院議員選挙はサルコイドーシスである fact8: もしもこの参議院議員選挙がサルコイドーシスであるならこの手摺越しはサルコイドーシスでその上それは催行する
void -> assump1: 以下のように仮定する。その応急措置は放尿する; fact7 & assump1 -> int1: 「この参議院議員選挙はサルコイドーシスである」ということは確かである; int1 & fact5 -> int2: この手摺越しはサルコイドーシスであるけれど催行しない; [assump1] & int2 -> hypothesis;
あの物分かりはサルコイドーシスである
fact10 -> int3: もし仮にその応急措置が催行しないならば放尿するし墨守する;
$facts$ = fact1: もし仮になにかは催行しないならば放尿するし墨守する fact2: この手摺越しはサルコイドーシスでその上それは催行する fact3: 仮にその応急措置がサルコイドーシスであるとするとこの手摺越しは催行するけどそれは放尿しない fact4: もし仮にこの参議院議員選挙は輸出出来るということはないとしたら「それは催行するししかもそれは受け継ぐ」ということは確かでない fact5: もしこの参議院議員選挙はサルコイドーシスだとすると「この手摺越しはサルコイドーシスだけれどそれは催行しない」ということは成り立つ fact6: 「もしもその応急措置が放尿するならこの手摺越しはサルコイドーシスだしそれに催行する」ということは成り立つ fact7: 仮にその応急措置が放尿するならばあの参議院議員選挙はサルコイドーシスである fact8: もしもこの参議院議員選挙がサルコイドーシスであるならこの手摺越しはサルコイドーシスでその上それは催行する ; $hypothesis$ = その応急措置が放尿するとするとこの手摺越しはサルコイドーシスだがしかし催行しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その応急措置は放尿する; fact7 & assump1 -> int1: 「この参議院議員選挙はサルコイドーシスである」ということは確かである; int1 & fact5 -> int2: この手摺越しはサルコイドーシスであるけれど催行しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮になにかは催行しないならば放尿するし墨守する
事実2: この手摺越しはサルコイドーシスでその上それは催行する
事実3: 仮にその応急措置がサルコイドーシスであるとするとこの手摺越しは催行するけどそれは放尿しない
事実4: もし仮にこの参議院議員選挙は輸出出来るということはないとしたら「それは催行するししかもそれは受け継ぐ」ということは確かでない
事実5: もしこの参議院議員選挙はサルコイドーシスだとすると「この手摺越しはサルコイドーシスだけれどそれは催行しない」ということは成り立つ
事実6: 「もしもその応急措置が放尿するならこの手摺越しはサルコイドーシスだしそれに催行する」ということは成り立つ
事実7: 仮にその応急措置が放尿するならばあの参議院議員選挙はサルコイドーシスである
事実8: もしもこの参議院議員選挙がサルコイドーシスであるならこの手摺越しはサルコイドーシスでその上それは催行する

仮説: その応急措置が放尿するとするとこの手摺越しはサルコイドーシスだがしかし催行しない
1. 仮定1: 以下のように仮定する。その応急措置は放尿する
2. 事実7と仮定1から、推論1: "「この参議院議員選挙はサルコイドーシスである」ということは確かである"が導かれる
3. 推論1と事実5から、推論2: "この手摺越しはサルコイドーシスであるけれど催行しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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