この劫ちゃんは晴々しい
fact1: この動詞は上げ得る fact2: この占領期は堆肥化するし歳出・歳入である fact3: 仮にその希薄さが売り言葉でないとすれば取り締まるしさらに晴々しい fact4: 仮に何らかのものが推奨するけど御洒落度であるということはないなら「やっかむ」ということは成り立つ fact5: なんらかの物は御洒落度だけどやっかまない fact6: 「御洒落度でなくてやっかまない」物があるならその希薄さは推奨しない fact7: もしもその希薄さが推奨するということはないとすればこの動詞は取り締まるしそれに推奨する fact8: あの屋根材一体型は進路妨害物であるということはない fact9: 仮にその希薄さがやっかまないとすればこの劫ちゃんは晴々しかないしその上御洒落度でない fact10: もし仮にあの屋根材一体型は進路妨害物でないならばそれは経由するし加えてウェブカメラである fact11: 「御洒落度でなくてやっかまない」ものはある fact12: もし「推奨する」物はあるとすると「この動詞は取り締まらないけどやっかむ」ということは成り立つということはない fact13: ウェブカメラは遣る瀬無くないし加えて気付き難くない fact14: もし仮にこの動詞が推奨するならばあの劫ちゃんは晴々しい fact15: そのハレルヤは九十四Ｂであるし取り締まる fact16: この動詞は取り締まる fact17: その希薄さが取り締まるとしたらこの劫ちゃんは取り締まる fact18: 仮になにかは中途解約出来ないとすればそれは推奨するし売り言葉だ fact19: もしなにかは推奨しなくて加えて取り締まるということはないとしたらこの劫ちゃんは晴々しかない fact20: もし仮に遣る瀬無くないものが気付き難くないとするとそれは中途解約出来ない fact21: 何らかの物は推奨しなくて更に晴々しかない
fact11 & fact6 -> int1: その希薄さは推奨しない; int1 & fact7 -> int2: この動詞は取り締まるし推奨する; int2 -> int3: この動詞は推奨する; int3 & fact14 -> hypothesis;
この劫ちゃんは晴々しかない
fact22 -> int4: 仮に「あの屋根材一体型は中途解約出来ない」ということは偽であるということはないならばそれが推奨するしその上売り言葉である; fact23 -> int5: もしあの屋根材一体型が遣る瀬無くなくてかつ気付き難くないとすればそれは中途解約出来ない; fact27 -> int6: もしもあの屋根材一体型はウェブカメラであるならば遣る瀬無くないし加えて気付き難くない; fact28 & fact26 -> int7: あの屋根材一体型は経由するしまたそれはウェブカメラだ; int7 -> int8: あの屋根材一体型はウェブカメラである; int6 & int8 -> int9: あの屋根材一体型は遣る瀬無くないししかも気付き難くない; int5 & int9 -> int10: あの屋根材一体型は中途解約出来ない; int4 & int10 -> int11: あの屋根材一体型は推奨するしおまけに売り言葉である; int11 -> int12: あの屋根材一体型は推奨する; int12 -> int13: なにかは推奨する; int13 & fact24 -> int14: 「「この動詞は取り締まらないけどそれはやっかむ」ということは偽である」ということは確かである; int14 -> int15: 「「取り締まらないがしかしやっかむ」ということは成り立たない」物はある;
$facts$ = fact1: この動詞は上げ得る fact2: この占領期は堆肥化するし歳出・歳入である fact3: 仮にその希薄さが売り言葉でないとすれば取り締まるしさらに晴々しい fact4: 仮に何らかのものが推奨するけど御洒落度であるということはないなら「やっかむ」ということは成り立つ fact5: なんらかの物は御洒落度だけどやっかまない fact6: 「御洒落度でなくてやっかまない」物があるならその希薄さは推奨しない fact7: もしもその希薄さが推奨するということはないとすればこの動詞は取り締まるしそれに推奨する fact8: あの屋根材一体型は進路妨害物であるということはない fact9: 仮にその希薄さがやっかまないとすればこの劫ちゃんは晴々しかないしその上御洒落度でない fact10: もし仮にあの屋根材一体型は進路妨害物でないならばそれは経由するし加えてウェブカメラである fact11: 「御洒落度でなくてやっかまない」ものはある fact12: もし「推奨する」物はあるとすると「この動詞は取り締まらないけどやっかむ」ということは成り立つということはない fact13: ウェブカメラは遣る瀬無くないし加えて気付き難くない fact14: もし仮にこの動詞が推奨するならばあの劫ちゃんは晴々しい fact15: そのハレルヤは九十四Ｂであるし取り締まる fact16: この動詞は取り締まる fact17: その希薄さが取り締まるとしたらこの劫ちゃんは取り締まる fact18: 仮になにかは中途解約出来ないとすればそれは推奨するし売り言葉だ fact19: もしなにかは推奨しなくて加えて取り締まるということはないとしたらこの劫ちゃんは晴々しかない fact20: もし仮に遣る瀬無くないものが気付き難くないとするとそれは中途解約出来ない fact21: 何らかの物は推奨しなくて更に晴々しかない ; $hypothesis$ = この劫ちゃんは晴々しい ; $proof$ = 
fact11 & fact6 -> int1: その希薄さは推奨しない; int1 & fact7 -> int2: この動詞は取り締まるし推奨する; int2 -> int3: この動詞は推奨する; int3 & fact14 -> hypothesis; __PROVED__
事実1: この動詞は上げ得る
事実2: この占領期は堆肥化するし歳出・歳入である
事実3: 仮にその希薄さが売り言葉でないとすれば取り締まるしさらに晴々しい
事実4: 仮に何らかのものが推奨するけど御洒落度であるということはないなら「やっかむ」ということは成り立つ
事実5: なんらかの物は御洒落度だけどやっかまない
事実6: 「御洒落度でなくてやっかまない」物があるならその希薄さは推奨しない
事実7: もしもその希薄さが推奨するということはないとすればこの動詞は取り締まるしそれに推奨する
事実8: あの屋根材一体型は進路妨害物であるということはない
事実9: 仮にその希薄さがやっかまないとすればこの劫ちゃんは晴々しかないしその上御洒落度でない
事実10: もし仮にあの屋根材一体型は進路妨害物でないならばそれは経由するし加えてウェブカメラである
事実11: 「御洒落度でなくてやっかまない」ものはある
事実12: もし「推奨する」物はあるとすると「この動詞は取り締まらないけどやっかむ」ということは成り立つということはない
事実13: ウェブカメラは遣る瀬無くないし加えて気付き難くない
事実14: もし仮にこの動詞が推奨するならばあの劫ちゃんは晴々しい
事実15: そのハレルヤは九十四Ｂであるし取り締まる
事実16: この動詞は取り締まる
事実17: その希薄さが取り締まるとしたらこの劫ちゃんは取り締まる
事実18: 仮になにかは中途解約出来ないとすればそれは推奨するし売り言葉だ
事実19: もしなにかは推奨しなくて加えて取り締まるということはないとしたらこの劫ちゃんは晴々しかない
事実20: もし仮に遣る瀬無くないものが気付き難くないとするとそれは中途解約出来ない
事実21: 何らかの物は推奨しなくて更に晴々しかない

仮説: この劫ちゃんは晴々しい
1. 事実11と事実6から、推論1: "その希薄さは推奨しない"が導かれる
2. 推論1と事実7から、推論2: "この動詞は取り締まるし推奨する"が導かれる
3. 推論2から、推論3: "この動詞は推奨する"が導かれる
4. 推論3と事実14から、仮説が導かれる

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