このＵＳＳイングは代用監獄でない
fact1: もし仮にその族的関係者が駐留するということはないならこのＵＳＳイングは代用監獄だしそれに打ち出しだ fact2: 痩せ難くないものは分立しない fact3: 「何らかのものは構え易い一方でそれは行動しない」ということは事実と異なるとすれば御葬式でない fact4: もしもなんらかの物は起こし易いとしたら「それは御葬式でなくて更にそれは賞状でない」ということは誤っている fact5: もし仮にとあるものが起こし易くないとすると賞状だ fact6: このＵＳＳイングは駐留する fact7: もしもその族的関係者が賞状ならば秀でるし駐留しない fact8: 仮にこのＵＳＳイングは打ち出しでないとすると「この携帯使用は秀でるけれど摩擦係数でない」ということは正しくない fact9: もし「「あるものは秘匿するが華々しくない」ということは成り立つ」ということは誤りだとしたらそれはつべたくない fact10: その備品は秀でない fact11: ある物が秀でないとすればそれは代用監獄でない fact12: 「このＵＳＳイングは打ち出しである」ということは誤りでない fact13: もし「とある物は打ち出しであるけど駐留しない」ということは偽であるならそれは秀でない fact14: 鑑賞し易くないものは黒褐色だということはない
void -> assump1: 以下のように仮定する。このＵＳＳイングは打ち出しだがしかし駐留しない; assump1 -> int1: このＵＳＳイングは駐留しない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このＵＳＳイングは打ち出しであるがしかし駐留しない」ということは偽である; fact13 -> int4: 「このＵＳＳイングは打ち出しだ一方でそれは駐留しない」ということは事実と異なるならそれは秀でるということはない; int3 & int4 -> int5: このＵＳＳイングは秀でない; fact11 -> int6: このＵＳＳイングは秀でないならそれは代用監獄でない; int5 & int6 -> hypothesis;
このＵＳＳイングは代用監獄だ
fact16 -> int7: もしもその族的関係者が起こし易くないなら賞状だ;
$facts$ = fact1: もし仮にその族的関係者が駐留するということはないならこのＵＳＳイングは代用監獄だしそれに打ち出しだ fact2: 痩せ難くないものは分立しない fact3: 「何らかのものは構え易い一方でそれは行動しない」ということは事実と異なるとすれば御葬式でない fact4: もしもなんらかの物は起こし易いとしたら「それは御葬式でなくて更にそれは賞状でない」ということは誤っている fact5: もし仮にとあるものが起こし易くないとすると賞状だ fact6: このＵＳＳイングは駐留する fact7: もしもその族的関係者が賞状ならば秀でるし駐留しない fact8: 仮にこのＵＳＳイングは打ち出しでないとすると「この携帯使用は秀でるけれど摩擦係数でない」ということは正しくない fact9: もし「「あるものは秘匿するが華々しくない」ということは成り立つ」ということは誤りだとしたらそれはつべたくない fact10: その備品は秀でない fact11: ある物が秀でないとすればそれは代用監獄でない fact12: 「このＵＳＳイングは打ち出しである」ということは誤りでない fact13: もし「とある物は打ち出しであるけど駐留しない」ということは偽であるならそれは秀でない fact14: 鑑賞し易くないものは黒褐色だということはない ; $hypothesis$ = このＵＳＳイングは代用監獄でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＵＳＳイングは打ち出しだがしかし駐留しない; assump1 -> int1: このＵＳＳイングは駐留しない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このＵＳＳイングは打ち出しであるがしかし駐留しない」ということは偽である; fact13 -> int4: 「このＵＳＳイングは打ち出しだ一方でそれは駐留しない」ということは事実と異なるならそれは秀でるということはない; int3 & int4 -> int5: このＵＳＳイングは秀でない; fact11 -> int6: このＵＳＳイングは秀でないならそれは代用監獄でない; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にその族的関係者が駐留するということはないならこのＵＳＳイングは代用監獄だしそれに打ち出しだ
事実2: 痩せ難くないものは分立しない
事実3: 「何らかのものは構え易い一方でそれは行動しない」ということは事実と異なるとすれば御葬式でない
事実4: もしもなんらかの物は起こし易いとしたら「それは御葬式でなくて更にそれは賞状でない」ということは誤っている
事実5: もし仮にとあるものが起こし易くないとすると賞状だ
事実6: このＵＳＳイングは駐留する
事実7: もしもその族的関係者が賞状ならば秀でるし駐留しない
事実8: 仮にこのＵＳＳイングは打ち出しでないとすると「この携帯使用は秀でるけれど摩擦係数でない」ということは正しくない
事実9: もし「「あるものは秘匿するが華々しくない」ということは成り立つ」ということは誤りだとしたらそれはつべたくない
事実10: その備品は秀でない
事実11: ある物が秀でないとすればそれは代用監獄でない
事実12: 「このＵＳＳイングは打ち出しである」ということは誤りでない
事実13: もし「とある物は打ち出しであるけど駐留しない」ということは偽であるならそれは秀でない
事実14: 鑑賞し易くないものは黒褐色だということはない

仮説: このＵＳＳイングは代用監獄でない
1. 仮定1: 以下のように仮定する。このＵＳＳイングは打ち出しだがしかし駐留しない
2. 仮定1から、推論1: "このＵＳＳイングは駐留しない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このＵＳＳイングは打ち出しであるがしかし駐留しない」ということは偽である"が導かれる
5. 事実13から、推論4: "「このＵＳＳイングは打ち出しだ一方でそれは駐留しない」ということは事実と異なるならそれは秀でるということはない"が導かれる
6. 推論3と推論4から、推論5: "このＵＳＳイングは秀でない"が導かれる
7. 事実11から、推論6: "このＵＳＳイングは秀でないならそれは代用監獄でない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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