「「あの名目金利は事情届け等でないしおまけに愛らしくない」ということは誤っている」ということは正しい
fact1: その屎尿処理は賢しいしその上一回りする fact2: もし仮に痛々しいものは事情届け等でないとすると「それは賢しくない」ということは正しい fact3: もし仮に賢しいということはない物が一回りするとするとそれは痛々しい fact4: もしもその屎尿処理は事情届け等であるならば「あの名目金利は事情届け等でないしその上愛らしいということはない」ということは成り立たない fact5: もしも「ある物は鎖骨上窩である一方でそれは黒しない」ということは偽だとしたらそれは鎖骨上窩でない fact6: 「その屎尿処理は小高い」ということは誤りでないなら「あの名目金利は鎖骨上窩だけれど黒しない」ということは嘘である fact7: もし仮にあの名目金利が鎖骨上窩でないならそれは賢しくないし一回りする fact8: その屎尿処理は痛々しい
void -> assump1: 以下のように仮定する。その屎尿処理は事情届け等でない; fact8 & assump1 -> int1: その屎尿処理は痛々しい一方で事情届け等だということはない; fact2 -> int2: もし仮にその屎尿処理が痛々しいがそれは事情届け等でないならばそれは賢しくない; int1 & int2 -> int3: その屎尿処理は賢しくない; fact1 -> int4: その屎尿処理は賢しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その屎尿処理は事情届け等だ; int6 & fact4 -> hypothesis;
あの名目金利は事情届け等だということはなくてそれにそれは愛らしくない
fact10 -> int7: 仮にあの名目金利は賢しくないがしかし一回りするとすればそれは痛々しい; fact11 -> int8: 仮に「「あの名目金利は鎖骨上窩だけれど黒しない」ということは成り立つということはない」ということは本当ならば鎖骨上窩だということはない;
$facts$ = fact1: その屎尿処理は賢しいしその上一回りする fact2: もし仮に痛々しいものは事情届け等でないとすると「それは賢しくない」ということは正しい fact3: もし仮に賢しいということはない物が一回りするとするとそれは痛々しい fact4: もしもその屎尿処理は事情届け等であるならば「あの名目金利は事情届け等でないしその上愛らしいということはない」ということは成り立たない fact5: もしも「ある物は鎖骨上窩である一方でそれは黒しない」ということは偽だとしたらそれは鎖骨上窩でない fact6: 「その屎尿処理は小高い」ということは誤りでないなら「あの名目金利は鎖骨上窩だけれど黒しない」ということは嘘である fact7: もし仮にあの名目金利が鎖骨上窩でないならそれは賢しくないし一回りする fact8: その屎尿処理は痛々しい ; $hypothesis$ = 「「あの名目金利は事情届け等でないしおまけに愛らしくない」ということは誤っている」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その屎尿処理は事情届け等でない; fact8 & assump1 -> int1: その屎尿処理は痛々しい一方で事情届け等だということはない; fact2 -> int2: もし仮にその屎尿処理が痛々しいがそれは事情届け等でないならばそれは賢しくない; int1 & int2 -> int3: その屎尿処理は賢しくない; fact1 -> int4: その屎尿処理は賢しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その屎尿処理は事情届け等だ; int6 & fact4 -> hypothesis; __PROVED__
事実1: その屎尿処理は賢しいしその上一回りする
事実2: もし仮に痛々しいものは事情届け等でないとすると「それは賢しくない」ということは正しい
事実3: もし仮に賢しいということはない物が一回りするとするとそれは痛々しい
事実4: もしもその屎尿処理は事情届け等であるならば「あの名目金利は事情届け等でないしその上愛らしいということはない」ということは成り立たない
事実5: もしも「ある物は鎖骨上窩である一方でそれは黒しない」ということは偽だとしたらそれは鎖骨上窩でない
事実6: 「その屎尿処理は小高い」ということは誤りでないなら「あの名目金利は鎖骨上窩だけれど黒しない」ということは嘘である
事実7: もし仮にあの名目金利が鎖骨上窩でないならそれは賢しくないし一回りする
事実8: その屎尿処理は痛々しい

仮説: 「「あの名目金利は事情届け等でないしおまけに愛らしくない」ということは誤っている」ということは正しい
1. 仮定1: 以下のように仮定する。その屎尿処理は事情届け等でない
2. 事実8と仮定1から、推論1: "その屎尿処理は痛々しい一方で事情届け等だということはない"が導かれる
3. 事実2から、推論2: "もし仮にその屎尿処理が痛々しいがそれは事情届け等でないならばそれは賢しくない"が導かれる
4. 推論1と推論2から、推論3: "その屎尿処理は賢しくない"が導かれる
5. 事実1から、推論4: "その屎尿処理は賢しい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その屎尿処理は事情届け等だ"が導かれる
8. 推論6と事実4から、仮説が導かれる

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