そのレース前は恥ずかしい
fact1: もしあのスタイラスは法王猊下でないとすると「その小牧野は流され易くないかまたは人気度であるかあるいはどちらもだ」ということは真実でない fact2: あのスタイラスは顕在化し易いししかも法王猊下だ fact3: 「その小牧野は作り難いが敬遠しない」ということは間違っているとすればその二センチメートル長さは敬遠する fact4: その二センチメートル長さは寄せ付ける fact5: もし「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかもしくはどちらもである」ということは間違いならその小牧野は崩れ易くない fact6: とある物は順応出来る fact7: 仮にその小牧野は作り難いし加えて顕在化し易いならばそれは崩れ易くない fact8: もし仮に回内は人気度であるとすると「そのレース前は恥ずかしくない」ということは本当であるということはない fact9: 作り難い法王猊下はある fact10: 仮に「その二センチメートル長さは顕在化し易いがしかし法王猊下でない」ということは成り立たないとすれば「あのスタイラスは顕在化し易くない」ということは本当である fact11: その二センチメートル長さは人気度だ fact12: その二センチメートル長さは歌舞伎っぽい fact13: 仮に何かは敬遠するとすると「それは顕在化し易いけれど法王猊下だということはない」ということは偽だ fact14: 何かは回内でその上それは恥ずかしい fact15: その小牧野が崩れ易くないならそれは回内だし人気度だ fact16: 「その御花さんは敬遠するということはない」ということは間違っている fact17: 仮にあのスタイラスが流され易くないとすればそれは法王猊下であるし顕在化し易い fact18: 「あのスタイラスは敬遠するということはない」ということは間違っている fact19: なんらかの物が敬遠するしそれは顕在化し易いとしたら「それは作り難くない」ということは正しい fact20: 仮に「その二センチメートル長さは歌舞伎っぽいかもしくは流され易いかまたは両方ともである」ということは成り立つということはないとしたらその小牧野は崩れ易くない fact21: もしあのスタイラスは作り難いということはないなら「その二センチメートル長さは歌舞伎っぽくないかあるいはそれは流され易いか両方ともだ」ということは成り立たない fact22: 仮にその小牧野は崩れ易くないなら「あのスタイラスは顕在化し易くないかもしくは回内だ」ということは嘘である
fact2 -> int1: あのスタイラスは顕在化し易い; int1 & fact18 -> int2: あのスタイラスは敬遠するししかも顕在化し易い; fact19 -> int3: もし仮にあのスタイラスは敬遠するしまた顕在化し易いならば作り難くない; int2 & int3 -> int4: あのスタイラスは作り難くない; int4 & fact21 -> int5: 「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかまたはどちらもだ」ということは事実であるということはない; int5 & fact5 -> int6: その小牧野は崩れ易くない; int6 & fact15 -> int7: その小牧野は回内でそれは人気度である; int7 -> int8: とある物が回内だしその上それは人気度だ; int8 & fact8 -> hypothesis;
そのレース前は恥ずかしくない
fact23 -> int9: その二センチメートル長さは敬遠するとしたら「顕在化し易いが法王猊下であるということはない」ということは間違っている;
$facts$ = fact1: もしあのスタイラスは法王猊下でないとすると「その小牧野は流され易くないかまたは人気度であるかあるいはどちらもだ」ということは真実でない fact2: あのスタイラスは顕在化し易いししかも法王猊下だ fact3: 「その小牧野は作り難いが敬遠しない」ということは間違っているとすればその二センチメートル長さは敬遠する fact4: その二センチメートル長さは寄せ付ける fact5: もし「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかもしくはどちらもである」ということは間違いならその小牧野は崩れ易くない fact6: とある物は順応出来る fact7: 仮にその小牧野は作り難いし加えて顕在化し易いならばそれは崩れ易くない fact8: もし仮に回内は人気度であるとすると「そのレース前は恥ずかしくない」ということは本当であるということはない fact9: 作り難い法王猊下はある fact10: 仮に「その二センチメートル長さは顕在化し易いがしかし法王猊下でない」ということは成り立たないとすれば「あのスタイラスは顕在化し易くない」ということは本当である fact11: その二センチメートル長さは人気度だ fact12: その二センチメートル長さは歌舞伎っぽい fact13: 仮に何かは敬遠するとすると「それは顕在化し易いけれど法王猊下だということはない」ということは偽だ fact14: 何かは回内でその上それは恥ずかしい fact15: その小牧野が崩れ易くないならそれは回内だし人気度だ fact16: 「その御花さんは敬遠するということはない」ということは間違っている fact17: 仮にあのスタイラスが流され易くないとすればそれは法王猊下であるし顕在化し易い fact18: 「あのスタイラスは敬遠するということはない」ということは間違っている fact19: なんらかの物が敬遠するしそれは顕在化し易いとしたら「それは作り難くない」ということは正しい fact20: 仮に「その二センチメートル長さは歌舞伎っぽいかもしくは流され易いかまたは両方ともである」ということは成り立つということはないとしたらその小牧野は崩れ易くない fact21: もしあのスタイラスは作り難いということはないなら「その二センチメートル長さは歌舞伎っぽくないかあるいはそれは流され易いか両方ともだ」ということは成り立たない fact22: 仮にその小牧野は崩れ易くないなら「あのスタイラスは顕在化し易くないかもしくは回内だ」ということは嘘である ; $hypothesis$ = そのレース前は恥ずかしい ; $proof$ = 
fact2 -> int1: あのスタイラスは顕在化し易い; int1 & fact18 -> int2: あのスタイラスは敬遠するししかも顕在化し易い; fact19 -> int3: もし仮にあのスタイラスは敬遠するしまた顕在化し易いならば作り難くない; int2 & int3 -> int4: あのスタイラスは作り難くない; int4 & fact21 -> int5: 「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかまたはどちらもだ」ということは事実であるということはない; int5 & fact5 -> int6: その小牧野は崩れ易くない; int6 & fact15 -> int7: その小牧野は回内でそれは人気度である; int7 -> int8: とある物が回内だしその上それは人気度だ; int8 & fact8 -> hypothesis; __PROVED__
事実1: もしあのスタイラスは法王猊下でないとすると「その小牧野は流され易くないかまたは人気度であるかあるいはどちらもだ」ということは真実でない
事実2: あのスタイラスは顕在化し易いししかも法王猊下だ
事実3: 「その小牧野は作り難いが敬遠しない」ということは間違っているとすればその二センチメートル長さは敬遠する
事実4: その二センチメートル長さは寄せ付ける
事実5: もし「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかもしくはどちらもである」ということは間違いならその小牧野は崩れ易くない
事実6: とある物は順応出来る
事実7: 仮にその小牧野は作り難いし加えて顕在化し易いならばそれは崩れ易くない
事実8: もし仮に回内は人気度であるとすると「そのレース前は恥ずかしくない」ということは本当であるということはない
事実9: 作り難い法王猊下はある
事実10: 仮に「その二センチメートル長さは顕在化し易いがしかし法王猊下でない」ということは成り立たないとすれば「あのスタイラスは顕在化し易くない」ということは本当である
事実11: その二センチメートル長さは人気度だ
事実12: その二センチメートル長さは歌舞伎っぽい
事実13: 仮に何かは敬遠するとすると「それは顕在化し易いけれど法王猊下だということはない」ということは偽だ
事実14: 何かは回内でその上それは恥ずかしい
事実15: その小牧野が崩れ易くないならそれは回内だし人気度だ
事実16: 「その御花さんは敬遠するということはない」ということは間違っている
事実17: 仮にあのスタイラスが流され易くないとすればそれは法王猊下であるし顕在化し易い
事実18: 「あのスタイラスは敬遠するということはない」ということは間違っている
事実19: なんらかの物が敬遠するしそれは顕在化し易いとしたら「それは作り難くない」ということは正しい
事実20: 仮に「その二センチメートル長さは歌舞伎っぽいかもしくは流され易いかまたは両方ともである」ということは成り立つということはないとしたらその小牧野は崩れ易くない
事実21: もしあのスタイラスは作り難いということはないなら「その二センチメートル長さは歌舞伎っぽくないかあるいはそれは流され易いか両方ともだ」ということは成り立たない
事実22: 仮にその小牧野は崩れ易くないなら「あのスタイラスは顕在化し易くないかもしくは回内だ」ということは嘘である

仮説: そのレース前は恥ずかしい
1. 事実2から、推論1: "あのスタイラスは顕在化し易い"が導かれる
2. 推論1と事実18から、推論2: "あのスタイラスは敬遠するししかも顕在化し易い"が導かれる
3. 事実19から、推論3: "もし仮にあのスタイラスは敬遠するしまた顕在化し易いならば作り難くない"が導かれる
4. 推論2と推論3から、推論4: "あのスタイラスは作り難くない"が導かれる
5. 推論4と事実21から、推論5: "「その二センチメートル長さは歌舞伎っぽくないかあるいは流され易いかまたはどちらもだ」ということは事実であるということはない"が導かれる
6. 推論5と事実5から、推論6: "その小牧野は崩れ易くない"が導かれる
7. 推論6と事実15から、推論7: "その小牧野は回内でそれは人気度である"が導かれる
8. 推論7から、推論8: "とある物が回内だしその上それは人気度だ"が導かれる
9. 推論8と事実8から、仮説が導かれる

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