「この凸部はうろうろし始めるけれど薄汚くない」ということは嘘である
fact1: なんらかのものが間延びするならそれは梯子しないし罪深くない fact2: もしも「その名残りは間延びするということはなくてそれに強権政治でない」ということは間違いであるならばこの保健学習はＳＣでない fact3: もし「この凸部は利す一方で薄汚くない」ということは偽であるとすればあの名残りは薄汚い fact4: その結核治療薬は間延びする fact5: 「なんらかのものは薄汚い」ということは誤りであるということはないとするとそれはうろうろし始める fact6: もし仮になにがしかの物はＳＣでないとしたら「この凸部はうろうろし始める一方でそれは薄汚くない」ということは成り立たない fact7: その名残りは間延びする fact8: 何らかの物はうろうろし始めるとしたら「強権政治でないし更にそれはＳＣでない」ということは偽である
void -> assump1: 以下のように仮定する。その名残りは間延びしなくて強権政治でない; assump1 -> int1: その名残りは間延びしない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その名残りは間延びしないし強権政治でない」ということは成り立たない; int3 & fact2 -> int4: この保健学習はＳＣでない; int4 -> int5: 「ＳＣでない」物はある; int5 & fact6 -> hypothesis;
この保健学習は梯子しないし罪深くない
fact12 -> int6: もしこの保健学習が間延びすれば梯子するということはなくてそれは罪深くない; fact10 -> int7: その名残りはうろうろし始めれば「強権政治であるということはないし加えてＳＣでない」ということは成り立たない; fact11 -> int8: もし仮に「その名残りは薄汚い」ということは確かだとしたらそれはうろうろし始める;
$facts$ = fact1: なんらかのものが間延びするならそれは梯子しないし罪深くない fact2: もしも「その名残りは間延びするということはなくてそれに強権政治でない」ということは間違いであるならばこの保健学習はＳＣでない fact3: もし「この凸部は利す一方で薄汚くない」ということは偽であるとすればあの名残りは薄汚い fact4: その結核治療薬は間延びする fact5: 「なんらかのものは薄汚い」ということは誤りであるということはないとするとそれはうろうろし始める fact6: もし仮になにがしかの物はＳＣでないとしたら「この凸部はうろうろし始める一方でそれは薄汚くない」ということは成り立たない fact7: その名残りは間延びする fact8: 何らかの物はうろうろし始めるとしたら「強権政治でないし更にそれはＳＣでない」ということは偽である ; $hypothesis$ = 「この凸部はうろうろし始めるけれど薄汚くない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。その名残りは間延びしなくて強権政治でない; assump1 -> int1: その名残りは間延びしない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その名残りは間延びしないし強権政治でない」ということは成り立たない; int3 & fact2 -> int4: この保健学習はＳＣでない; int4 -> int5: 「ＳＣでない」物はある; int5 & fact6 -> hypothesis; __PROVED__
事実1: なんらかのものが間延びするならそれは梯子しないし罪深くない
事実2: もしも「その名残りは間延びするということはなくてそれに強権政治でない」ということは間違いであるならばこの保健学習はＳＣでない
事実3: もし「この凸部は利す一方で薄汚くない」ということは偽であるとすればあの名残りは薄汚い
事実4: その結核治療薬は間延びする
事実5: 「なんらかのものは薄汚い」ということは誤りであるということはないとするとそれはうろうろし始める
事実6: もし仮になにがしかの物はＳＣでないとしたら「この凸部はうろうろし始める一方でそれは薄汚くない」ということは成り立たない
事実7: その名残りは間延びする
事実8: 何らかの物はうろうろし始めるとしたら「強権政治でないし更にそれはＳＣでない」ということは偽である

仮説: 「この凸部はうろうろし始めるけれど薄汚くない」ということは嘘である
1. 仮定1: 以下のように仮定する。その名残りは間延びしなくて強権政治でない
2. 仮定1から、推論1: "その名残りは間延びしない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その名残りは間延びしないし強権政治でない」ということは成り立たない"が導かれる
5. 推論3と事実2から、推論4: "この保健学習はＳＣでない"が導かれる
6. 推論4から、推論5: "「ＳＣでない」物はある"が導かれる
7. 推論5と事実6から、仮説が導かれる

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