その異常反射はひくつく
fact1: もしも何かは詳しさでないなら「卒後でなくてそれは総合的価値でない」ということは間違いである fact2: 何らかの物が詳しさだとすればそれはひくつく fact3: もしもこの地下壕が侘しくないかまたは総合的価値だということはないとすればあの入れ替えは卒後だ fact4: もし「あの入れ替えは卒後だ」ということは確かであるとしたら「その異常反射は詳しさだ」ということは成り立つ fact5: もし仮にこの地下壕は調査地点でないとするとそれは侘しくない fact6: それは甘酸っぱいし調査地点であるというものはない fact7: もし「この地下壕は総合的価値でない」ということは事実ならあの入れ替えは卒後だ fact8: 何らかの物は調査地点でないなら「それは侘しくない」ということは確かである fact9: もしも「「とあるものは甘酸っぱいし調査地点である」ということは本当である」ということは成り立たないとすれば侘しくない
fact6 -> int1: 「この地下壕は甘酸っぱいしかつ調査地点だ」ということは間違いである; fact9 -> int2: 仮に「この地下壕は甘酸っぱいしその上調査地点だ」ということは間違っているならそれは侘しくない; int1 & int2 -> int3: この地下壕は侘しくない; int3 -> int4: この地下壕は侘しくないか総合的価値でない; int4 & fact3 -> int5: あの入れ替えは卒後だ; int5 & fact4 -> int6: その異常反射は詳しさだ; fact2 -> int7: その異常反射は詳しさであるとしたらそれはひくつく; int6 & int7 -> hypothesis;
その異常反射はひくつかない
fact10 -> int8: もしもあの入れ替えは詳しさでないとすると「卒後でなくてそれにそれは総合的価値でない」ということは成り立たない;
$facts$ = fact1: もしも何かは詳しさでないなら「卒後でなくてそれは総合的価値でない」ということは間違いである fact2: 何らかの物が詳しさだとすればそれはひくつく fact3: もしもこの地下壕が侘しくないかまたは総合的価値だということはないとすればあの入れ替えは卒後だ fact4: もし「あの入れ替えは卒後だ」ということは確かであるとしたら「その異常反射は詳しさだ」ということは成り立つ fact5: もし仮にこの地下壕は調査地点でないとするとそれは侘しくない fact6: それは甘酸っぱいし調査地点であるというものはない fact7: もし「この地下壕は総合的価値でない」ということは事実ならあの入れ替えは卒後だ fact8: 何らかの物は調査地点でないなら「それは侘しくない」ということは確かである fact9: もしも「「とあるものは甘酸っぱいし調査地点である」ということは本当である」ということは成り立たないとすれば侘しくない ; $hypothesis$ = その異常反射はひくつく ; $proof$ = 
fact6 -> int1: 「この地下壕は甘酸っぱいしかつ調査地点だ」ということは間違いである; fact9 -> int2: 仮に「この地下壕は甘酸っぱいしその上調査地点だ」ということは間違っているならそれは侘しくない; int1 & int2 -> int3: この地下壕は侘しくない; int3 -> int4: この地下壕は侘しくないか総合的価値でない; int4 & fact3 -> int5: あの入れ替えは卒後だ; int5 & fact4 -> int6: その異常反射は詳しさだ; fact2 -> int7: その異常反射は詳しさであるとしたらそれはひくつく; int6 & int7 -> hypothesis; __PROVED__
事実1: もしも何かは詳しさでないなら「卒後でなくてそれは総合的価値でない」ということは間違いである
事実2: 何らかの物が詳しさだとすればそれはひくつく
事実3: もしもこの地下壕が侘しくないかまたは総合的価値だということはないとすればあの入れ替えは卒後だ
事実4: もし「あの入れ替えは卒後だ」ということは確かであるとしたら「その異常反射は詳しさだ」ということは成り立つ
事実5: もし仮にこの地下壕は調査地点でないとするとそれは侘しくない
事実6: それは甘酸っぱいし調査地点であるというものはない
事実7: もし「この地下壕は総合的価値でない」ということは事実ならあの入れ替えは卒後だ
事実8: 何らかの物は調査地点でないなら「それは侘しくない」ということは確かである
事実9: もしも「「とあるものは甘酸っぱいし調査地点である」ということは本当である」ということは成り立たないとすれば侘しくない

仮説: その異常反射はひくつく
1. 事実6から、推論1: "「この地下壕は甘酸っぱいしかつ調査地点だ」ということは間違いである"が導かれる
2. 事実9から、推論2: "仮に「この地下壕は甘酸っぱいしその上調査地点だ」ということは間違っているならそれは侘しくない"が導かれる
3. 推論1と推論2から、推論3: "この地下壕は侘しくない"が導かれる
4. 推論3から、推論4: "この地下壕は侘しくないか総合的価値でない"が導かれる
5. 推論4と事実3から、推論5: "あの入れ替えは卒後だ"が導かれる
6. 推論5と事実4から、推論6: "その異常反射は詳しさだ"が導かれる
7. 事実2から、推論7: "その異常反射は詳しさであるとしたらそれはひくつく"が導かれる
8. 推論6と推論7から、仮説が導かれる

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