もしもあの八海岸がたわいないとするとあの基本規格は素っ気ない
fact1: 「あの北イタリア両替商は証券投資だ」ということは真実である fact2: 「あの基本規格は証券投資であるし懐かし」ということは間違っている fact3: ある物が証券投資だとするとそれは素っ気ない fact4: あの八海岸がたわいないならば懐かし fact5: もし仮に「あるものは証券投資でないけれど懐かし」ということは事実でないとするとそれは素っ気ない fact6: あの八海岸は懐かしならば「あの基本規格は証券投資でないが懐かし」ということは成り立たない fact7: 仮にあの八海岸は懐かしとすれば「あの基本規格が証券投資だしそれは懐かし」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの八海岸はたわいない; fact4 & assump1 -> int1: あの八海岸は懐かし; int1 & fact6 -> int2: 「あの基本規格は証券投資でない一方でそれは懐かし」ということは誤りである; fact5 -> int3: 「「あの基本規格は証券投資でないけれど懐かし」ということは成り立つ」ということは事実と異なるとしたらそれは素っ気ない; int2 & int3 -> int4: あの基本規格は素っ気ない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あの北イタリア両替商は証券投資だ」ということは真実である fact2: 「あの基本規格は証券投資であるし懐かし」ということは間違っている fact3: ある物が証券投資だとするとそれは素っ気ない fact4: あの八海岸がたわいないならば懐かし fact5: もし仮に「あるものは証券投資でないけれど懐かし」ということは事実でないとするとそれは素っ気ない fact6: あの八海岸は懐かしならば「あの基本規格は証券投資でないが懐かし」ということは成り立たない fact7: 仮にあの八海岸は懐かしとすれば「あの基本規格が証券投資だしそれは懐かし」ということは事実と異なる ; $hypothesis$ = もしもあの八海岸がたわいないとするとあの基本規格は素っ気ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八海岸はたわいない; fact4 & assump1 -> int1: あの八海岸は懐かし; int1 & fact6 -> int2: 「あの基本規格は証券投資でない一方でそれは懐かし」ということは誤りである; fact5 -> int3: 「「あの基本規格は証券投資でないけれど懐かし」ということは成り立つ」ということは事実と異なるとしたらそれは素っ気ない; int2 & int3 -> int4: あの基本規格は素っ気ない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「あの北イタリア両替商は証券投資だ」ということは真実である
事実2: 「あの基本規格は証券投資であるし懐かし」ということは間違っている
事実3: ある物が証券投資だとするとそれは素っ気ない
事実4: あの八海岸がたわいないならば懐かし
事実5: もし仮に「あるものは証券投資でないけれど懐かし」ということは事実でないとするとそれは素っ気ない
事実6: あの八海岸は懐かしならば「あの基本規格は証券投資でないが懐かし」ということは成り立たない
事実7: 仮にあの八海岸は懐かしとすれば「あの基本規格が証券投資だしそれは懐かし」ということは事実と異なる

仮説: もしもあの八海岸がたわいないとするとあの基本規格は素っ気ない
1. 仮定1: 以下のように仮定する。あの八海岸はたわいない
2. 事実4と仮定1から、推論1: "あの八海岸は懐かし"が導かれる
3. 推論1と事実6から、推論2: "「あの基本規格は証券投資でない一方でそれは懐かし」ということは誤りである"が導かれる
4. 事実5から、推論3: "「「あの基本規格は証券投資でないけれど懐かし」ということは成り立つ」ということは事実と異なるとしたらそれは素っ気ない"が導かれる
5. 推論2と推論3から、推論4: "あの基本規格は素っ気ない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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