「略述するとすると醜くないしさらに引き寄せない」物はある
fact1: 「もしも「略述する」ということは真実であるとすれば醜いがしかし引き寄せない」物はある fact2: もし「双球でないかもしくはホメオスターシスでないかあるいは両方ともな」物があるとしたらあのカントリー＆ウェスタンは引き寄せない fact3: あのカントリー＆ウェスタンは柔らかい fact4: もし仮にその蛋白質発現系が御報告頂くし掛け易いとすればその鋼上部工はや子でない fact5: 「仮に略述するなら引き寄せない」物はある fact6: もしあのカントリー＆ウェスタンが略述するとすると醜くない fact7: なにがしかのものは置き易くないかホメオスターシスでないか両方だとしたら「あの法律関係は再構成するということはない」ということは確かである fact8: 「双球でない」物はあるとすれば「あのカントリー＆ウェスタンは引き寄せない」ということは誤っていない fact9: もしその鋼上部工はや子でないとすれば「嘲らないし言い辛い」ということは成り立たない fact10: 「「もし仮に略述するとすると醜いということはない」物はある」ということは事実である fact11: 「もし仮に略述するなら醜くないし引き寄せる」ものはある fact12: その鋼上部工が善処するとするとあのカントリー＆ウェスタンはホメオスターシスである fact13: 何らかの物は双球であるかもしくはそれはホメオスターシスでない fact14: その蛋白質発現系は御報告頂くしさらに掛け易い fact15: とある物は忍耐力でないならばそれは労働力調査であるしまた善処する fact16: あのカントリー＆ウェスタンが双球でなくてそれが引き寄せないならばあの消しゴムツールは引き寄せない fact17: 「双球であるということはないかホメオスターシスであるかまたは両方ともな」物はある fact18: 「なんらかのものは略述しないかまたは醜いということはない」ということは成り立たないとしたらそれは膨らまさない fact19: もしも「何かは嘲らないけど言い辛い」ということは成り立たないなら忍耐力でない fact20: 「双球でないかホメオスターシスでないか両方な」ものはある
void -> assump1: 以下のように仮定する。あのカントリー＆ウェスタンは略述する; fact6 & assump1 -> int1: あのカントリー＆ウェスタンは醜くない; fact20 & fact2 -> int2: あのカントリー＆ウェスタンは引き寄せるということはない; int1 & int2 -> int3: あのカントリー＆ウェスタンは醜くないし引き寄せない; [assump1] & int3 -> int4: もしもあのカントリー＆ウェスタンが略述するなら醜くないし引き寄せない; int4 -> hypothesis;
「その消しゴムツールは膨らまさない」ということは成り立つ
fact21 -> int5: もし仮に「その消しゴムツールは略述しないか醜くないか両方だ」ということは成り立たないならば膨らまさない; fact24 -> int6: もし仮にその鋼上部工が忍耐力でないとすればそれは労働力調査であるしさらに善処する; fact23 -> int7: もし「「その鋼上部工は嘲らない一方でそれは言い辛い」ということは真実である」ということは確かであるということはないとすれば忍耐力でない; fact28 & fact22 -> int8: その鋼上部工はや子でない; fact27 & int8 -> int9: 「その鋼上部工は嘲らないけれど言い辛い」ということは嘘だ; int7 & int9 -> int10: その鋼上部工は忍耐力でない; int6 & int10 -> int11: その鋼上部工は労働力調査でまた善処する; int11 -> int12: その鋼上部工は善処する; fact26 & int12 -> int13: あのカントリー＆ウェスタンはホメオスターシスである;
$facts$ = fact1: 「もしも「略述する」ということは真実であるとすれば醜いがしかし引き寄せない」物はある fact2: もし「双球でないかもしくはホメオスターシスでないかあるいは両方ともな」物があるとしたらあのカントリー＆ウェスタンは引き寄せない fact3: あのカントリー＆ウェスタンは柔らかい fact4: もし仮にその蛋白質発現系が御報告頂くし掛け易いとすればその鋼上部工はや子でない fact5: 「仮に略述するなら引き寄せない」物はある fact6: もしあのカントリー＆ウェスタンが略述するとすると醜くない fact7: なにがしかのものは置き易くないかホメオスターシスでないか両方だとしたら「あの法律関係は再構成するということはない」ということは確かである fact8: 「双球でない」物はあるとすれば「あのカントリー＆ウェスタンは引き寄せない」ということは誤っていない fact9: もしその鋼上部工はや子でないとすれば「嘲らないし言い辛い」ということは成り立たない fact10: 「「もし仮に略述するとすると醜いということはない」物はある」ということは事実である fact11: 「もし仮に略述するなら醜くないし引き寄せる」ものはある fact12: その鋼上部工が善処するとするとあのカントリー＆ウェスタンはホメオスターシスである fact13: 何らかの物は双球であるかもしくはそれはホメオスターシスでない fact14: その蛋白質発現系は御報告頂くしさらに掛け易い fact15: とある物は忍耐力でないならばそれは労働力調査であるしまた善処する fact16: あのカントリー＆ウェスタンが双球でなくてそれが引き寄せないならばあの消しゴムツールは引き寄せない fact17: 「双球であるということはないかホメオスターシスであるかまたは両方ともな」物はある fact18: 「なんらかのものは略述しないかまたは醜いということはない」ということは成り立たないとしたらそれは膨らまさない fact19: もしも「何かは嘲らないけど言い辛い」ということは成り立たないなら忍耐力でない fact20: 「双球でないかホメオスターシスでないか両方な」ものはある ; $hypothesis$ = 「略述するとすると醜くないしさらに引き寄せない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あのカントリー＆ウェスタンは略述する; fact6 & assump1 -> int1: あのカントリー＆ウェスタンは醜くない; fact20 & fact2 -> int2: あのカントリー＆ウェスタンは引き寄せるということはない; int1 & int2 -> int3: あのカントリー＆ウェスタンは醜くないし引き寄せない; [assump1] & int3 -> int4: もしもあのカントリー＆ウェスタンが略述するなら醜くないし引き寄せない; int4 -> hypothesis; __PROVED__
事実1: 「もしも「略述する」ということは真実であるとすれば醜いがしかし引き寄せない」物はある
事実2: もし「双球でないかもしくはホメオスターシスでないかあるいは両方ともな」物があるとしたらあのカントリー＆ウェスタンは引き寄せない
事実3: あのカントリー＆ウェスタンは柔らかい
事実4: もし仮にその蛋白質発現系が御報告頂くし掛け易いとすればその鋼上部工はや子でない
事実5: 「仮に略述するなら引き寄せない」物はある
事実6: もしあのカントリー＆ウェスタンが略述するとすると醜くない
事実7: なにがしかのものは置き易くないかホメオスターシスでないか両方だとしたら「あの法律関係は再構成するということはない」ということは確かである
事実8: 「双球でない」物はあるとすれば「あのカントリー＆ウェスタンは引き寄せない」ということは誤っていない
事実9: もしその鋼上部工はや子でないとすれば「嘲らないし言い辛い」ということは成り立たない
事実10: 「「もし仮に略述するとすると醜いということはない」物はある」ということは事実である
事実11: 「もし仮に略述するなら醜くないし引き寄せる」ものはある
事実12: その鋼上部工が善処するとするとあのカントリー＆ウェスタンはホメオスターシスである
事実13: 何らかの物は双球であるかもしくはそれはホメオスターシスでない
事実14: その蛋白質発現系は御報告頂くしさらに掛け易い
事実15: とある物は忍耐力でないならばそれは労働力調査であるしまた善処する
事実16: あのカントリー＆ウェスタンが双球でなくてそれが引き寄せないならばあの消しゴムツールは引き寄せない
事実17: 「双球であるということはないかホメオスターシスであるかまたは両方ともな」物はある
事実18: 「なんらかのものは略述しないかまたは醜いということはない」ということは成り立たないとしたらそれは膨らまさない
事実19: もしも「何かは嘲らないけど言い辛い」ということは成り立たないなら忍耐力でない
事実20: 「双球でないかホメオスターシスでないか両方な」ものはある

仮説: 「略述するとすると醜くないしさらに引き寄せない」物はある
1. 仮定1: 以下のように仮定する。あのカントリー＆ウェスタンは略述する
2. 事実6と仮定1から、推論1: "あのカントリー＆ウェスタンは醜くない"が導かれる
3. 事実20と事実2から、推論2: "あのカントリー＆ウェスタンは引き寄せるということはない"が導かれる
4. 推論1と推論2から、推論3: "あのカントリー＆ウェスタンは醜くないし引き寄せない"が導かれる
5. [仮定1]と推論3から、推論4: "もしもあのカントリー＆ウェスタンが略述するなら醜くないし引き寄せない"が導かれる
6. 推論4から、仮説が導かれる

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