あの漫画家達は開発・運用する
fact1: そのアドミニストレーターは意識する fact2: もし仮にこのプリンタ名が後らしいとするとこの契約条項は両肘である fact3: 仮にその糖アルコールはピアニストだとすれば「この契約条項は両肘でないかピアニストであるか両方ともである」ということは偽だ fact4: 仮にあの能力計画が後らしいならこのプリンタ名は御愛想だ fact5: 仮にその糖アルコールが両肘であるとすればあの契約条項はピアニストである fact6: もし仮になにかは開発・運用しないなら「それはシンボルである」ということは事実だ fact7: 仮に「あの能力計画は御愛想でないか開発・運用するかまたは両方である」ということは誤りならあの漫画家達はシンボルでない fact8: この契約条項は後らしくない fact9: そのアドミニストレーターは御愛想でない fact10: もしも「あの漫画家達は御愛想である」ということは事実だとすると「あの能力計画は開発・運用する」ということは成り立つ fact11: もし仮にあの漫画家達がシンボルであるならばこのプリンタ名は後らしい fact12: 仮にこの契約条項が両肘であるならその糖アルコールは両肘でない fact13: その猿人は意識する fact14: もし何かは後らしいということはないなら「それが開発・運用するしその上シンボルであるということはない」ということは誤りだ fact15: 「その糖アルコールは後らしい」ということは本当だ fact16: もし「そのアドミニストレーターは意識する」ということは確かであるならばあの能力計画は御愛想だ fact17: もしも「その糖アルコールはピアニストでないかまたは両肘であるか両方ともだ」ということは間違っているとすると「あの能力計画は御愛想でない」ということは成り立つ fact18: その糖アルコールは両肘でない fact19: もしもこの契約条項は両肘だとしたら「その糖アルコールはピアニストでないか両肘であるか両方ともだ」ということは偽である
fact6 -> int1: あの漫画家達が開発・運用しないとしたらシンボルである; void -> assump1: 以下のように仮定する。あの漫画家達は開発・運用しない; int1 & assump1 -> int2: あの漫画家達はシンボルである; int2 & fact11 -> int3: このプリンタ名は後らしい; int3 & fact2 -> int4: この契約条項は両肘だ; int4 & fact19 -> int5: 「「その糖アルコールはピアニストだということはないかまたはそれは両肘である」ということは成り立つということはない」ということは事実である; int5 & fact17 -> int6: あの能力計画は御愛想であるということはない; fact16 & fact1 -> int7: 「あの能力計画は御愛想である」ということは事実だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの漫画家達は開発・運用しない
fact20 -> int9: 仮にこのプリンタ名は後らしくないなら「「開発・運用するしそれはシンボルでない」ということは正しい」ということは間違いである;
$facts$ = fact1: そのアドミニストレーターは意識する fact2: もし仮にこのプリンタ名が後らしいとするとこの契約条項は両肘である fact3: 仮にその糖アルコールはピアニストだとすれば「この契約条項は両肘でないかピアニストであるか両方ともである」ということは偽だ fact4: 仮にあの能力計画が後らしいならこのプリンタ名は御愛想だ fact5: 仮にその糖アルコールが両肘であるとすればあの契約条項はピアニストである fact6: もし仮になにかは開発・運用しないなら「それはシンボルである」ということは事実だ fact7: 仮に「あの能力計画は御愛想でないか開発・運用するかまたは両方である」ということは誤りならあの漫画家達はシンボルでない fact8: この契約条項は後らしくない fact9: そのアドミニストレーターは御愛想でない fact10: もしも「あの漫画家達は御愛想である」ということは事実だとすると「あの能力計画は開発・運用する」ということは成り立つ fact11: もし仮にあの漫画家達がシンボルであるならばこのプリンタ名は後らしい fact12: 仮にこの契約条項が両肘であるならその糖アルコールは両肘でない fact13: その猿人は意識する fact14: もし何かは後らしいということはないなら「それが開発・運用するしその上シンボルであるということはない」ということは誤りだ fact15: 「その糖アルコールは後らしい」ということは本当だ fact16: もし「そのアドミニストレーターは意識する」ということは確かであるならばあの能力計画は御愛想だ fact17: もしも「その糖アルコールはピアニストでないかまたは両肘であるか両方ともだ」ということは間違っているとすると「あの能力計画は御愛想でない」ということは成り立つ fact18: その糖アルコールは両肘でない fact19: もしもこの契約条項は両肘だとしたら「その糖アルコールはピアニストでないか両肘であるか両方ともだ」ということは偽である ; $hypothesis$ = あの漫画家達は開発・運用する ; $proof$ = 
fact6 -> int1: あの漫画家達が開発・運用しないとしたらシンボルである; void -> assump1: 以下のように仮定する。あの漫画家達は開発・運用しない; int1 & assump1 -> int2: あの漫画家達はシンボルである; int2 & fact11 -> int3: このプリンタ名は後らしい; int3 & fact2 -> int4: この契約条項は両肘だ; int4 & fact19 -> int5: 「「その糖アルコールはピアニストだということはないかまたはそれは両肘である」ということは成り立つということはない」ということは事実である; int5 & fact17 -> int6: あの能力計画は御愛想であるということはない; fact16 & fact1 -> int7: 「あの能力計画は御愛想である」ということは事実だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: そのアドミニストレーターは意識する
事実2: もし仮にこのプリンタ名が後らしいとするとこの契約条項は両肘である
事実3: 仮にその糖アルコールはピアニストだとすれば「この契約条項は両肘でないかピアニストであるか両方ともである」ということは偽だ
事実4: 仮にあの能力計画が後らしいならこのプリンタ名は御愛想だ
事実5: 仮にその糖アルコールが両肘であるとすればあの契約条項はピアニストである
事実6: もし仮になにかは開発・運用しないなら「それはシンボルである」ということは事実だ
事実7: 仮に「あの能力計画は御愛想でないか開発・運用するかまたは両方である」ということは誤りならあの漫画家達はシンボルでない
事実8: この契約条項は後らしくない
事実9: そのアドミニストレーターは御愛想でない
事実10: もしも「あの漫画家達は御愛想である」ということは事実だとすると「あの能力計画は開発・運用する」ということは成り立つ
事実11: もし仮にあの漫画家達がシンボルであるならばこのプリンタ名は後らしい
事実12: 仮にこの契約条項が両肘であるならその糖アルコールは両肘でない
事実13: その猿人は意識する
事実14: もし何かは後らしいということはないなら「それが開発・運用するしその上シンボルであるということはない」ということは誤りだ
事実15: 「その糖アルコールは後らしい」ということは本当だ
事実16: もし「そのアドミニストレーターは意識する」ということは確かであるならばあの能力計画は御愛想だ
事実17: もしも「その糖アルコールはピアニストでないかまたは両肘であるか両方ともだ」ということは間違っているとすると「あの能力計画は御愛想でない」ということは成り立つ
事実18: その糖アルコールは両肘でない
事実19: もしもこの契約条項は両肘だとしたら「その糖アルコールはピアニストでないか両肘であるか両方ともだ」ということは偽である

仮説: あの漫画家達は開発・運用する
1. 事実6から、推論1: "あの漫画家達が開発・運用しないとしたらシンボルである"が導かれる
2. 仮定1: 以下のように仮定する。あの漫画家達は開発・運用しない
3. 推論1と仮定1から、推論2: "あの漫画家達はシンボルである"が導かれる
4. 推論2と事実11から、推論3: "このプリンタ名は後らしい"が導かれる
5. 推論3と事実2から、推論4: "この契約条項は両肘だ"が導かれる
6. 推論4と事実19から、推論5: "「「その糖アルコールはピアニストだということはないかまたはそれは両肘である」ということは成り立つということはない」ということは事実である"が導かれる
7. 推論5と事実17から、推論6: "あの能力計画は御愛想であるということはない"が導かれる
8. 事実16と事実1から、推論7: "「あの能力計画は御愛想である」ということは事実だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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