その一宗は膾炙するしその上代償する
fact1: もしも何らかのものが予選しないとするとそれは膾炙するしそれに検索する fact2: その一宗は対抗戦である fact3: その一宗は大日本国語辞典だし加えて関係機関である fact4: もしもこのハイブリッドが追撃するとすればそれは対抗戦だ fact5: その一宗は大安でない fact6: 仮にその一宗が巻き上がらないならさもしいし悪い fact7: あるものが対抗戦だとするとそれは代償する fact8: なんらかのものが予選しないなら検索する fact9: その一宗は騒々しくない fact10: この第三項は薄給であるしかつそれは代償する fact11: もし仮にその算数は予選するということはないなら「「その一宗は膾炙するしさらに代償する」ということは誤りでない」ということは偽である fact12: その一宗は検索する fact13: もしもその一宗が予選すればそれは大安だ fact14: もし「その一宗は代償する」ということは真実なら競り合う
void -> assump1: 以下のように仮定する。その一宗は予選する; fact13 & assump1 -> int1: その一宗は大安だ; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: その一宗は予選しない; fact1 -> int4: 仮にその一宗が予選しないとしたら膾炙するし検索する; int3 & int4 -> int5: その一宗は膾炙するしそれに検索する; int5 -> int6: 「その一宗は膾炙する」ということは成り立つ; fact7 -> int7: その一宗が対抗戦ならば代償する; fact2 & int7 -> int8: その一宗は代償する; int6 & int8 -> hypothesis;
「その一宗は膾炙するしさらに代償する」ということは間違いだ
$facts$ = fact1: もしも何らかのものが予選しないとするとそれは膾炙するしそれに検索する fact2: その一宗は対抗戦である fact3: その一宗は大日本国語辞典だし加えて関係機関である fact4: もしもこのハイブリッドが追撃するとすればそれは対抗戦だ fact5: その一宗は大安でない fact6: 仮にその一宗が巻き上がらないならさもしいし悪い fact7: あるものが対抗戦だとするとそれは代償する fact8: なんらかのものが予選しないなら検索する fact9: その一宗は騒々しくない fact10: この第三項は薄給であるしかつそれは代償する fact11: もし仮にその算数は予選するということはないなら「「その一宗は膾炙するしさらに代償する」ということは誤りでない」ということは偽である fact12: その一宗は検索する fact13: もしもその一宗が予選すればそれは大安だ fact14: もし「その一宗は代償する」ということは真実なら競り合う ; $hypothesis$ = その一宗は膾炙するしその上代償する ; $proof$ = 
void -> assump1: 以下のように仮定する。その一宗は予選する; fact13 & assump1 -> int1: その一宗は大安だ; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: その一宗は予選しない; fact1 -> int4: 仮にその一宗が予選しないとしたら膾炙するし検索する; int3 & int4 -> int5: その一宗は膾炙するしそれに検索する; int5 -> int6: 「その一宗は膾炙する」ということは成り立つ; fact7 -> int7: その一宗が対抗戦ならば代償する; fact2 & int7 -> int8: その一宗は代償する; int6 & int8 -> hypothesis; __PROVED__
事実1: もしも何らかのものが予選しないとするとそれは膾炙するしそれに検索する
事実2: その一宗は対抗戦である
事実3: その一宗は大日本国語辞典だし加えて関係機関である
事実4: もしもこのハイブリッドが追撃するとすればそれは対抗戦だ
事実5: その一宗は大安でない
事実6: 仮にその一宗が巻き上がらないならさもしいし悪い
事実7: あるものが対抗戦だとするとそれは代償する
事実8: なんらかのものが予選しないなら検索する
事実9: その一宗は騒々しくない
事実10: この第三項は薄給であるしかつそれは代償する
事実11: もし仮にその算数は予選するということはないなら「「その一宗は膾炙するしさらに代償する」ということは誤りでない」ということは偽である
事実12: その一宗は検索する
事実13: もしもその一宗が予選すればそれは大安だ
事実14: もし「その一宗は代償する」ということは真実なら競り合う

仮説: その一宗は膾炙するしその上代償する
1. 仮定1: 以下のように仮定する。その一宗は予選する
2. 事実13と仮定1から、推論1: "その一宗は大安だ"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その一宗は予選しない"が導かれる
5. 事実1から、推論4: "仮にその一宗が予選しないとしたら膾炙するし検索する"が導かれる
6. 推論3と推論4から、推論5: "その一宗は膾炙するしそれに検索する"が導かれる
7. 推論5から、推論6: "「その一宗は膾炙する」ということは成り立つ"が導かれる
8. 事実7から、推論7: "その一宗が対抗戦ならば代償する"が導かれる
9. 事実2と推論7から、推論8: "その一宗は代償する"が導かれる
10. 推論6と推論8から、仮説が導かれる

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