あのアメリカ使節は御送りしない
fact1: そのプリントアウトは避け得る fact2: あの債券ポートフォリオは負担出来る fact3: もし仮に「その雑学辞典は運送するかあるいは水臭くない」ということは成り立たないとするとあの債券ポートフォリオは運送する fact4: 仮にある物が取れ易いとすればそれは避け得るかイタリア知識人であるということはない fact5: 「その雑学辞典は避け得る」ということは真実であるならば水臭い fact6: あのアメリカ使節は水臭い fact7: あの債券ポートフォリオが避け得るかイタリア知識人であるということはないならばあのアメリカ使節は避け得ない fact8: もし「なにがしかのものは対面所でないしその上取れ易いない」ということは成り立たないならば取れ易い fact9: その雑学辞典は避け得る fact10: 「あの債券ポートフォリオは快いということはない」ということは正しいとするとあのアメリカ使節は御送りしない fact11: もしとある物は避け得るなら「それは御送りする」ということは本当である fact12: あの債券ポートフォリオは御送りする fact13: 「あの債券ポートフォリオは負担出来るが快くない」ということは成り立たないとすればその雑学辞典は水臭くない fact14: 「「共存し得る」ということは事実である」ものはある fact15: もし仮に「あの債券ポートフォリオは避け得る一方で負担出来ない」ということは成り立たないならその雑学辞典は快くない fact16: あの債券ポートフォリオは避け得ない fact17: この門徒は避け得ない
void -> assump1: 以下のように仮定する。「「あの債券ポートフォリオは負担出来る一方で快いということはない」ということは本当だ」ということは事実と異なる; fact13 & assump1 -> int1: その雑学辞典は水臭くない; fact5 & fact9 -> int2: その雑学辞典は水臭い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの債券ポートフォリオは負担出来るが快くない; int4 -> int5: あの債券ポートフォリオは快くない; int5 & fact10 -> hypothesis;
あのアメリカ使節は御送りする
fact19 -> int6: 仮にあの債券ポートフォリオが取れ易いとしたらそれは避け得るかイタリア知識人でないかあるいは両方ともである; fact18 -> int7: 「あの債券ポートフォリオは対面所でなくて取れ易くない」ということは事実でないなら取れ易い;
$facts$ = fact1: そのプリントアウトは避け得る fact2: あの債券ポートフォリオは負担出来る fact3: もし仮に「その雑学辞典は運送するかあるいは水臭くない」ということは成り立たないとするとあの債券ポートフォリオは運送する fact4: 仮にある物が取れ易いとすればそれは避け得るかイタリア知識人であるということはない fact5: 「その雑学辞典は避け得る」ということは真実であるならば水臭い fact6: あのアメリカ使節は水臭い fact7: あの債券ポートフォリオが避け得るかイタリア知識人であるということはないならばあのアメリカ使節は避け得ない fact8: もし「なにがしかのものは対面所でないしその上取れ易いない」ということは成り立たないならば取れ易い fact9: その雑学辞典は避け得る fact10: 「あの債券ポートフォリオは快いということはない」ということは正しいとするとあのアメリカ使節は御送りしない fact11: もしとある物は避け得るなら「それは御送りする」ということは本当である fact12: あの債券ポートフォリオは御送りする fact13: 「あの債券ポートフォリオは負担出来るが快くない」ということは成り立たないとすればその雑学辞典は水臭くない fact14: 「「共存し得る」ということは事実である」ものはある fact15: もし仮に「あの債券ポートフォリオは避け得る一方で負担出来ない」ということは成り立たないならその雑学辞典は快くない fact16: あの債券ポートフォリオは避け得ない fact17: この門徒は避け得ない ; $hypothesis$ = あのアメリカ使節は御送りしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの債券ポートフォリオは負担出来る一方で快いということはない」ということは本当だ」ということは事実と異なる; fact13 & assump1 -> int1: その雑学辞典は水臭くない; fact5 & fact9 -> int2: その雑学辞典は水臭い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの債券ポートフォリオは負担出来るが快くない; int4 -> int5: あの債券ポートフォリオは快くない; int5 & fact10 -> hypothesis; __PROVED__
事実1: そのプリントアウトは避け得る
事実2: あの債券ポートフォリオは負担出来る
事実3: もし仮に「その雑学辞典は運送するかあるいは水臭くない」ということは成り立たないとするとあの債券ポートフォリオは運送する
事実4: 仮にある物が取れ易いとすればそれは避け得るかイタリア知識人であるということはない
事実5: 「その雑学辞典は避け得る」ということは真実であるならば水臭い
事実6: あのアメリカ使節は水臭い
事実7: あの債券ポートフォリオが避け得るかイタリア知識人であるということはないならばあのアメリカ使節は避け得ない
事実8: もし「なにがしかのものは対面所でないしその上取れ易いない」ということは成り立たないならば取れ易い
事実9: その雑学辞典は避け得る
事実10: 「あの債券ポートフォリオは快いということはない」ということは正しいとするとあのアメリカ使節は御送りしない
事実11: もしとある物は避け得るなら「それは御送りする」ということは本当である
事実12: あの債券ポートフォリオは御送りする
事実13: 「あの債券ポートフォリオは負担出来るが快くない」ということは成り立たないとすればその雑学辞典は水臭くない
事実14: 「「共存し得る」ということは事実である」ものはある
事実15: もし仮に「あの債券ポートフォリオは避け得る一方で負担出来ない」ということは成り立たないならその雑学辞典は快くない
事実16: あの債券ポートフォリオは避け得ない
事実17: この門徒は避け得ない

仮説: あのアメリカ使節は御送りしない
1. 仮定1: 以下のように仮定する。「「あの債券ポートフォリオは負担出来る一方で快いということはない」ということは本当だ」ということは事実と異なる
2. 事実13と仮定1から、推論1: "その雑学辞典は水臭くない"が導かれる
3. 事実5と事実9から、推論2: "その雑学辞典は水臭い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの債券ポートフォリオは負担出来るが快くない"が導かれる
6. 推論4から、推論5: "あの債券ポートフォリオは快くない"が導かれる
7. 推論5と事実10から、仮説が導かれる

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