このソフトラインは四十回以上でない
fact1: もし仮に「「活用だし当該複合施設全体でない」ということは誤りな」ものがあるとすればこのソフトラインは読み語る fact2: 及び難くない物は繁殖しないか悪くないかもしくは両方である fact3: もし及び難いものが読み語ればそれは四十回以上でない fact4: もしもなんらかの物は読み語らないとすれば「入園しないししかも及び難くない」ということは成り立たない fact5: その給仕は繁殖しないか悪くないかあるいは両方ともならば繁殖しない fact6: この公衆衛生従事者は営み得る fact7: もし仮にあの空リースは当該複合施設全体であるなら談論風発する fact8: もし「この公衆衛生従事者は入園しないし更に及び難いということはない」ということは成り立たないとすると及び難い fact9: 「あの空リースは活用であるけれどそれは当該複合施設全体でない」ということは偽である fact10: もし仮にこの公衆衛生従事者が営み得るとすれば談論風発する fact11: その学級はむくつけしない fact12: 「この公衆衛生従事者が繁殖するとしたらこの公衆衛生従事者は談論風発しない」ということは事実である fact13: もしこの公衆衛生従事者が四十回以上であるならばあのソフトラインは四十回以上である fact14: なにかは繁殖するかまたは談論風発するということはないとするとそれは繁殖する fact15: もし仮にその給仕が入園しないけど悪いならばこのソフトラインは及び難い fact16: この公衆衛生従事者は読み語らない fact17: もし仮に何らかの物が繁殖するということはないなら悪くない fact18: もし仮にこの公衆衛生従事者が及び難いならばあの特別管理加算は繁殖するかもしくは談論風発しない fact19: とある物が繁殖するとすると等し fact20: 仮にこの公衆衛生従事者が悪くないならばその給仕は入園しない一方でそれは悪い
void -> assump1: 以下のように仮定する。この公衆衛生従事者は繁殖する; fact12 & assump1 -> int1: この公衆衛生従事者は談論風発しない; fact6 & fact10 -> int2: この公衆衛生従事者は談論風発する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この公衆衛生従事者は繁殖しない; fact17 -> int5: 仮にこの公衆衛生従事者が繁殖するということはないとしたら悪くない; int4 & int5 -> int6: この公衆衛生従事者は悪くない; int6 & fact20 -> int7: その給仕は入園しない一方で悪い; int7 & fact15 -> int8: このソフトラインは及び難い; fact9 -> int9: 「「活用であるし更に当該複合施設全体でない」ということは誤っている」ものはある; fact1 & int9 -> int10: このソフトラインは読み語る; int8 & int10 -> int11: このソフトラインは及び難くて読み語る; fact3 -> int12: もしこのソフトラインが及び難くてそれが読み語るとすればそれは四十回以上でない; int11 & int12 -> hypothesis;
このソフトラインは四十回以上だ
fact21 -> int13: 仮にその給仕が及び難いということはないとしたら繁殖しないかあるいは悪くないかまたはどちらもである;
$facts$ = fact1: もし仮に「「活用だし当該複合施設全体でない」ということは誤りな」ものがあるとすればこのソフトラインは読み語る fact2: 及び難くない物は繁殖しないか悪くないかもしくは両方である fact3: もし及び難いものが読み語ればそれは四十回以上でない fact4: もしもなんらかの物は読み語らないとすれば「入園しないししかも及び難くない」ということは成り立たない fact5: その給仕は繁殖しないか悪くないかあるいは両方ともならば繁殖しない fact6: この公衆衛生従事者は営み得る fact7: もし仮にあの空リースは当該複合施設全体であるなら談論風発する fact8: もし「この公衆衛生従事者は入園しないし更に及び難いということはない」ということは成り立たないとすると及び難い fact9: 「あの空リースは活用であるけれどそれは当該複合施設全体でない」ということは偽である fact10: もし仮にこの公衆衛生従事者が営み得るとすれば談論風発する fact11: その学級はむくつけしない fact12: 「この公衆衛生従事者が繁殖するとしたらこの公衆衛生従事者は談論風発しない」ということは事実である fact13: もしこの公衆衛生従事者が四十回以上であるならばあのソフトラインは四十回以上である fact14: なにかは繁殖するかまたは談論風発するということはないとするとそれは繁殖する fact15: もし仮にその給仕が入園しないけど悪いならばこのソフトラインは及び難い fact16: この公衆衛生従事者は読み語らない fact17: もし仮に何らかの物が繁殖するということはないなら悪くない fact18: もし仮にこの公衆衛生従事者が及び難いならばあの特別管理加算は繁殖するかもしくは談論風発しない fact19: とある物が繁殖するとすると等し fact20: 仮にこの公衆衛生従事者が悪くないならばその給仕は入園しない一方でそれは悪い ; $hypothesis$ = このソフトラインは四十回以上でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この公衆衛生従事者は繁殖する; fact12 & assump1 -> int1: この公衆衛生従事者は談論風発しない; fact6 & fact10 -> int2: この公衆衛生従事者は談論風発する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この公衆衛生従事者は繁殖しない; fact17 -> int5: 仮にこの公衆衛生従事者が繁殖するということはないとしたら悪くない; int4 & int5 -> int6: この公衆衛生従事者は悪くない; int6 & fact20 -> int7: その給仕は入園しない一方で悪い; int7 & fact15 -> int8: このソフトラインは及び難い; fact9 -> int9: 「「活用であるし更に当該複合施設全体でない」ということは誤っている」ものはある; fact1 & int9 -> int10: このソフトラインは読み語る; int8 & int10 -> int11: このソフトラインは及び難くて読み語る; fact3 -> int12: もしこのソフトラインが及び難くてそれが読み語るとすればそれは四十回以上でない; int11 & int12 -> hypothesis; __PROVED__
事実1: もし仮に「「活用だし当該複合施設全体でない」ということは誤りな」ものがあるとすればこのソフトラインは読み語る
事実2: 及び難くない物は繁殖しないか悪くないかもしくは両方である
事実3: もし及び難いものが読み語ればそれは四十回以上でない
事実4: もしもなんらかの物は読み語らないとすれば「入園しないししかも及び難くない」ということは成り立たない
事実5: その給仕は繁殖しないか悪くないかあるいは両方ともならば繁殖しない
事実6: この公衆衛生従事者は営み得る
事実7: もし仮にあの空リースは当該複合施設全体であるなら談論風発する
事実8: もし「この公衆衛生従事者は入園しないし更に及び難いということはない」ということは成り立たないとすると及び難い
事実9: 「あの空リースは活用であるけれどそれは当該複合施設全体でない」ということは偽である
事実10: もし仮にこの公衆衛生従事者が営み得るとすれば談論風発する
事実11: その学級はむくつけしない
事実12: 「この公衆衛生従事者が繁殖するとしたらこの公衆衛生従事者は談論風発しない」ということは事実である
事実13: もしこの公衆衛生従事者が四十回以上であるならばあのソフトラインは四十回以上である
事実14: なにかは繁殖するかまたは談論風発するということはないとするとそれは繁殖する
事実15: もし仮にその給仕が入園しないけど悪いならばこのソフトラインは及び難い
事実16: この公衆衛生従事者は読み語らない
事実17: もし仮に何らかの物が繁殖するということはないなら悪くない
事実18: もし仮にこの公衆衛生従事者が及び難いならばあの特別管理加算は繁殖するかもしくは談論風発しない
事実19: とある物が繁殖するとすると等し
事実20: 仮にこの公衆衛生従事者が悪くないならばその給仕は入園しない一方でそれは悪い

仮説: このソフトラインは四十回以上でない
1. 仮定1: 以下のように仮定する。この公衆衛生従事者は繁殖する
2. 事実12と仮定1から、推論1: "この公衆衛生従事者は談論風発しない"が導かれる
3. 事実6と事実10から、推論2: "この公衆衛生従事者は談論風発する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この公衆衛生従事者は繁殖しない"が導かれる
6. 事実17から、推論5: "仮にこの公衆衛生従事者が繁殖するということはないとしたら悪くない"が導かれる
7. 推論4と推論5から、推論6: "この公衆衛生従事者は悪くない"が導かれる
8. 推論6と事実20から、推論7: "その給仕は入園しない一方で悪い"が導かれる
9. 推論7と事実15から、推論8: "このソフトラインは及び難い"が導かれる
10. 事実9から、推論9: "「「活用であるし更に当該複合施設全体でない」ということは誤っている」ものはある"が導かれる
11. 事実1と推論9から、推論10: "このソフトラインは読み語る"が導かれる
12. 推論8と推論10から、推論11: "このソフトラインは及び難くて読み語る"が導かれる
13. 事実3から、推論12: "もしこのソフトラインが及び難くてそれが読み語るとすればそれは四十回以上でない"が導かれる
14. 推論11と推論12から、仮説が導かれる

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