そのＪＡＳは意味深くない
fact1: もしも「この暈しはカウンターステアでないけど頷き合う」ということは成り立たないならそのＪＡＳは意味深い fact2: この英独仏は美し fact3: もしも「なにかは意味深いししかも昭和期だ」ということは偽なら「それは意味深くない」ということは成り立つ fact4: そのＪＡＳは頷き合う fact5: 仮にこの英独仏が毒々しいということはないしその上美しということはないとするとそれは昭和期でない fact6: この英独仏は毒々しかない fact7: この英独仏は美しとすると「この暈しはカウンターステアでない一方で頷き合う」ということは偽である
fact7 & fact2 -> int1: 「この暈しはカウンターステアでないけれど頷き合う」ということは成り立つということはない; int1 & fact1 -> hypothesis;
「そのＪＡＳは意味深くない」ということは真実である
fact9 -> int2: 仮に「そのＪＡＳは意味深くて昭和期だ」ということは事実と異なれば「それは意味深くない」ということは本当である;
$facts$ = fact1: もしも「この暈しはカウンターステアでないけど頷き合う」ということは成り立たないならそのＪＡＳは意味深い fact2: この英独仏は美し fact3: もしも「なにかは意味深いししかも昭和期だ」ということは偽なら「それは意味深くない」ということは成り立つ fact4: そのＪＡＳは頷き合う fact5: 仮にこの英独仏が毒々しいということはないしその上美しということはないとするとそれは昭和期でない fact6: この英独仏は毒々しかない fact7: この英独仏は美しとすると「この暈しはカウンターステアでない一方で頷き合う」ということは偽である ; $hypothesis$ = そのＪＡＳは意味深くない ; $proof$ = 
fact7 & fact2 -> int1: 「この暈しはカウンターステアでないけれど頷き合う」ということは成り立つということはない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「この暈しはカウンターステアでないけど頷き合う」ということは成り立たないならそのＪＡＳは意味深い
事実2: この英独仏は美し
事実3: もしも「なにかは意味深いししかも昭和期だ」ということは偽なら「それは意味深くない」ということは成り立つ
事実4: そのＪＡＳは頷き合う
事実5: 仮にこの英独仏が毒々しいということはないしその上美しということはないとするとそれは昭和期でない
事実6: この英独仏は毒々しかない
事実7: この英独仏は美しとすると「この暈しはカウンターステアでない一方で頷き合う」ということは偽である

仮説: そのＪＡＳは意味深くない
1. 事実7と事実2から、推論1: "「この暈しはカウンターステアでないけれど頷き合う」ということは成り立つということはない"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。