仮にあの茶菓がビリヤード台でないならばあの微小面積は惨めったらしいということはないけど震動する
fact1: 「もし「あの茶菓はシャッフルしない」ということは成り立たないならばこの微小面積は惨めったらしくないけど震動する」ということは成り立つ fact2: もし仮にあの茶菓はシャッフルしないとすると「それはＬ姉でまた合意事項である」ということは誤っている fact3: あの茶菓がシャッフルすればこの微小面積は惨めったらしくない fact4: もしもあの茶菓がビリヤード台でないならばこの微小面積は惨めったらしいということはない fact5: 「あの茶菓はＬ姉であるし合意事項である」ということは成り立つということはない fact6: なんらかのものはシャッフルしないとすると「Ｌ姉であるし加えて合意事項でない」ということは間違っている fact7: もしもこの微小面積は受くとしたら「惨めったらしいということはなくてビリヤード台である」ということは成り立たない fact8: あの茶菓が震動しないとしたらこの微小面積はビリヤード台でないけれどシャッフルする fact9: もしも「あの茶菓はＬ姉である一方でそれは合意事項でない」ということは誤っているならそれはビリヤード台だ fact10: もし「「惨めったらしくないしビリヤード台である」ということは誤りである」ものがあるとしたらその道路管理者はビリヤード台だということはない fact11: 仮にとあるものは国際障害者年でないかまたはスポーツするかまたは両方であるとしたら受く fact12: 仮にあの茶菓がビリヤード台ならこの微小面積は惨めったらしくないがしかし震動する fact13: もしその腹部創が定式化するならこの微小面積は国際障害者年でないかもしくはスポーツするかあるいはどちらもである fact14: この微小面積はＬ姉である fact15: その腹部創は定式化するしそれに取り扱える fact16: 仮にあの茶菓が震動しないとするとこの微小面積は惨めったらしくないけれどシャッフルする fact17: もし仮にあの茶菓が合意事項だとするとそれはビリヤード台である fact18: この微小面積は惨めったらしくない fact19: 仮になにかはシャッフルしないなら「Ｌ姉であるしその上それは合意事項だ」ということは成り立たない
fact6 -> int1: もしもあの茶菓はシャッフルしないとしたら「それはＬ姉であるけれど合意事項でない」ということは偽である; void -> assump1: 以下のように仮定する。「あの茶菓はシャッフルするということはない」ということは成り立つ; int1 & assump1 -> int2: 「あの茶菓はＬ姉であるけれどそれは合意事項でない」ということは成り立たない; int2 & fact9 -> int3: あの茶菓はビリヤード台である; void -> assump2: 以下のように仮定する。あの茶菓はビリヤード台でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの茶菓はシャッフルする; int5 & fact1 -> int6: この微小面積は惨めったらしくない一方でそれは震動する; [assump2] & int6 -> hypothesis;
その道路管理者は震動する
fact21 -> int7: もしもこの微小面積は国際障害者年でないかあるいはスポーツするかあるいはどちらもだとするとそれは受く; fact20 -> int8: その腹部創は定式化する; fact24 & int8 -> int9: この微小面積は国際障害者年でないかもしくはそれはスポーツするかあるいはどちらもだ; int7 & int9 -> int10: この微小面積は受く; fact22 & int10 -> int11: 「この微小面積は惨めったらしくない一方でビリヤード台である」ということは誤っている; int11 -> int12: 「「惨めったらしくないしビリヤード台である」ということは偽である」ものはある; int12 & fact23 -> int13: その道路管理者はビリヤード台であるということはない;
$facts$ = fact1: 「もし「あの茶菓はシャッフルしない」ということは成り立たないならばこの微小面積は惨めったらしくないけど震動する」ということは成り立つ fact2: もし仮にあの茶菓はシャッフルしないとすると「それはＬ姉でまた合意事項である」ということは誤っている fact3: あの茶菓がシャッフルすればこの微小面積は惨めったらしくない fact4: もしもあの茶菓がビリヤード台でないならばこの微小面積は惨めったらしいということはない fact5: 「あの茶菓はＬ姉であるし合意事項である」ということは成り立つということはない fact6: なんらかのものはシャッフルしないとすると「Ｌ姉であるし加えて合意事項でない」ということは間違っている fact7: もしもこの微小面積は受くとしたら「惨めったらしいということはなくてビリヤード台である」ということは成り立たない fact8: あの茶菓が震動しないとしたらこの微小面積はビリヤード台でないけれどシャッフルする fact9: もしも「あの茶菓はＬ姉である一方でそれは合意事項でない」ということは誤っているならそれはビリヤード台だ fact10: もし「「惨めったらしくないしビリヤード台である」ということは誤りである」ものがあるとしたらその道路管理者はビリヤード台だということはない fact11: 仮にとあるものは国際障害者年でないかまたはスポーツするかまたは両方であるとしたら受く fact12: 仮にあの茶菓がビリヤード台ならこの微小面積は惨めったらしくないがしかし震動する fact13: もしその腹部創が定式化するならこの微小面積は国際障害者年でないかもしくはスポーツするかあるいはどちらもである fact14: この微小面積はＬ姉である fact15: その腹部創は定式化するしそれに取り扱える fact16: 仮にあの茶菓が震動しないとするとこの微小面積は惨めったらしくないけれどシャッフルする fact17: もし仮にあの茶菓が合意事項だとするとそれはビリヤード台である fact18: この微小面積は惨めったらしくない fact19: 仮になにかはシャッフルしないなら「Ｌ姉であるしその上それは合意事項だ」ということは成り立たない ; $hypothesis$ = 仮にあの茶菓がビリヤード台でないならばあの微小面積は惨めったらしいということはないけど震動する ; $proof$ = 
fact6 -> int1: もしもあの茶菓はシャッフルしないとしたら「それはＬ姉であるけれど合意事項でない」ということは偽である; void -> assump1: 以下のように仮定する。「あの茶菓はシャッフルするということはない」ということは成り立つ; int1 & assump1 -> int2: 「あの茶菓はＬ姉であるけれどそれは合意事項でない」ということは成り立たない; int2 & fact9 -> int3: あの茶菓はビリヤード台である; void -> assump2: 以下のように仮定する。あの茶菓はビリヤード台でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの茶菓はシャッフルする; int5 & fact1 -> int6: この微小面積は惨めったらしくない一方でそれは震動する; [assump2] & int6 -> hypothesis; __PROVED__
事実1: 「もし「あの茶菓はシャッフルしない」ということは成り立たないならばこの微小面積は惨めったらしくないけど震動する」ということは成り立つ
事実2: もし仮にあの茶菓はシャッフルしないとすると「それはＬ姉でまた合意事項である」ということは誤っている
事実3: あの茶菓がシャッフルすればこの微小面積は惨めったらしくない
事実4: もしもあの茶菓がビリヤード台でないならばこの微小面積は惨めったらしいということはない
事実5: 「あの茶菓はＬ姉であるし合意事項である」ということは成り立つということはない
事実6: なんらかのものはシャッフルしないとすると「Ｌ姉であるし加えて合意事項でない」ということは間違っている
事実7: もしもこの微小面積は受くとしたら「惨めったらしいということはなくてビリヤード台である」ということは成り立たない
事実8: あの茶菓が震動しないとしたらこの微小面積はビリヤード台でないけれどシャッフルする
事実9: もしも「あの茶菓はＬ姉である一方でそれは合意事項でない」ということは誤っているならそれはビリヤード台だ
事実10: もし「「惨めったらしくないしビリヤード台である」ということは誤りである」ものがあるとしたらその道路管理者はビリヤード台だということはない
事実11: 仮にとあるものは国際障害者年でないかまたはスポーツするかまたは両方であるとしたら受く
事実12: 仮にあの茶菓がビリヤード台ならこの微小面積は惨めったらしくないがしかし震動する
事実13: もしその腹部創が定式化するならこの微小面積は国際障害者年でないかもしくはスポーツするかあるいはどちらもである
事実14: この微小面積はＬ姉である
事実15: その腹部創は定式化するしそれに取り扱える
事実16: 仮にあの茶菓が震動しないとするとこの微小面積は惨めったらしくないけれどシャッフルする
事実17: もし仮にあの茶菓が合意事項だとするとそれはビリヤード台である
事実18: この微小面積は惨めったらしくない
事実19: 仮になにかはシャッフルしないなら「Ｌ姉であるしその上それは合意事項だ」ということは成り立たない

仮説: 仮にあの茶菓がビリヤード台でないならばあの微小面積は惨めったらしいということはないけど震動する
1. 事実6から、推論1: "もしもあの茶菓はシャッフルしないとしたら「それはＬ姉であるけれど合意事項でない」ということは偽である"が導かれる
2. 仮定1: 以下のように仮定する。「あの茶菓はシャッフルするということはない」ということは成り立つ
3. 推論1と仮定1から、推論2: "「あの茶菓はＬ姉であるけれどそれは合意事項でない」ということは成り立たない"が導かれる
4. 推論2と事実9から、推論3: "あの茶菓はビリヤード台である"が導かれる
5. 仮定2: 以下のように仮定する。あの茶菓はビリヤード台でない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの茶菓はシャッフルする"が導かれる
8. 推論5と事実1から、推論6: "この微小面積は惨めったらしくない一方でそれは震動する"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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