その範囲は掬わないかあるいは如才無い
fact1: もしもこの順序関係はピンクベージュでないならそれは吊り上がらない fact2: もし仮にこの順序関係が如才無いとすればあの範囲は掬わないかあるいは如才無いかまたはどちらもだ fact3: もしとある物はふさふさしないが禍々しいならばやくざっぽくない fact4: すべてのものは出来易い fact5: その怠け心は吊り上がる fact6: もしこの順序関係は禍々しいかふさふさするかあるいは両方ともであるならばそれはピンクベージュでない fact7: あのリベラルアート大学はピンクベージュだ fact8: もしなんらかのものがふさふさしないならばやくざっぽくない fact9: この順序関係は吊り上がる fact10: もしもあの臨床検査室がピンクベージュだということはないならこの順序関係はふさふさするし禍々しい fact11: もし仮にこの順序関係はやくざっぽくない一方で出来易いとすれば「如才無い」ということは確かである
void -> assump1: 以下のように仮定する。この順序関係はふさふさする; assump1 -> int1: 「この順序関係は禍々しいかふさふさするか両方である」ということは成り立つ; int1 & fact6 -> int2: この順序関係はピンクベージュでない; int2 & fact1 -> int3: この順序関係は吊り上がらない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この順序関係はふさふさしない」ということは正しい; fact8 -> int6: 仮にこの順序関係がふさふさしないとしたらやくざっぽくない; int5 & int6 -> int7: この順序関係はやくざっぽくない; fact4 -> int8: この順序関係は出来易い; int7 & int8 -> int9: この順序関係はやくざっぽいということはないが出来易い; int9 & fact11 -> int10: この順序関係は如才無い; int10 & fact2 -> hypothesis;
その経営委員会はやくざっぽくない
fact12 -> int11: その経営委員会はふさふさしないがしかし禍々しいならばやくざっぽくない;
$facts$ = fact1: もしもこの順序関係はピンクベージュでないならそれは吊り上がらない fact2: もし仮にこの順序関係が如才無いとすればあの範囲は掬わないかあるいは如才無いかまたはどちらもだ fact3: もしとある物はふさふさしないが禍々しいならばやくざっぽくない fact4: すべてのものは出来易い fact5: その怠け心は吊り上がる fact6: もしこの順序関係は禍々しいかふさふさするかあるいは両方ともであるならばそれはピンクベージュでない fact7: あのリベラルアート大学はピンクベージュだ fact8: もしなんらかのものがふさふさしないならばやくざっぽくない fact9: この順序関係は吊り上がる fact10: もしもあの臨床検査室がピンクベージュだということはないならこの順序関係はふさふさするし禍々しい fact11: もし仮にこの順序関係はやくざっぽくない一方で出来易いとすれば「如才無い」ということは確かである ; $hypothesis$ = その範囲は掬わないかあるいは如才無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この順序関係はふさふさする; assump1 -> int1: 「この順序関係は禍々しいかふさふさするか両方である」ということは成り立つ; int1 & fact6 -> int2: この順序関係はピンクベージュでない; int2 & fact1 -> int3: この順序関係は吊り上がらない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この順序関係はふさふさしない」ということは正しい; fact8 -> int6: 仮にこの順序関係がふさふさしないとしたらやくざっぽくない; int5 & int6 -> int7: この順序関係はやくざっぽくない; fact4 -> int8: この順序関係は出来易い; int7 & int8 -> int9: この順序関係はやくざっぽいということはないが出来易い; int9 & fact11 -> int10: この順序関係は如才無い; int10 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの順序関係はピンクベージュでないならそれは吊り上がらない
事実2: もし仮にこの順序関係が如才無いとすればあの範囲は掬わないかあるいは如才無いかまたはどちらもだ
事実3: もしとある物はふさふさしないが禍々しいならばやくざっぽくない
事実4: すべてのものは出来易い
事実5: その怠け心は吊り上がる
事実6: もしこの順序関係は禍々しいかふさふさするかあるいは両方ともであるならばそれはピンクベージュでない
事実7: あのリベラルアート大学はピンクベージュだ
事実8: もしなんらかのものがふさふさしないならばやくざっぽくない
事実9: この順序関係は吊り上がる
事実10: もしもあの臨床検査室がピンクベージュだということはないならこの順序関係はふさふさするし禍々しい
事実11: もし仮にこの順序関係はやくざっぽくない一方で出来易いとすれば「如才無い」ということは確かである

仮説: その範囲は掬わないかあるいは如才無い
1. 仮定1: 以下のように仮定する。この順序関係はふさふさする
2. 仮定1から、推論1: "「この順序関係は禍々しいかふさふさするか両方である」ということは成り立つ"が導かれる
3. 推論1と事実6から、推論2: "この順序関係はピンクベージュでない"が導かれる
4. 推論2と事実1から、推論3: "この順序関係は吊り上がらない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この順序関係はふさふさしない」ということは正しい"が導かれる
7. 事実8から、推論6: "仮にこの順序関係がふさふさしないとしたらやくざっぽくない"が導かれる
8. 推論5と推論6から、推論7: "この順序関係はやくざっぽくない"が導かれる
9. 事実4から、推論8: "この順序関係は出来易い"が導かれる
10. 推論7と推論8から、推論9: "この順序関係はやくざっぽいということはないが出来易い"が導かれる
11. 推論9と事実11から、推論10: "この順序関係は如才無い"が導かれる
12. 推論10と事実2から、仮説が導かれる

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