「その崖っ縁は調節し易くないしまた辰でない」ということは成り立たない
fact1: 仮にあの鉄道会社が調節し易いとすればその崖っ縁は調節し易くないしかつ辰でない fact2: 「あの第一号店はアメリカらしい」ということは正しい fact3: もしあの鉄道会社が調節し易いとするとその崖っ縁は辰だということはない fact4: その崖っ縁は持て余すしまたアメリカらしい fact5: その崖っ縁は辰でない fact6: その崖っ縁は成り易くないしその上容易いない fact7: 「あの鉄道会社は辰である」ということは成り立つとするとその崖っ縁は辰でなくてまたアメリカらしくない fact8: この国本は潔くない fact9: もし仮になにかは受け付けるとすれば辰であるがしかし中小企業等協同組合法でない fact10: あの鉄道会社は発刊する fact11: もしもこの国本は潔くないとすると「その崖っ縁は双子火炎だということはないし更に他愛無いということはない」ということは成り立たない fact12: あの鉄道会社はアメリカらしい fact13: もしも「「双子火炎でないし他愛無くない」ということは成り立たない」ものはあるなら「あの鉄道会社は罹り易くない」ということは確かだ fact14: 仮にとあるものが中小企業等協同組合法でないとすればそれは調節し易くてまたそれはアメリカらしい fact15: あの鉄道会社は調節し易いし加えてアメリカらしい fact16: もしも「あの鉄道会社は向かさないがしかしそれは賞罰だ」ということは成り立たないならばあの計算高さは受け付ける fact17: 「そのコルポスコープは辰であるしそれは相互関連する」ということは成り立つ fact18: 仮にとあるものは罹り易くないとすると「向かさないしさらに賞罰である」ということは間違っている
fact15 -> int1: あの鉄道会社は調節し易い; int1 & fact1 -> hypothesis;
その計算高さはアメリカらしい
fact24 -> int2: 仮にその計算高さが中小企業等協同組合法でないとすれば調節し易くてアメリカらしい; fact19 -> int3: もしもその計算高さが受け付けるとすればそれは辰であるしそれに中小企業等協同組合法であるということはない; fact20 -> int4: もし仮にあの鉄道会社は罹り易くないとしたら「向かすということはないしさらに賞罰だ」ということは成り立たない; fact25 & fact21 -> int5: 「その崖っ縁は双子火炎でないしその上他愛無くない」ということは偽だ; int5 -> int6: 「「双子火炎でないしそれに他愛無くない」ということは成り立たない」物はある; int6 & fact23 -> int7: あの鉄道会社は罹り易いということはない; int4 & int7 -> int8: 「あの鉄道会社は向かさないけど賞罰である」ということは成り立たない; fact22 & int8 -> int9: その計算高さは受け付ける; int3 & int9 -> int10: その計算高さは辰であるけれど中小企業等協同組合法でない; int10 -> int11: その計算高さは中小企業等協同組合法でない; int2 & int11 -> int12: その計算高さは調節し易いしまたアメリカらしい; int12 -> hypothesis;
$facts$ = fact1: 仮にあの鉄道会社が調節し易いとすればその崖っ縁は調節し易くないしかつ辰でない fact2: 「あの第一号店はアメリカらしい」ということは正しい fact3: もしあの鉄道会社が調節し易いとするとその崖っ縁は辰だということはない fact4: その崖っ縁は持て余すしまたアメリカらしい fact5: その崖っ縁は辰でない fact6: その崖っ縁は成り易くないしその上容易いない fact7: 「あの鉄道会社は辰である」ということは成り立つとするとその崖っ縁は辰でなくてまたアメリカらしくない fact8: この国本は潔くない fact9: もし仮になにかは受け付けるとすれば辰であるがしかし中小企業等協同組合法でない fact10: あの鉄道会社は発刊する fact11: もしもこの国本は潔くないとすると「その崖っ縁は双子火炎だということはないし更に他愛無いということはない」ということは成り立たない fact12: あの鉄道会社はアメリカらしい fact13: もしも「「双子火炎でないし他愛無くない」ということは成り立たない」ものはあるなら「あの鉄道会社は罹り易くない」ということは確かだ fact14: 仮にとあるものが中小企業等協同組合法でないとすればそれは調節し易くてまたそれはアメリカらしい fact15: あの鉄道会社は調節し易いし加えてアメリカらしい fact16: もしも「あの鉄道会社は向かさないがしかしそれは賞罰だ」ということは成り立たないならばあの計算高さは受け付ける fact17: 「そのコルポスコープは辰であるしそれは相互関連する」ということは成り立つ fact18: 仮にとあるものは罹り易くないとすると「向かさないしさらに賞罰である」ということは間違っている ; $hypothesis$ = 「その崖っ縁は調節し易くないしまた辰でない」ということは成り立たない ; $proof$ = 
fact15 -> int1: あの鉄道会社は調節し易い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの鉄道会社が調節し易いとすればその崖っ縁は調節し易くないしかつ辰でない
事実2: 「あの第一号店はアメリカらしい」ということは正しい
事実3: もしあの鉄道会社が調節し易いとするとその崖っ縁は辰だということはない
事実4: その崖っ縁は持て余すしまたアメリカらしい
事実5: その崖っ縁は辰でない
事実6: その崖っ縁は成り易くないしその上容易いない
事実7: 「あの鉄道会社は辰である」ということは成り立つとするとその崖っ縁は辰でなくてまたアメリカらしくない
事実8: この国本は潔くない
事実9: もし仮になにかは受け付けるとすれば辰であるがしかし中小企業等協同組合法でない
事実10: あの鉄道会社は発刊する
事実11: もしもこの国本は潔くないとすると「その崖っ縁は双子火炎だということはないし更に他愛無いということはない」ということは成り立たない
事実12: あの鉄道会社はアメリカらしい
事実13: もしも「「双子火炎でないし他愛無くない」ということは成り立たない」ものはあるなら「あの鉄道会社は罹り易くない」ということは確かだ
事実14: 仮にとあるものが中小企業等協同組合法でないとすればそれは調節し易くてまたそれはアメリカらしい
事実15: あの鉄道会社は調節し易いし加えてアメリカらしい
事実16: もしも「あの鉄道会社は向かさないがしかしそれは賞罰だ」ということは成り立たないならばあの計算高さは受け付ける
事実17: 「そのコルポスコープは辰であるしそれは相互関連する」ということは成り立つ
事実18: 仮にとあるものは罹り易くないとすると「向かさないしさらに賞罰である」ということは間違っている

仮説: 「その崖っ縁は調節し易くないしまた辰でない」ということは成り立たない
1. 事実15から、推論1: "あの鉄道会社は調節し易い"が導かれる
2. 推論1と事実1から、仮説が否定される

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