この寝台特急は握り易い
fact1: もしあの子女が枯渇するとするとそれは来朝する fact2: 仮に「なにがしかのものは鄙びるが内臓脂肪でない」ということは成り立つということはないならばそれは鄙びない fact3: もし仮にこの寝台特急は握り易いならば「それは夏らしい」ということは本当だ fact4: あるものが鄙びないならば父親らしくないしそれは承知致す fact5: もしこの寝台特急が夏らしいならばその中沼了三先生講書は承知致す fact6: もし仮にその中沼了三先生講書が父親らしくない一方で承知致すとするとこの寝台特急は夏らしくない fact7: もし仮にある物が来朝するとするとその地鳴りは内臓脂肪であるし推断する fact8: 仮にあの子女が身軽いなら来朝する fact9: もしもあの子女は選択し易くないとすると身軽いかあるいは枯渇するか両方ともである fact10: 「鄙びるがしかし父親らしくない」ものはある fact11: もしもとある物が鄙びるがしかし父親らしくないとすると「その中沼了三先生講書は承知致さない」ということは事実だ fact12: その中沼了三先生講書は鄙びる fact13: あの子女は選択し易くない
void -> assump1: 以下のように仮定する。この寝台特急は握り易い; fact3 & assump1 -> int1: この寝台特急は夏らしい; int1 & fact5 -> int2: その中沼了三先生講書は承知致す; fact11 & fact10 -> int3: その中沼了三先生講書は承知致すということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この寝台特急は握り易い
fact17 -> int5: もしもその中沼了三先生講書が鄙びないとするとそれは父親らしくないししかも承知致す; fact21 -> int6: 仮に「その中沼了三先生講書は鄙びるがしかしそれは内臓脂肪だということはない」ということは成り立たないならばそれは鄙びない; fact14 & fact20 -> int7: あの子女は身軽いかまたは枯渇するかまたは両方ともだ; int7 & fact19 & fact16 -> int8: あの子女は来朝する; int8 -> int9: 「来朝する」ものはある; int9 & fact18 -> int10: その地鳴りは内臓脂肪であるしおまけに推断する; int10 -> int11: その地鳴りは内臓脂肪だ; int11 -> int12: 何かは内臓脂肪である;
$facts$ = fact1: もしあの子女が枯渇するとするとそれは来朝する fact2: 仮に「なにがしかのものは鄙びるが内臓脂肪でない」ということは成り立つということはないならばそれは鄙びない fact3: もし仮にこの寝台特急は握り易いならば「それは夏らしい」ということは本当だ fact4: あるものが鄙びないならば父親らしくないしそれは承知致す fact5: もしこの寝台特急が夏らしいならばその中沼了三先生講書は承知致す fact6: もし仮にその中沼了三先生講書が父親らしくない一方で承知致すとするとこの寝台特急は夏らしくない fact7: もし仮にある物が来朝するとするとその地鳴りは内臓脂肪であるし推断する fact8: 仮にあの子女が身軽いなら来朝する fact9: もしもあの子女は選択し易くないとすると身軽いかあるいは枯渇するか両方ともである fact10: 「鄙びるがしかし父親らしくない」ものはある fact11: もしもとある物が鄙びるがしかし父親らしくないとすると「その中沼了三先生講書は承知致さない」ということは事実だ fact12: その中沼了三先生講書は鄙びる fact13: あの子女は選択し易くない ; $hypothesis$ = この寝台特急は握り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この寝台特急は握り易い; fact3 & assump1 -> int1: この寝台特急は夏らしい; int1 & fact5 -> int2: その中沼了三先生講書は承知致す; fact11 & fact10 -> int3: その中沼了三先生講書は承知致すということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしあの子女が枯渇するとするとそれは来朝する
事実2: 仮に「なにがしかのものは鄙びるが内臓脂肪でない」ということは成り立つということはないならばそれは鄙びない
事実3: もし仮にこの寝台特急は握り易いならば「それは夏らしい」ということは本当だ
事実4: あるものが鄙びないならば父親らしくないしそれは承知致す
事実5: もしこの寝台特急が夏らしいならばその中沼了三先生講書は承知致す
事実6: もし仮にその中沼了三先生講書が父親らしくない一方で承知致すとするとこの寝台特急は夏らしくない
事実7: もし仮にある物が来朝するとするとその地鳴りは内臓脂肪であるし推断する
事実8: 仮にあの子女が身軽いなら来朝する
事実9: もしもあの子女は選択し易くないとすると身軽いかあるいは枯渇するか両方ともである
事実10: 「鄙びるがしかし父親らしくない」ものはある
事実11: もしもとある物が鄙びるがしかし父親らしくないとすると「その中沼了三先生講書は承知致さない」ということは事実だ
事実12: その中沼了三先生講書は鄙びる
事実13: あの子女は選択し易くない

仮説: この寝台特急は握り易い
1. 仮定1: 以下のように仮定する。この寝台特急は握り易い
2. 事実3と仮定1から、推論1: "この寝台特急は夏らしい"が導かれる
3. 推論1と事実5から、推論2: "その中沼了三先生講書は承知致す"が導かれる
4. 事実11と事実10から、推論3: "その中沼了三先生講書は承知致すということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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