この静止時は齎し易いけれど騒々しくない
fact1: すべては騒々しくない fact2: もしもこの静止時が騒々しいならこの良馬は難儀する fact3: その操船はうじうじするけれど立て始めない fact4: この良馬は部品製造であるとすれば「この静止時は齎し易いけど騒々しくない」ということは間違いだ fact5: もし仮に「この静止時は齎し易いが騒々しいということはない」ということは間違っているとしたらこの良馬は難儀する fact6: あらゆる物は難儀しない fact7: あの対中は製品化出来る一方でそれは難儀しない fact8: もしも「とあるものは慰労する」ということは成り立つとすればそれは部品製造だが難儀しない
void -> assump1: 以下のように仮定する。「この静止時は齎し易い一方でそれは騒々しくない」ということは間違いだ; fact5 & assump1 -> int1: 「この良馬は難儀する」ということは正しい; fact6 -> int2: この良馬は難儀しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この静止時は齎し易いけど騒々しくない」ということは間違っている
fact10 -> int4: もし仮に「この良馬は慰労する」ということは事実だとすると部品製造だしそれにそれは難儀しない;
$facts$ = fact1: すべては騒々しくない fact2: もしもこの静止時が騒々しいならこの良馬は難儀する fact3: その操船はうじうじするけれど立て始めない fact4: この良馬は部品製造であるとすれば「この静止時は齎し易いけど騒々しくない」ということは間違いだ fact5: もし仮に「この静止時は齎し易いが騒々しいということはない」ということは間違っているとしたらこの良馬は難儀する fact6: あらゆる物は難儀しない fact7: あの対中は製品化出来る一方でそれは難儀しない fact8: もしも「とあるものは慰労する」ということは成り立つとすればそれは部品製造だが難儀しない ; $hypothesis$ = この静止時は齎し易いけれど騒々しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この静止時は齎し易い一方でそれは騒々しくない」ということは間違いだ; fact5 & assump1 -> int1: 「この良馬は難儀する」ということは正しい; fact6 -> int2: この良馬は難儀しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: すべては騒々しくない
事実2: もしもこの静止時が騒々しいならこの良馬は難儀する
事実3: その操船はうじうじするけれど立て始めない
事実4: この良馬は部品製造であるとすれば「この静止時は齎し易いけど騒々しくない」ということは間違いだ
事実5: もし仮に「この静止時は齎し易いが騒々しいということはない」ということは間違っているとしたらこの良馬は難儀する
事実6: あらゆる物は難儀しない
事実7: あの対中は製品化出来る一方でそれは難儀しない
事実8: もしも「とあるものは慰労する」ということは成り立つとすればそれは部品製造だが難儀しない

仮説: この静止時は齎し易いけれど騒々しくない
1. 仮定1: 以下のように仮定する。「この静止時は齎し易い一方でそれは騒々しくない」ということは間違いだ
2. 事実5と仮定1から、推論1: "「この良馬は難儀する」ということは正しい"が導かれる
3. 事実6から、推論2: "この良馬は難儀しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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