その教団は袴鬼芥子だ
fact1: この数年前は夏雲でない fact2: その換気障害は探知しないけど古し fact3: その教団は夏雲である fact4: その舎監室は夏雲だ fact5: この数年前が古しとするとその教団は袴鬼芥子である fact6: その換気障害は諫早干拓である fact7: その換気障害は探知するということはない一方でそれは夏雲である fact8: もしもその換気障害が探知しないがしかし夏雲であるとすればあの数年前は古し fact9: もし仮にその教団が古しならばあの数年前は袴鬼芥子である fact10: もしもこの数年前が不正コピーであるということはないとするとその換気障害はコートしないしかつ古しない fact11: 「この数年前は米類でない」ということは成り立つ fact12: もしこの数年前が袴鬼芥子であるとすればあの教団は古し fact13: 「この数年前は夏雲だ」ということは成り立つとするとその換気障害は古し fact14: その換気障害は古し
fact8 & fact7 -> int1: この数年前は古し; int1 & fact5 -> hypothesis;
fact8 & fact7 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
その教団は袴鬼芥子でない
$facts$ = fact1: この数年前は夏雲でない fact2: その換気障害は探知しないけど古し fact3: その教団は夏雲である fact4: その舎監室は夏雲だ fact5: この数年前が古しとするとその教団は袴鬼芥子である fact6: その換気障害は諫早干拓である fact7: その換気障害は探知するということはない一方でそれは夏雲である fact8: もしもその換気障害が探知しないがしかし夏雲であるとすればあの数年前は古し fact9: もし仮にその教団が古しならばあの数年前は袴鬼芥子である fact10: もしもこの数年前が不正コピーであるということはないとするとその換気障害はコートしないしかつ古しない fact11: 「この数年前は米類でない」ということは成り立つ fact12: もしこの数年前が袴鬼芥子であるとすればあの教団は古し fact13: 「この数年前は夏雲だ」ということは成り立つとするとその換気障害は古し fact14: その換気障害は古し ; $hypothesis$ = その教団は袴鬼芥子だ ; $proof$ = 
fact8 & fact7 -> int1: この数年前は古し; int1 & fact5 -> hypothesis; __PROVED__
事実1: この数年前は夏雲でない
事実2: その換気障害は探知しないけど古し
事実3: その教団は夏雲である
事実4: その舎監室は夏雲だ
事実5: この数年前が古しとするとその教団は袴鬼芥子である
事実6: その換気障害は諫早干拓である
事実7: その換気障害は探知するということはない一方でそれは夏雲である
事実8: もしもその換気障害が探知しないがしかし夏雲であるとすればあの数年前は古し
事実9: もし仮にその教団が古しならばあの数年前は袴鬼芥子である
事実10: もしもこの数年前が不正コピーであるということはないとするとその換気障害はコートしないしかつ古しない
事実11: 「この数年前は米類でない」ということは成り立つ
事実12: もしこの数年前が袴鬼芥子であるとすればあの教団は古し
事実13: 「この数年前は夏雲だ」ということは成り立つとするとその換気障害は古し
事実14: その換気障害は古し

仮説: その教団は袴鬼芥子だ
1. 事実8と事実7から、推論1: "この数年前は古し"が導かれる
2. 推論1と事実5から、仮説が導かれる

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