「その零．一πＳＥＣは履き古さない」ということは正しい
fact1: 仮に「この一者は大番である」ということは成り立つとしたらその零．一πＳＥＣは栗だ fact2: その零．一πＳＥＣは十九施設であるけれどそれはＱＲでない fact3: 「なにがしかのものは厳命するが入学しない」ということは嘘であるならば政治行動である fact4: 仮に何かは御苦労為さらないなら大番である fact5: この一者は御苦労為さる fact6: もしもこの一者が御苦労為さらないならば大番である fact7: その零．一πＳＥＣはＶＴＲだ fact8: 仮に「何らかのものは御苦労為さるけどＶＴＲでない」ということは成り立たないとすれば大番だ fact9: 仮に「この一者は筋張るけれど栗でない」ということは成り立てば大番でない fact10: 何らかの物は大番でないとすると「ＶＴＲであるしかつ御苦労為さらない」ということは偽である fact11: 仮になにがしかの物は栗であるならばそれは履き古す fact12: その零．一πＳＥＣが御苦労為さるとしたらそれは履き古す fact13: この一者はＶＴＲだ fact14: 「ある物がださくないとしたらそれは発給だ」ということは成り立つ fact15: その零．一πＳＥＣは大番だ
void -> assump1: 以下のように仮定する。この一者は御苦労為さるがＶＴＲでない; assump1 -> int1: この一者はＶＴＲだということはない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この一者は御苦労為さるがしかしＶＴＲでない」ということは確かでない; fact8 -> int4: 「この一者は御苦労為さるがしかしＶＴＲだということはない」ということは誤りであるとすれば大番である; int3 & int4 -> int5: この一者は大番である; int5 & fact1 -> int6: 「その零．一πＳＥＣは栗である」ということは事実だ; fact11 -> int7: もしその零．一πＳＥＣは栗であるとすればそれは履き古す; int6 & int7 -> hypothesis;
そのＧＨ分泌活性は栗でない
fact16 -> int8: 「とある物は大番だ」ということは正しい;
$facts$ = fact1: 仮に「この一者は大番である」ということは成り立つとしたらその零．一πＳＥＣは栗だ fact2: その零．一πＳＥＣは十九施設であるけれどそれはＱＲでない fact3: 「なにがしかのものは厳命するが入学しない」ということは嘘であるならば政治行動である fact4: 仮に何かは御苦労為さらないなら大番である fact5: この一者は御苦労為さる fact6: もしもこの一者が御苦労為さらないならば大番である fact7: その零．一πＳＥＣはＶＴＲだ fact8: 仮に「何らかのものは御苦労為さるけどＶＴＲでない」ということは成り立たないとすれば大番だ fact9: 仮に「この一者は筋張るけれど栗でない」ということは成り立てば大番でない fact10: 何らかの物は大番でないとすると「ＶＴＲであるしかつ御苦労為さらない」ということは偽である fact11: 仮になにがしかの物は栗であるならばそれは履き古す fact12: その零．一πＳＥＣが御苦労為さるとしたらそれは履き古す fact13: この一者はＶＴＲだ fact14: 「ある物がださくないとしたらそれは発給だ」ということは成り立つ fact15: その零．一πＳＥＣは大番だ ; $hypothesis$ = 「その零．一πＳＥＣは履き古さない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この一者は御苦労為さるがＶＴＲでない; assump1 -> int1: この一者はＶＴＲだということはない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この一者は御苦労為さるがしかしＶＴＲでない」ということは確かでない; fact8 -> int4: 「この一者は御苦労為さるがしかしＶＴＲだということはない」ということは誤りであるとすれば大番である; int3 & int4 -> int5: この一者は大番である; int5 & fact1 -> int6: 「その零．一πＳＥＣは栗である」ということは事実だ; fact11 -> int7: もしその零．一πＳＥＣは栗であるとすればそれは履き古す; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮に「この一者は大番である」ということは成り立つとしたらその零．一πＳＥＣは栗だ
事実2: その零．一πＳＥＣは十九施設であるけれどそれはＱＲでない
事実3: 「なにがしかのものは厳命するが入学しない」ということは嘘であるならば政治行動である
事実4: 仮に何かは御苦労為さらないなら大番である
事実5: この一者は御苦労為さる
事実6: もしもこの一者が御苦労為さらないならば大番である
事実7: その零．一πＳＥＣはＶＴＲだ
事実8: 仮に「何らかのものは御苦労為さるけどＶＴＲでない」ということは成り立たないとすれば大番だ
事実9: 仮に「この一者は筋張るけれど栗でない」ということは成り立てば大番でない
事実10: 何らかの物は大番でないとすると「ＶＴＲであるしかつ御苦労為さらない」ということは偽である
事実11: 仮になにがしかの物は栗であるならばそれは履き古す
事実12: その零．一πＳＥＣが御苦労為さるとしたらそれは履き古す
事実13: この一者はＶＴＲだ
事実14: 「ある物がださくないとしたらそれは発給だ」ということは成り立つ
事実15: その零．一πＳＥＣは大番だ

仮説: 「その零．一πＳＥＣは履き古さない」ということは正しい
1. 仮定1: 以下のように仮定する。この一者は御苦労為さるがＶＴＲでない
2. 仮定1から、推論1: "この一者はＶＴＲだということはない"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この一者は御苦労為さるがしかしＶＴＲでない」ということは確かでない"が導かれる
5. 事実8から、推論4: "「この一者は御苦労為さるがしかしＶＴＲだということはない」ということは誤りであるとすれば大番である"が導かれる
6. 推論3と推論4から、推論5: "この一者は大番である"が導かれる
7. 推論5と事実1から、推論6: "「その零．一πＳＥＣは栗である」ということは事実だ"が導かれる
8. 事実11から、推論7: "もしその零．一πＳＥＣは栗であるとすればそれは履き古す"が導かれる
9. 推論6と推論7から、仮説が否定される

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