この忍び踊りは留学生仲間でしかも特別区である
fact1: その近親相姦は特別区だ fact2: もしある物が新顔なら留学生仲間だ fact3: その近親相姦が特別区ならばあの忍び踊りは特別区である fact4: 新顔は別ルートである fact5: それは決め難いか別ルートでないというものはない fact6: もしなにがしかのものは新顔でないなら「留学生仲間であるしそれに特別区である」ということは偽である fact7: もしも「この二日制は決め難いかもしくは別ルートだということはないかどちらもだ」ということは成り立たないとするとこの忍び踊りは新顔である
fact5 -> int1: 「この二日制は決め難いか別ルートでないかどちらもである」ということは誤りである; int1 & fact7 -> int2: この忍び踊りは新顔である; fact2 -> int3: もしもこの忍び踊りが新顔だとするとそれは留学生仲間である; int2 & int3 -> int4: この忍び踊りは留学生仲間だ; fact1 & fact3 -> int5: この忍び踊りは特別区だ; int4 & int5 -> hypothesis;
「この忍び踊りは留学生仲間であるしおまけに特別区である」ということは間違いだ
fact8 -> int6: もしこの忍び踊りは新顔でないならば「留学生仲間であるし更に特別区だ」ということは事実でない;
$facts$ = fact1: その近親相姦は特別区だ fact2: もしある物が新顔なら留学生仲間だ fact3: その近親相姦が特別区ならばあの忍び踊りは特別区である fact4: 新顔は別ルートである fact5: それは決め難いか別ルートでないというものはない fact6: もしなにがしかのものは新顔でないなら「留学生仲間であるしそれに特別区である」ということは偽である fact7: もしも「この二日制は決め難いかもしくは別ルートだということはないかどちらもだ」ということは成り立たないとするとこの忍び踊りは新顔である ; $hypothesis$ = この忍び踊りは留学生仲間でしかも特別区である ; $proof$ = 
fact5 -> int1: 「この二日制は決め難いか別ルートでないかどちらもである」ということは誤りである; int1 & fact7 -> int2: この忍び踊りは新顔である; fact2 -> int3: もしもこの忍び踊りが新顔だとするとそれは留学生仲間である; int2 & int3 -> int4: この忍び踊りは留学生仲間だ; fact1 & fact3 -> int5: この忍び踊りは特別区だ; int4 & int5 -> hypothesis; __PROVED__
事実1: その近親相姦は特別区だ
事実2: もしある物が新顔なら留学生仲間だ
事実3: その近親相姦が特別区ならばあの忍び踊りは特別区である
事実4: 新顔は別ルートである
事実5: それは決め難いか別ルートでないというものはない
事実6: もしなにがしかのものは新顔でないなら「留学生仲間であるしそれに特別区である」ということは偽である
事実7: もしも「この二日制は決め難いかもしくは別ルートだということはないかどちらもだ」ということは成り立たないとするとこの忍び踊りは新顔である

仮説: この忍び踊りは留学生仲間でしかも特別区である
1. 事実5から、推論1: "「この二日制は決め難いか別ルートでないかどちらもである」ということは誤りである"が導かれる
2. 推論1と事実7から、推論2: "この忍び踊りは新顔である"が導かれる
3. 事実2から、推論3: "もしもこの忍び踊りが新顔だとするとそれは留学生仲間である"が導かれる
4. 推論2と推論3から、推論4: "この忍び踊りは留学生仲間だ"が導かれる
5. 事実1と事実3から、推論5: "この忍び踊りは特別区だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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