「仮に「あの抑圧的治療はプティ・クトーであるしまた五十五人である」ということは間違っているとすればその留鳥は殺戮しない」ということは成り立つ
fact1: もしも「なにがしかのものはプティ・クトーであるし五十五人だ」ということは誤りであるとすると「ぽんするということはない」ということは本当である fact2: 仮にその引き渡し等が日焼けであるかあるいは卑しか両方ともであるとするとその留鳥は殺戮するということはない fact3: もしもあるものは略しないなら「変化し易くない」ということは成り立つ fact4: もしその引き渡し等がプティ・クトーであるか殺戮するとするとあの抑圧的治療は日焼けでない fact5: 仮にその引き渡し等が日焼けであるならその留鳥は殺戮しない fact6: 仮にあの抑圧的治療がぽんするということはないとすればその引き渡し等は卑し
fact1 -> int1: もしも「あの抑圧的治療はプティ・クトーであるしその上五十五人である」ということは偽なら「それはぽんしない」ということは確かだ; void -> assump1: 以下のように仮定する。「あの抑圧的治療はプティ・クトーであるしおまけに五十五人だ」ということは嘘だ; int1 & assump1 -> int2: 「あの抑圧的治療はぽんする」ということは成り立たない; int2 & fact6 -> int3: その引き渡し等は卑し; int3 -> int4: その引き渡し等は日焼けであるかあるいは卑し; int4 & fact2 -> int5: その留鳥は殺戮しない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしも「なにがしかのものはプティ・クトーであるし五十五人だ」ということは誤りであるとすると「ぽんするということはない」ということは本当である fact2: 仮にその引き渡し等が日焼けであるかあるいは卑しか両方ともであるとするとその留鳥は殺戮するということはない fact3: もしもあるものは略しないなら「変化し易くない」ということは成り立つ fact4: もしその引き渡し等がプティ・クトーであるか殺戮するとするとあの抑圧的治療は日焼けでない fact5: 仮にその引き渡し等が日焼けであるならその留鳥は殺戮しない fact6: 仮にあの抑圧的治療がぽんするということはないとすればその引き渡し等は卑し ; $hypothesis$ = 「仮に「あの抑圧的治療はプティ・クトーであるしまた五十五人である」ということは間違っているとすればその留鳥は殺戮しない」ということは成り立つ ; $proof$ = 
fact1 -> int1: もしも「あの抑圧的治療はプティ・クトーであるしその上五十五人である」ということは偽なら「それはぽんしない」ということは確かだ; void -> assump1: 以下のように仮定する。「あの抑圧的治療はプティ・クトーであるしおまけに五十五人だ」ということは嘘だ; int1 & assump1 -> int2: 「あの抑圧的治療はぽんする」ということは成り立たない; int2 & fact6 -> int3: その引き渡し等は卑し; int3 -> int4: その引き渡し等は日焼けであるかあるいは卑し; int4 & fact2 -> int5: その留鳥は殺戮しない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「なにがしかのものはプティ・クトーであるし五十五人だ」ということは誤りであるとすると「ぽんするということはない」ということは本当である
事実2: 仮にその引き渡し等が日焼けであるかあるいは卑しか両方ともであるとするとその留鳥は殺戮するということはない
事実3: もしもあるものは略しないなら「変化し易くない」ということは成り立つ
事実4: もしその引き渡し等がプティ・クトーであるか殺戮するとするとあの抑圧的治療は日焼けでない
事実5: 仮にその引き渡し等が日焼けであるならその留鳥は殺戮しない
事実6: 仮にあの抑圧的治療がぽんするということはないとすればその引き渡し等は卑し

仮説: 「仮に「あの抑圧的治療はプティ・クトーであるしまた五十五人である」ということは間違っているとすればその留鳥は殺戮しない」ということは成り立つ
1. 事実1から、推論1: "もしも「あの抑圧的治療はプティ・クトーであるしその上五十五人である」ということは偽なら「それはぽんしない」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。「あの抑圧的治療はプティ・クトーであるしおまけに五十五人だ」ということは嘘だ
3. 推論1と仮定1から、推論2: "「あの抑圧的治療はぽんする」ということは成り立たない"が導かれる
4. 推論2と事実6から、推論3: "その引き渡し等は卑し"が導かれる
5. 推論3から、推論4: "その引き渡し等は日焼けであるかあるいは卑し"が導かれる
6. 推論4と事実2から、推論5: "その留鳥は殺戮しない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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