その青研集会はディスプレースメントでない
fact1: もし仮に「何らかの物はびびるけどそれは切れ落ちない」ということは成り立たないならばそれは沙蚕でない fact2: 仮にこの病像がでぶであるかあるいは関係深いかあるいはどちらもであるならばあの青研集会はディスプレースメントでない fact3: この病像は嘆かわしい fact4: もし何らかの物が沙蚕でないならディスプレースメントでなくてでぶだということはない fact5: この病像は関係深いししかもそれは嘆かわしい fact6: もしも「この病像はでぶだ」ということは誤っているということはないとすれば「その青研集会はディスプレースメントでない」ということは事実だ fact7: 仮に「「なにがしかの物は関係深いがしかし嘆かわしくない」ということは成り立つ」ということは事実と異なるとするとディスプレースメントである fact8: もし仮にこの病像が関係深いかディスプレースメントであるかあるいは両方であるとすればその青研集会はでぶでない fact9: でぶは嘆かわしいけれど関係深くない fact10: もし仮にこの病像がディスプレースメントであるということはなくてかつでぶでないならばそのドリーはでぶである
fact5 -> int1: この病像は関係深い; int1 -> int2: この病像はでぶであるかあるいは関係深いかあるいは両方ともだ; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact2 -> hypothesis;
その青研集会はディスプレースメントである
fact11 -> int3: もし仮に「その青研集会は関係深いけど嘆かわしくない」ということは事実と異なるとすれば「それはディスプレースメントだ」ということは成り立つ;
$facts$ = fact1: もし仮に「何らかの物はびびるけどそれは切れ落ちない」ということは成り立たないならばそれは沙蚕でない fact2: 仮にこの病像がでぶであるかあるいは関係深いかあるいはどちらもであるならばあの青研集会はディスプレースメントでない fact3: この病像は嘆かわしい fact4: もし何らかの物が沙蚕でないならディスプレースメントでなくてでぶだということはない fact5: この病像は関係深いししかもそれは嘆かわしい fact6: もしも「この病像はでぶだ」ということは誤っているということはないとすれば「その青研集会はディスプレースメントでない」ということは事実だ fact7: 仮に「「なにがしかの物は関係深いがしかし嘆かわしくない」ということは成り立つ」ということは事実と異なるとするとディスプレースメントである fact8: もし仮にこの病像が関係深いかディスプレースメントであるかあるいは両方であるとすればその青研集会はでぶでない fact9: でぶは嘆かわしいけれど関係深くない fact10: もし仮にこの病像がディスプレースメントであるということはなくてかつでぶでないならばそのドリーはでぶである ; $hypothesis$ = その青研集会はディスプレースメントでない ; $proof$ = 
fact5 -> int1: この病像は関係深い; int1 -> int2: この病像はでぶであるかあるいは関係深いかあるいは両方ともだ; int2 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物はびびるけどそれは切れ落ちない」ということは成り立たないならばそれは沙蚕でない
事実2: 仮にこの病像がでぶであるかあるいは関係深いかあるいはどちらもであるならばあの青研集会はディスプレースメントでない
事実3: この病像は嘆かわしい
事実4: もし何らかの物が沙蚕でないならディスプレースメントでなくてでぶだということはない
事実5: この病像は関係深いししかもそれは嘆かわしい
事実6: もしも「この病像はでぶだ」ということは誤っているということはないとすれば「その青研集会はディスプレースメントでない」ということは事実だ
事実7: 仮に「「なにがしかの物は関係深いがしかし嘆かわしくない」ということは成り立つ」ということは事実と異なるとするとディスプレースメントである
事実8: もし仮にこの病像が関係深いかディスプレースメントであるかあるいは両方であるとすればその青研集会はでぶでない
事実9: でぶは嘆かわしいけれど関係深くない
事実10: もし仮にこの病像がディスプレースメントであるということはなくてかつでぶでないならばそのドリーはでぶである

仮説: その青研集会はディスプレースメントでない
1. 事実5から、推論1: "この病像は関係深い"が導かれる
2. 推論1から、推論2: "この病像はでぶであるかあるいは関係深いかあるいは両方ともだ"が導かれる
3. 推論2と事実2から、仮説が導かれる

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