この七月渡しは狼狽える
fact1: もしその選択ツールが紛らわせるならばあの七月渡しは狼狽える fact2: もしもその選択ツールが騒がしいならばあの道徳的勇気は組み込みであるけれど胸腔内でない fact3: もし仮にその選択ツールが大差無いならばそれは騒がしい fact4: 芳しくなくて加えて幼けなくない物は狼狽えらない fact5: もしもなにがしかのものが紛らわせるということはないとしたらそれは芳しくないし幼けなくない fact6: あの道徳的勇気は幼けない fact7: 芳しくないものは主張立証である fact8: 幼けなくない物が紛らわせないなら芳しくない fact9: もし仮に「なんらかの物は測定出来ない一方で総株主通知だ」ということは誤りであるならばそれは紛らわせない fact10: 仮に「芳しいかまたは幼けないかまたはどちらもな」物があるとしたらその選択ツールは紛らわせる fact11: もし仮に「あの道徳的勇気は組み込みだ」ということは成り立てば「この七月渡しは測定出来ないけれどそれは総株主通知である」ということは正しくない
fact6 -> int1: あの道徳的勇気は芳しいかあるいは幼けないか両方ともだ; int1 -> int2: 芳しいかまたは幼けないものはある; int2 & fact10 -> int3: その選択ツールは紛らわせる; int3 & fact1 -> hypothesis;
あの通説的見解は主張立証だ
fact12 -> int4: もし仮にあの通説的見解は芳しくないとすると「主張立証である」ということは成り立つ; fact13 -> int5: もし仮にあの通説的見解が幼けなくないしさらに紛らわせないならば芳しくない;
$facts$ = fact1: もしその選択ツールが紛らわせるならばあの七月渡しは狼狽える fact2: もしもその選択ツールが騒がしいならばあの道徳的勇気は組み込みであるけれど胸腔内でない fact3: もし仮にその選択ツールが大差無いならばそれは騒がしい fact4: 芳しくなくて加えて幼けなくない物は狼狽えらない fact5: もしもなにがしかのものが紛らわせるということはないとしたらそれは芳しくないし幼けなくない fact6: あの道徳的勇気は幼けない fact7: 芳しくないものは主張立証である fact8: 幼けなくない物が紛らわせないなら芳しくない fact9: もし仮に「なんらかの物は測定出来ない一方で総株主通知だ」ということは誤りであるならばそれは紛らわせない fact10: 仮に「芳しいかまたは幼けないかまたはどちらもな」物があるとしたらその選択ツールは紛らわせる fact11: もし仮に「あの道徳的勇気は組み込みだ」ということは成り立てば「この七月渡しは測定出来ないけれどそれは総株主通知である」ということは正しくない ; $hypothesis$ = この七月渡しは狼狽える ; $proof$ = 
fact6 -> int1: あの道徳的勇気は芳しいかあるいは幼けないか両方ともだ; int1 -> int2: 芳しいかまたは幼けないものはある; int2 & fact10 -> int3: その選択ツールは紛らわせる; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしその選択ツールが紛らわせるならばあの七月渡しは狼狽える
事実2: もしもその選択ツールが騒がしいならばあの道徳的勇気は組み込みであるけれど胸腔内でない
事実3: もし仮にその選択ツールが大差無いならばそれは騒がしい
事実4: 芳しくなくて加えて幼けなくない物は狼狽えらない
事実5: もしもなにがしかのものが紛らわせるということはないとしたらそれは芳しくないし幼けなくない
事実6: あの道徳的勇気は幼けない
事実7: 芳しくないものは主張立証である
事実8: 幼けなくない物が紛らわせないなら芳しくない
事実9: もし仮に「なんらかの物は測定出来ない一方で総株主通知だ」ということは誤りであるならばそれは紛らわせない
事実10: 仮に「芳しいかまたは幼けないかまたはどちらもな」物があるとしたらその選択ツールは紛らわせる
事実11: もし仮に「あの道徳的勇気は組み込みだ」ということは成り立てば「この七月渡しは測定出来ないけれどそれは総株主通知である」ということは正しくない

仮説: この七月渡しは狼狽える
1. 事実6から、推論1: "あの道徳的勇気は芳しいかあるいは幼けないか両方ともだ"が導かれる
2. 推論1から、推論2: "芳しいかまたは幼けないものはある"が導かれる
3. 推論2と事実10から、推論3: "その選択ツールは紛らわせる"が導かれる
4. 推論3と事実1から、仮説が導かれる

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