あの感覚毛は思し
fact1: 仮に「そのモデルルームは荒いかもしくは憂くないかあるいはどちらもだ」ということは成り立たないならば芝居染みる fact2: もし仮に「とあるものは肥厚するかまたは憂いということはないかまたは両方ともである」ということは成り立たないならば抜け易い fact3: そのモデルルームは荒くない fact4: 何らかのものが抜け易いならそれは御固い fact5: もしもあの小百姓が回勅であるけどそれが芝居染みないとすればそのモデルルームは複合でない fact6: もしも「なんらかのものは肥厚するかまたは思しない」ということは成り立たないならば回勅だ fact7: あの小百姓は回勅であるけれど芝居染みるということはない fact8: もしもあの小百姓が思しないとしたら芝居染みる fact9: もし仮にそのモデルルームは複合でないが御固いならば「あの感覚毛は思し」ということは確かだ fact10: 仮にそのモデルルームは荒くないとすれば「肥厚するか憂くないか両方ともである」ということは真実でない fact11: もしも「そのモデルルームは芝居染みる一方で肥厚しない」ということは間違っていないとするとあの小百姓は御固くない fact12: あの感覚毛は芝居染みない
fact2 -> int1: もしも「そのモデルルームは肥厚するかまたは憂くない」ということは間違っているなら抜け易い; fact10 & fact3 -> int2: 「そのモデルルームは肥厚するかあるいはそれは憂くないかまたは両方ともである」ということは事実と異なる; int1 & int2 -> int3: そのモデルルームは抜け易い; fact4 -> int4: もし仮にそのモデルルームが抜け易いなら御固い; int3 & int4 -> int5: そのモデルルームは御固い; fact7 & fact5 -> int6: そのモデルルームは複合であるということはない; int5 & int6 -> int7: そのモデルルームは複合でないけれど御固い; int7 & fact9 -> hypothesis;
$facts$ = fact1: 仮に「そのモデルルームは荒いかもしくは憂くないかあるいはどちらもだ」ということは成り立たないならば芝居染みる fact2: もし仮に「とあるものは肥厚するかまたは憂いということはないかまたは両方ともである」ということは成り立たないならば抜け易い fact3: そのモデルルームは荒くない fact4: 何らかのものが抜け易いならそれは御固い fact5: もしもあの小百姓が回勅であるけどそれが芝居染みないとすればそのモデルルームは複合でない fact6: もしも「なんらかのものは肥厚するかまたは思しない」ということは成り立たないならば回勅だ fact7: あの小百姓は回勅であるけれど芝居染みるということはない fact8: もしもあの小百姓が思しないとしたら芝居染みる fact9: もし仮にそのモデルルームは複合でないが御固いならば「あの感覚毛は思し」ということは確かだ fact10: 仮にそのモデルルームは荒くないとすれば「肥厚するか憂くないか両方ともである」ということは真実でない fact11: もしも「そのモデルルームは芝居染みる一方で肥厚しない」ということは間違っていないとするとあの小百姓は御固くない fact12: あの感覚毛は芝居染みない ; $hypothesis$ = あの感覚毛は思し ; $proof$ = 
fact2 -> int1: もしも「そのモデルルームは肥厚するかまたは憂くない」ということは間違っているなら抜け易い; fact10 & fact3 -> int2: 「そのモデルルームは肥厚するかあるいはそれは憂くないかまたは両方ともである」ということは事実と異なる; int1 & int2 -> int3: そのモデルルームは抜け易い; fact4 -> int4: もし仮にそのモデルルームが抜け易いなら御固い; int3 & int4 -> int5: そのモデルルームは御固い; fact7 & fact5 -> int6: そのモデルルームは複合であるということはない; int5 & int6 -> int7: そのモデルルームは複合でないけれど御固い; int7 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「そのモデルルームは荒いかもしくは憂くないかあるいはどちらもだ」ということは成り立たないならば芝居染みる
事実2: もし仮に「とあるものは肥厚するかまたは憂いということはないかまたは両方ともである」ということは成り立たないならば抜け易い
事実3: そのモデルルームは荒くない
事実4: 何らかのものが抜け易いならそれは御固い
事実5: もしもあの小百姓が回勅であるけどそれが芝居染みないとすればそのモデルルームは複合でない
事実6: もしも「なんらかのものは肥厚するかまたは思しない」ということは成り立たないならば回勅だ
事実7: あの小百姓は回勅であるけれど芝居染みるということはない
事実8: もしもあの小百姓が思しないとしたら芝居染みる
事実9: もし仮にそのモデルルームは複合でないが御固いならば「あの感覚毛は思し」ということは確かだ
事実10: 仮にそのモデルルームは荒くないとすれば「肥厚するか憂くないか両方ともである」ということは真実でない
事実11: もしも「そのモデルルームは芝居染みる一方で肥厚しない」ということは間違っていないとするとあの小百姓は御固くない
事実12: あの感覚毛は芝居染みない

仮説: あの感覚毛は思し
1. 事実2から、推論1: "もしも「そのモデルルームは肥厚するかまたは憂くない」ということは間違っているなら抜け易い"が導かれる
2. 事実10と事実3から、推論2: "「そのモデルルームは肥厚するかあるいはそれは憂くないかまたは両方ともである」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "そのモデルルームは抜け易い"が導かれる
4. 事実4から、推論4: "もし仮にそのモデルルームが抜け易いなら御固い"が導かれる
5. 推論3と推論4から、推論5: "そのモデルルームは御固い"が導かれる
6. 事実7と事実5から、推論6: "そのモデルルームは複合であるということはない"が導かれる
7. 推論5と推論6から、推論7: "そのモデルルームは複合でないけれど御固い"が導かれる
8. 推論7と事実9から、仮説が導かれる

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