もし仮にこの掃除当番が合わせ辛いならばあの世話役は自画自賛する
fact1: もし仮に「この掃除当番はライティングソフトであるしかつ合わせ辛い」ということは確かでないとすれば自画自賛する fact2: 「何らかの物は咽頭でライティングソフトである」ということは成り立たないなら合わせ辛くない fact3: この掃除当番はライティングソフトでないならそれは合わせ辛くない fact4: この共用品は輝かしい fact5: 仮にあの世話役が合わせ辛いならばこの前科は自画自賛する fact6: 「「置き直すということはないしおまけに取り辛くない」ということは偽な」ものがあるとしたらその誹謗中傷は余剰でない fact7: もし仮に「この文部大臣は感知する」ということは成り立つなら「この掃除当番は済ま無いということはないか訪問頻度別でないかまたは両方である」ということは間違っている fact8: あの世話役は合わせ辛くない fact9: 仮にあるものがライティングソフトでないとすれば合わせ辛くない fact10: もし仮に「なにがしかの物は咽頭だしライティングソフトである」ということは成り立たないとすると「合わせ辛い」ということは成り立つ fact11: もしあの世話役は自画自賛しないならば「この掃除当番は咽頭であるしそれにライティングソフトだ」ということは偽である fact12: もしこの共用品は馴れ親しむとしたら「あのデンマーク人は置き直さないし取り辛くない」ということは成り立たない fact13: もし仮にあるものが余剰でないとしたらこの文部大臣は図り難くてまた感知する fact14: 輝かしい物は馴れ親しむ
void -> assump2: 以下のように仮定する。あの世話役は自画自賛しない; fact11 & assump2 -> int1: 「この掃除当番は咽頭でまたライティングソフトだ」ということは嘘だ; fact2 -> int2: 仮に「この掃除当番は咽頭であるししかもライティングソフトだ」ということは嘘であるとすると合わせ辛いということはない; int1 & int2 -> int3: この掃除当番は合わせ辛いということはない; void -> assump1: 以下のように仮定する。この掃除当番は合わせ辛い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの世話役は自画自賛する; [assump1] & int5 -> hypothesis;
この前科は自画自賛する
fact20 -> int6: もし仮にこの共用品が輝かしいならばそれは馴れ親しむ; int6 & fact21 -> int7: この共用品は馴れ親しむ; fact18 & int7 -> int8: 「あのデンマーク人は置き直さないし取り辛いということはない」ということは誤っている; int8 -> int9: 「「置き直すということはないしその上取り辛くない」ということは嘘な」物はある; int9 & fact17 -> int10: その誹謗中傷は余剰でない; int10 -> int11: とあるものは余剰でない; int11 & fact16 -> int12: この文部大臣は図り難くて感知する; int12 -> int13: この文部大臣は感知する; fact19 & int13 -> int14: 「この掃除当番は済ま無くないかあるいは訪問頻度別でないか両方ともだ」ということは誤っている; int14 -> int15: 「「「済ま無くないかあるいは訪問頻度別でないかあるいはどちらもである」ということは正しい」ということは事実と異なる」物はある;
$facts$ = fact1: もし仮に「この掃除当番はライティングソフトであるしかつ合わせ辛い」ということは確かでないとすれば自画自賛する fact2: 「何らかの物は咽頭でライティングソフトである」ということは成り立たないなら合わせ辛くない fact3: この掃除当番はライティングソフトでないならそれは合わせ辛くない fact4: この共用品は輝かしい fact5: 仮にあの世話役が合わせ辛いならばこの前科は自画自賛する fact6: 「「置き直すということはないしおまけに取り辛くない」ということは偽な」ものがあるとしたらその誹謗中傷は余剰でない fact7: もし仮に「この文部大臣は感知する」ということは成り立つなら「この掃除当番は済ま無いということはないか訪問頻度別でないかまたは両方である」ということは間違っている fact8: あの世話役は合わせ辛くない fact9: 仮にあるものがライティングソフトでないとすれば合わせ辛くない fact10: もし仮に「なにがしかの物は咽頭だしライティングソフトである」ということは成り立たないとすると「合わせ辛い」ということは成り立つ fact11: もしあの世話役は自画自賛しないならば「この掃除当番は咽頭であるしそれにライティングソフトだ」ということは偽である fact12: もしこの共用品は馴れ親しむとしたら「あのデンマーク人は置き直さないし取り辛くない」ということは成り立たない fact13: もし仮にあるものが余剰でないとしたらこの文部大臣は図り難くてまた感知する fact14: 輝かしい物は馴れ親しむ ; $hypothesis$ = もし仮にこの掃除当番が合わせ辛いならばあの世話役は自画自賛する ; $proof$ = 
void -> assump2: 以下のように仮定する。あの世話役は自画自賛しない; fact11 & assump2 -> int1: 「この掃除当番は咽頭でまたライティングソフトだ」ということは嘘だ; fact2 -> int2: 仮に「この掃除当番は咽頭であるししかもライティングソフトだ」ということは嘘であるとすると合わせ辛いということはない; int1 & int2 -> int3: この掃除当番は合わせ辛いということはない; void -> assump1: 以下のように仮定する。この掃除当番は合わせ辛い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの世話役は自画自賛する; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「この掃除当番はライティングソフトであるしかつ合わせ辛い」ということは確かでないとすれば自画自賛する
事実2: 「何らかの物は咽頭でライティングソフトである」ということは成り立たないなら合わせ辛くない
事実3: この掃除当番はライティングソフトでないならそれは合わせ辛くない
事実4: この共用品は輝かしい
事実5: 仮にあの世話役が合わせ辛いならばこの前科は自画自賛する
事実6: 「「置き直すということはないしおまけに取り辛くない」ということは偽な」ものがあるとしたらその誹謗中傷は余剰でない
事実7: もし仮に「この文部大臣は感知する」ということは成り立つなら「この掃除当番は済ま無いということはないか訪問頻度別でないかまたは両方である」ということは間違っている
事実8: あの世話役は合わせ辛くない
事実9: 仮にあるものがライティングソフトでないとすれば合わせ辛くない
事実10: もし仮に「なにがしかの物は咽頭だしライティングソフトである」ということは成り立たないとすると「合わせ辛い」ということは成り立つ
事実11: もしあの世話役は自画自賛しないならば「この掃除当番は咽頭であるしそれにライティングソフトだ」ということは偽である
事実12: もしこの共用品は馴れ親しむとしたら「あのデンマーク人は置き直さないし取り辛くない」ということは成り立たない
事実13: もし仮にあるものが余剰でないとしたらこの文部大臣は図り難くてまた感知する
事実14: 輝かしい物は馴れ親しむ

仮説: もし仮にこの掃除当番が合わせ辛いならばあの世話役は自画自賛する
1. 仮定2: 以下のように仮定する。あの世話役は自画自賛しない
2. 事実11と仮定2から、推論1: "「この掃除当番は咽頭でまたライティングソフトだ」ということは嘘だ"が導かれる
3. 事実2から、推論2: "仮に「この掃除当番は咽頭であるししかもライティングソフトだ」ということは嘘であるとすると合わせ辛いということはない"が導かれる
4. 推論1と推論2から、推論3: "この掃除当番は合わせ辛いということはない"が導かれる
5. 仮定1: 以下のように仮定する。この掃除当番は合わせ辛い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの世話役は自画自賛する"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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