「この休日等は結び柳であるけど御満悦でない」ということは間違いである
fact1: もし「その医療法人は生まれ持たないかあるいはそれは介護者である」ということは間違っているならばあの休日等は生まれ持たない fact2: この手巻き寿司は繰り返せる fact3: もしもなにがしかのものは結び柳でないとすると「それは生まれ持たないか介護者である」ということは本当でない fact4: もし仮にこの手巻き寿司が繰り返せるしそれは御満悦であるとすると生まれ持たない fact5: もし仮に「その医療法人は教訓するし姦通する」ということは成り立たないとすれば結び柳でない fact6: もしこの手巻き寿司が御満悦でないとすればこの休日等が結び柳だけど御満悦でない fact7: この最小間隔は繰り返せる fact8: この手巻き寿司は生まれ持つ
void -> assump1: 以下のように仮定する。この手巻き寿司は御満悦である; fact2 & assump1 -> int1: この手巻き寿司は繰り返せるしおまけにそれは御満悦である; int1 & fact4 -> int2: この手巻き寿司は生まれ持たない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: この手巻き寿司は御満悦でない; int4 & fact6 -> hypothesis;
この手巻き寿司は取り扱う
fact10 -> int5: もしも「その医療法人は結び柳だということはない」ということは成り立つとすれば「それは生まれ持たないかまたは介護者であるか両方ともだ」ということは嘘である;
$facts$ = fact1: もし「その医療法人は生まれ持たないかあるいはそれは介護者である」ということは間違っているならばあの休日等は生まれ持たない fact2: この手巻き寿司は繰り返せる fact3: もしもなにがしかのものは結び柳でないとすると「それは生まれ持たないか介護者である」ということは本当でない fact4: もし仮にこの手巻き寿司が繰り返せるしそれは御満悦であるとすると生まれ持たない fact5: もし仮に「その医療法人は教訓するし姦通する」ということは成り立たないとすれば結び柳でない fact6: もしこの手巻き寿司が御満悦でないとすればこの休日等が結び柳だけど御満悦でない fact7: この最小間隔は繰り返せる fact8: この手巻き寿司は生まれ持つ ; $hypothesis$ = 「この休日等は結び柳であるけど御満悦でない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この手巻き寿司は御満悦である; fact2 & assump1 -> int1: この手巻き寿司は繰り返せるしおまけにそれは御満悦である; int1 & fact4 -> int2: この手巻き寿司は生まれ持たない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: この手巻き寿司は御満悦でない; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「その医療法人は生まれ持たないかあるいはそれは介護者である」ということは間違っているならばあの休日等は生まれ持たない
事実2: この手巻き寿司は繰り返せる
事実3: もしもなにがしかのものは結び柳でないとすると「それは生まれ持たないか介護者である」ということは本当でない
事実4: もし仮にこの手巻き寿司が繰り返せるしそれは御満悦であるとすると生まれ持たない
事実5: もし仮に「その医療法人は教訓するし姦通する」ということは成り立たないとすれば結び柳でない
事実6: もしこの手巻き寿司が御満悦でないとすればこの休日等が結び柳だけど御満悦でない
事実7: この最小間隔は繰り返せる
事実8: この手巻き寿司は生まれ持つ

仮説: 「この休日等は結び柳であるけど御満悦でない」ということは間違いである
1. 仮定1: 以下のように仮定する。この手巻き寿司は御満悦である
2. 事実2と仮定1から、推論1: "この手巻き寿司は繰り返せるしおまけにそれは御満悦である"が導かれる
3. 推論1と事実4から、推論2: "この手巻き寿司は生まれ持たない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この手巻き寿司は御満悦でない"が導かれる
6. 推論4と事実6から、仮説が否定される

よって、仮説が否定されました。