この商事法務研究会は考うない
fact1: その絶対多数は打診するしかつそれは挫ける fact2: この商事法務研究会は超越する fact3: この商事法務研究会は考うないとすれば「そのビヨンドは引き寄せないかあるいは超越しないか両方ともだ」ということは事実である fact4: もしこの商事法務研究会は打診するとすれば「その制度変更は打診する」ということは事実だ fact5: もしその絶対多数が忠実忠実しいならばこの商事法務研究会は打診する fact6: もし仮にそのビヨンドが引き寄せないかまたはそれが超越しないかもしくは両方だとすればその絶対多数は合唱する fact7: もしその絶対多数が打診するしさらに挫けるとしたら合唱するということはない fact8: その絶対多数は忠実忠実しいかまたは哀れっぽいかまたはどちらもだ
void -> assump1: 以下のように仮定する。この商事法務研究会は考うない; fact3 & assump1 -> int1: そのビヨンドは引き寄せないかあるいは超越しないかもしくは両方ともである; int1 & fact6 -> int2: その絶対多数は合唱する; fact1 & fact7 -> int3: その絶対多数は合唱しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その制度変更は打診するしまたそれはビジネスマナーだ
$facts$ = fact1: その絶対多数は打診するしかつそれは挫ける fact2: この商事法務研究会は超越する fact3: この商事法務研究会は考うないとすれば「そのビヨンドは引き寄せないかあるいは超越しないか両方ともだ」ということは事実である fact4: もしこの商事法務研究会は打診するとすれば「その制度変更は打診する」ということは事実だ fact5: もしその絶対多数が忠実忠実しいならばこの商事法務研究会は打診する fact6: もし仮にそのビヨンドが引き寄せないかまたはそれが超越しないかもしくは両方だとすればその絶対多数は合唱する fact7: もしその絶対多数が打診するしさらに挫けるとしたら合唱するということはない fact8: その絶対多数は忠実忠実しいかまたは哀れっぽいかまたはどちらもだ ; $hypothesis$ = この商事法務研究会は考うない ; $proof$ = 
void -> assump1: 以下のように仮定する。この商事法務研究会は考うない; fact3 & assump1 -> int1: そのビヨンドは引き寄せないかあるいは超越しないかもしくは両方ともである; int1 & fact6 -> int2: その絶対多数は合唱する; fact1 & fact7 -> int3: その絶対多数は合唱しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その絶対多数は打診するしかつそれは挫ける
事実2: この商事法務研究会は超越する
事実3: この商事法務研究会は考うないとすれば「そのビヨンドは引き寄せないかあるいは超越しないか両方ともだ」ということは事実である
事実4: もしこの商事法務研究会は打診するとすれば「その制度変更は打診する」ということは事実だ
事実5: もしその絶対多数が忠実忠実しいならばこの商事法務研究会は打診する
事実6: もし仮にそのビヨンドが引き寄せないかまたはそれが超越しないかもしくは両方だとすればその絶対多数は合唱する
事実7: もしその絶対多数が打診するしさらに挫けるとしたら合唱するということはない
事実8: その絶対多数は忠実忠実しいかまたは哀れっぽいかまたはどちらもだ

仮説: この商事法務研究会は考うない
1. 仮定1: 以下のように仮定する。この商事法務研究会は考うない
2. 事実3と仮定1から、推論1: "そのビヨンドは引き寄せないかあるいは超越しないかもしくは両方ともである"が導かれる
3. 推論1と事実6から、推論2: "その絶対多数は合唱する"が導かれる
4. 事実1と事実7から、推論3: "その絶対多数は合唱しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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