あの強制振動は開き易いし更に町場である
fact1: その新聞・雑誌・書籍は貴族層でないなら「この間欠式は流れ込まないけれどしかつめらしい」ということは間違いだ fact2: 「丸っこくない」物はある fact3: 仮になんらかの物が町場だとしたらそれは料亭である fact4: もし仮にこのＰＣＴが流れ込むということはないならこの間欠式は流れ込まないがしかつめらしい fact5: もしあの強制振動が由々しいとしたらそれは町場だ fact6: 「その新聞・雑誌・書籍は密着性でないけどテアルビジンだ」ということは成り立たない fact7: もしもこの間欠式が由々しいとすると流れ込む fact8: もし仮にこの枯れ草熱は決裁するなら「御聞き及ばなくてこんがらがらない」ということは嘘だ fact9: ある物は遅れ気味でない fact10: 由々しいかあるいは開き易いということはないかあるいは両方ともである物は由々しい fact11: もし仮になんらかのものが遅れ気味であるということはないならばあの新聞・雑誌・書籍は貴族層でない fact12: なにがしかのものが貴族層でないとしたらあの同化率は由々しいかあるいは開き易くない fact13: もし仮に「あの強制振動は丸っこい」ということは成り立つとすると由々しい fact14: もし仮にあの強制振動が遅れ気味でないならばそれは流れ込むししかつめらしい fact15: もし仮にこのＰＣＴは町場でないなら「あの強制振動は由々しくないがそれは流れ込む」ということは事実と異なる fact16: あの強制振動は丸っこい fact17: 仮にある物は流れ込まないならば「それは開き易くてそれは町場である」ということは間違っている fact18: このＰＣＴは貴族層でない fact19: なんらかのものは流れ込むなら「料亭である」ということは成り立つ fact20: もし「この不動はこんがらがらない」ということは成り立てばその新聞・雑誌・書籍は丸っこいかあるいは由々しい fact21: 「この枯れ草熱は御聞き及ばなくて更にこんがらがらない」ということは偽ならこの不動はこんがらがらない fact22: 「流れ込む」物があるとしたらあの同化率は町場であるかそれは流れ込むか両方ともである fact23: この間欠式は遅れ気味である fact24: もし仮にあの強制振動が開き易くないならこのＰＣＴは流れ込まない
void -> assump1: 以下のように仮定する。あの強制振動は開き易くない; fact24 & assump1 -> int1: このＰＣＴは流れ込まない; int1 & fact4 -> int2: この間欠式は流れ込まないけどそれはしかつめらしい; fact11 & fact9 -> int3: その新聞・雑誌・書籍は貴族層でない; fact1 & int3 -> int4: 「この間欠式は流れ込まない一方でしかつめらしい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの強制振動は開き易い; fact13 & fact16 -> int7: あの強制振動は由々しい; fact5 & int7 -> int8: あの強制振動は町場だ; int6 & int8 -> hypothesis;
あの同化率は由々しいしまた料亭だ
fact29 -> int9: もしもあの同化率が由々しいかもしくは開き易くないかどちらもであるとしたら由々しい; fact26 -> int10: なんらかの物は貴族層だということはない; int10 & fact25 -> int11: あの同化率は由々しいかまたはそれは開き易くない; int9 & int11 -> int12: 「あの同化率は由々しい」ということは成り立つ; fact32 -> int13: 「あの同化率は町場だ」ということは本当だとするとそれは料亭だ; fact30 -> int14: もしあの同化率が流れ込むならそれは料亭だ;
$facts$ = fact1: その新聞・雑誌・書籍は貴族層でないなら「この間欠式は流れ込まないけれどしかつめらしい」ということは間違いだ fact2: 「丸っこくない」物はある fact3: 仮になんらかの物が町場だとしたらそれは料亭である fact4: もし仮にこのＰＣＴが流れ込むということはないならこの間欠式は流れ込まないがしかつめらしい fact5: もしあの強制振動が由々しいとしたらそれは町場だ fact6: 「その新聞・雑誌・書籍は密着性でないけどテアルビジンだ」ということは成り立たない fact7: もしもこの間欠式が由々しいとすると流れ込む fact8: もし仮にこの枯れ草熱は決裁するなら「御聞き及ばなくてこんがらがらない」ということは嘘だ fact9: ある物は遅れ気味でない fact10: 由々しいかあるいは開き易いということはないかあるいは両方ともである物は由々しい fact11: もし仮になんらかのものが遅れ気味であるということはないならばあの新聞・雑誌・書籍は貴族層でない fact12: なにがしかのものが貴族層でないとしたらあの同化率は由々しいかあるいは開き易くない fact13: もし仮に「あの強制振動は丸っこい」ということは成り立つとすると由々しい fact14: もし仮にあの強制振動が遅れ気味でないならばそれは流れ込むししかつめらしい fact15: もし仮にこのＰＣＴは町場でないなら「あの強制振動は由々しくないがそれは流れ込む」ということは事実と異なる fact16: あの強制振動は丸っこい fact17: 仮にある物は流れ込まないならば「それは開き易くてそれは町場である」ということは間違っている fact18: このＰＣＴは貴族層でない fact19: なんらかのものは流れ込むなら「料亭である」ということは成り立つ fact20: もし「この不動はこんがらがらない」ということは成り立てばその新聞・雑誌・書籍は丸っこいかあるいは由々しい fact21: 「この枯れ草熱は御聞き及ばなくて更にこんがらがらない」ということは偽ならこの不動はこんがらがらない fact22: 「流れ込む」物があるとしたらあの同化率は町場であるかそれは流れ込むか両方ともである fact23: この間欠式は遅れ気味である fact24: もし仮にあの強制振動が開き易くないならこのＰＣＴは流れ込まない ; $hypothesis$ = あの強制振動は開き易いし更に町場である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの強制振動は開き易くない; fact24 & assump1 -> int1: このＰＣＴは流れ込まない; int1 & fact4 -> int2: この間欠式は流れ込まないけどそれはしかつめらしい; fact11 & fact9 -> int3: その新聞・雑誌・書籍は貴族層でない; fact1 & int3 -> int4: 「この間欠式は流れ込まない一方でしかつめらしい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの強制振動は開き易い; fact13 & fact16 -> int7: あの強制振動は由々しい; fact5 & int7 -> int8: あの強制振動は町場だ; int6 & int8 -> hypothesis; __PROVED__
事実1: その新聞・雑誌・書籍は貴族層でないなら「この間欠式は流れ込まないけれどしかつめらしい」ということは間違いだ
事実2: 「丸っこくない」物はある
事実3: 仮になんらかの物が町場だとしたらそれは料亭である
事実4: もし仮にこのＰＣＴが流れ込むということはないならこの間欠式は流れ込まないがしかつめらしい
事実5: もしあの強制振動が由々しいとしたらそれは町場だ
事実6: 「その新聞・雑誌・書籍は密着性でないけどテアルビジンだ」ということは成り立たない
事実7: もしもこの間欠式が由々しいとすると流れ込む
事実8: もし仮にこの枯れ草熱は決裁するなら「御聞き及ばなくてこんがらがらない」ということは嘘だ
事実9: ある物は遅れ気味でない
事実10: 由々しいかあるいは開き易いということはないかあるいは両方ともである物は由々しい
事実11: もし仮になんらかのものが遅れ気味であるということはないならばあの新聞・雑誌・書籍は貴族層でない
事実12: なにがしかのものが貴族層でないとしたらあの同化率は由々しいかあるいは開き易くない
事実13: もし仮に「あの強制振動は丸っこい」ということは成り立つとすると由々しい
事実14: もし仮にあの強制振動が遅れ気味でないならばそれは流れ込むししかつめらしい
事実15: もし仮にこのＰＣＴは町場でないなら「あの強制振動は由々しくないがそれは流れ込む」ということは事実と異なる
事実16: あの強制振動は丸っこい
事実17: 仮にある物は流れ込まないならば「それは開き易くてそれは町場である」ということは間違っている
事実18: このＰＣＴは貴族層でない
事実19: なんらかのものは流れ込むなら「料亭である」ということは成り立つ
事実20: もし「この不動はこんがらがらない」ということは成り立てばその新聞・雑誌・書籍は丸っこいかあるいは由々しい
事実21: 「この枯れ草熱は御聞き及ばなくて更にこんがらがらない」ということは偽ならこの不動はこんがらがらない
事実22: 「流れ込む」物があるとしたらあの同化率は町場であるかそれは流れ込むか両方ともである
事実23: この間欠式は遅れ気味である
事実24: もし仮にあの強制振動が開き易くないならこのＰＣＴは流れ込まない

仮説: あの強制振動は開き易いし更に町場である
1. 仮定1: 以下のように仮定する。あの強制振動は開き易くない
2. 事実24と仮定1から、推論1: "このＰＣＴは流れ込まない"が導かれる
3. 推論1と事実4から、推論2: "この間欠式は流れ込まないけどそれはしかつめらしい"が導かれる
4. 事実11と事実9から、推論3: "その新聞・雑誌・書籍は貴族層でない"が導かれる
5. 事実1と推論3から、推論4: "「この間欠式は流れ込まない一方でしかつめらしい」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの強制振動は開き易い"が導かれる
8. 事実13と事実16から、推論7: "あの強制振動は由々しい"が導かれる
9. 事実5と推論7から、推論8: "あの強制振動は町場だ"が導かれる
10. 推論6と推論8から、仮説が導かれる

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