この盲目は循環置換であるということはない
fact1: この盲目は受診するし加えて扱い慣れる fact2: なにがしかの物が澄まし汁だとすれば入れ難いということはない fact3: この盲目は受診する fact4: なにかは扱い慣れれば循環置換でない
fact4 -> int1: 仮に「この盲目は扱い慣れる」ということは成り立つとすればそれは循環置換でない; fact1 -> int2: この盲目は扱い慣れる; int1 & int2 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; fact1 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
もしもこの盲目が澄まし汁ならばそれは入れ難くない
fact5 -> hypothesis;
$facts$ = fact1: この盲目は受診するし加えて扱い慣れる fact2: なにがしかの物が澄まし汁だとすれば入れ難いということはない fact3: この盲目は受診する fact4: なにかは扱い慣れれば循環置換でない ; $hypothesis$ = この盲目は循環置換であるということはない ; $proof$ = 
fact4 -> int1: 仮に「この盲目は扱い慣れる」ということは成り立つとすればそれは循環置換でない; fact1 -> int2: この盲目は扱い慣れる; int1 & int2 -> hypothesis; __PROVED__
事実1: この盲目は受診するし加えて扱い慣れる
事実2: なにがしかの物が澄まし汁だとすれば入れ難いということはない
事実3: この盲目は受診する
事実4: なにかは扱い慣れれば循環置換でない

仮説: この盲目は循環置換であるということはない
1. 事実4から、推論1: "仮に「この盲目は扱い慣れる」ということは成り立つとすればそれは循環置換でない"が導かれる
2. 事実1から、推論2: "この盲目は扱い慣れる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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