もしこの許容範囲内は円刃刀であるとしたら「この進学先は思い易い」ということは確かだ
fact1: 仮にこの許容範囲内が対立するとするとそのロシア国民は薄くないし思い易くない fact2: この進学先は円刃刀だ fact3: もしもこの許容範囲内が薄いとしたらこの進学先は思い易い fact4: この進学先が円刃刀だとしたらこの許容範囲内は思い易い fact5: あるものが対立するかそれが扱い易くないなら対立する fact6: あの送り先は円刃刀だ fact7: もしも何らかの物が複雑過ぎないならばこの許容範囲内は対立するかまたはそれは扱い易くない fact8: もしもあの増加が思い易くないならばそれは円刃刀であるしかつ薄い fact9: もしなんらかのものが懐胎するならそれはテーブルだ fact10: もしこの許容範囲内が思い易いとすればこの進学先は薄い fact11: 「この書法は思い易いということはない」ということは嘘だ fact12: 薄くないしまた思い易くないものは円刃刀であるということはない fact13: もしもこの許容範囲内が複雑過ぎないがそれが思い易いとすればあの増加は思い易いということはない fact14: テーブルは浸り切らないし加えて停電しない fact15: 仮にこの許容範囲内は円刃刀だとすれば「それは薄い」ということは事実である fact16: この来店者は懐胎する fact17: 仮になんらかの物が浸り切らないし更に停電しないとするとこの進学先は複雑過ぎない
void -> assump1: 以下のように仮定する。この許容範囲内は円刃刀である; fact15 & assump1 -> int1: この許容範囲内は薄い; int1 & fact3 -> int2: この進学先は思い易い; [assump1] & int2 -> hypothesis;
そのロシア国民は円刃刀である
fact22 -> int3: 「もしそのロシア国民が薄くないししかもそれが思い易くないとすればそのロシア国民は円刃刀だ」ということは確かである; fact20 -> int4: もしもこの許容範囲内は対立するかもしくは扱い易くないとすれば対立する; fact18 -> int5: もしこの来店者がテーブルだとすればそれは浸り切らなくてまたそれは停電しない; fact24 -> int6: 仮にこの来店者が懐胎するとするとそれはテーブルだ; int6 & fact23 -> int7: 「この来店者はテーブルである」ということは真実だ; int5 & int7 -> int8: この来店者は浸り切らなくて停電しない; int8 -> int9: 「浸り切らなくて停電するということはない」ものはある; int9 & fact21 -> int10: この進学先は複雑過ぎない; int10 -> int11: とある物は複雑過ぎるということはない; int11 & fact25 -> int12: この許容範囲内は対立するかまたは扱い易くないかまたは両方ともだ; int4 & int12 -> int13: この許容範囲内は対立する; fact19 & int13 -> int14: そのロシア国民は薄いということはないしその上思い易いない; int3 & int14 -> hypothesis;
$facts$ = fact1: 仮にこの許容範囲内が対立するとするとそのロシア国民は薄くないし思い易くない fact2: この進学先は円刃刀だ fact3: もしもこの許容範囲内が薄いとしたらこの進学先は思い易い fact4: この進学先が円刃刀だとしたらこの許容範囲内は思い易い fact5: あるものが対立するかそれが扱い易くないなら対立する fact6: あの送り先は円刃刀だ fact7: もしも何らかの物が複雑過ぎないならばこの許容範囲内は対立するかまたはそれは扱い易くない fact8: もしもあの増加が思い易くないならばそれは円刃刀であるしかつ薄い fact9: もしなんらかのものが懐胎するならそれはテーブルだ fact10: もしこの許容範囲内が思い易いとすればこの進学先は薄い fact11: 「この書法は思い易いということはない」ということは嘘だ fact12: 薄くないしまた思い易くないものは円刃刀であるということはない fact13: もしもこの許容範囲内が複雑過ぎないがそれが思い易いとすればあの増加は思い易いということはない fact14: テーブルは浸り切らないし加えて停電しない fact15: 仮にこの許容範囲内は円刃刀だとすれば「それは薄い」ということは事実である fact16: この来店者は懐胎する fact17: 仮になんらかの物が浸り切らないし更に停電しないとするとこの進学先は複雑過ぎない ; $hypothesis$ = もしこの許容範囲内は円刃刀であるとしたら「この進学先は思い易い」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この許容範囲内は円刃刀である; fact15 & assump1 -> int1: この許容範囲内は薄い; int1 & fact3 -> int2: この進学先は思い易い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの許容範囲内が対立するとするとそのロシア国民は薄くないし思い易くない
事実2: この進学先は円刃刀だ
事実3: もしもこの許容範囲内が薄いとしたらこの進学先は思い易い
事実4: この進学先が円刃刀だとしたらこの許容範囲内は思い易い
事実5: あるものが対立するかそれが扱い易くないなら対立する
事実6: あの送り先は円刃刀だ
事実7: もしも何らかの物が複雑過ぎないならばこの許容範囲内は対立するかまたはそれは扱い易くない
事実8: もしもあの増加が思い易くないならばそれは円刃刀であるしかつ薄い
事実9: もしなんらかのものが懐胎するならそれはテーブルだ
事実10: もしこの許容範囲内が思い易いとすればこの進学先は薄い
事実11: 「この書法は思い易いということはない」ということは嘘だ
事実12: 薄くないしまた思い易くないものは円刃刀であるということはない
事実13: もしもこの許容範囲内が複雑過ぎないがそれが思い易いとすればあの増加は思い易いということはない
事実14: テーブルは浸り切らないし加えて停電しない
事実15: 仮にこの許容範囲内は円刃刀だとすれば「それは薄い」ということは事実である
事実16: この来店者は懐胎する
事実17: 仮になんらかの物が浸り切らないし更に停電しないとするとこの進学先は複雑過ぎない

仮説: もしこの許容範囲内は円刃刀であるとしたら「この進学先は思い易い」ということは確かだ
1. 仮定1: 以下のように仮定する。この許容範囲内は円刃刀である
2. 事実15と仮定1から、推論1: "この許容範囲内は薄い"が導かれる
3. 推論1と事実3から、推論2: "この進学先は思い易い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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