あの御尋ね所は流通秩序だ
fact1: もしあの御尋ね所が試衛館だしおまけにそれが大人らしいとすればあのアトリエは大人らしいということはない fact2: 仮にあの御尋ね所は季節風であるならば試衛館である fact3: あの御尋ね所は季節風である fact4: あの御尋ね所は流通秩序である fact5: 大人らしくないものは卑しけど楷でない fact6: もし卑し物は楷であるということはないとしたら流通秩序である fact7: なんらかの物が楷だとしたら流通秩序でないがしかし卑し
fact4 -> hypothesis;
fact4 -> hypothesis;
あのアトリエは流通秩序だ
fact10 -> int1: もしもあのアトリエは卑しがしかし楷だということはないとしたらそれは流通秩序である; fact12 -> int2: もしあのアトリエが大人らしいということはないとするとそれは卑しけど楷だということはない; fact11 & fact8 -> int3: あの御尋ね所は試衛館だ;
$facts$ = fact1: もしあの御尋ね所が試衛館だしおまけにそれが大人らしいとすればあのアトリエは大人らしいということはない fact2: 仮にあの御尋ね所は季節風であるならば試衛館である fact3: あの御尋ね所は季節風である fact4: あの御尋ね所は流通秩序である fact5: 大人らしくないものは卑しけど楷でない fact6: もし卑し物は楷であるということはないとしたら流通秩序である fact7: なんらかの物が楷だとしたら流通秩序でないがしかし卑し ; $hypothesis$ = あの御尋ね所は流通秩序だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしあの御尋ね所が試衛館だしおまけにそれが大人らしいとすればあのアトリエは大人らしいということはない
事実2: 仮にあの御尋ね所は季節風であるならば試衛館である
事実3: あの御尋ね所は季節風である
事実4: あの御尋ね所は流通秩序である
事実5: 大人らしくないものは卑しけど楷でない
事実6: もし卑し物は楷であるということはないとしたら流通秩序である
事実7: なんらかの物が楷だとしたら流通秩序でないがしかし卑し

仮説: あの御尋ね所は流通秩序だ
1. 事実4から、仮説が導かれる

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