その御持て成し気分は怪しい
fact1: その御持て成し気分が度し難いけれど見物しないとしたらこの趾間は不安軽減でない fact2: もし仮にその御持て成し気分がしゃあ無いならばそれは怪しい fact3: もしこの趾間が度し難いがしかししゃあ無くないならその御持て成し気分は怪しくない fact4: 仮にあの儒教道徳が見物するということはないとすればこの趾間は不安軽減であるし加えて怪しい fact5: なにかは見物するとしたらそれが度し難いしその上それはしゃあ無くない fact6: この趾間は不安軽減である fact7: この趾間は目敏い fact8: 「この趾間はしゃあ無い」ということは本当だとしたら「怪しい一方で見物しない」ということは確かだ fact9: もしもこの趾間が怪しいならばその御持て成し気分は怪しい fact10: もし仮にこの趾間が不安軽減なら見物する
fact10 & fact6 -> int1: この趾間は見物する; fact5 -> int2: もしもこの趾間が見物するとしたらそれは度し難いがしかししゃあ無いということはない; int1 & int2 -> int3: この趾間は度し難い一方でしゃあ無くない; int3 & fact3 -> hypothesis;
fact10 & fact6 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> ({C}{a} & ¬{D}{a}); int1 & int2 -> int3: ({C}{a} & ¬{D}{a}); int3 & fact3 -> hypothesis;
「その御持て成し気分は怪しい」ということは正しい
$facts$ = fact1: その御持て成し気分が度し難いけれど見物しないとしたらこの趾間は不安軽減でない fact2: もし仮にその御持て成し気分がしゃあ無いならばそれは怪しい fact3: もしこの趾間が度し難いがしかししゃあ無くないならその御持て成し気分は怪しくない fact4: 仮にあの儒教道徳が見物するということはないとすればこの趾間は不安軽減であるし加えて怪しい fact5: なにかは見物するとしたらそれが度し難いしその上それはしゃあ無くない fact6: この趾間は不安軽減である fact7: この趾間は目敏い fact8: 「この趾間はしゃあ無い」ということは本当だとしたら「怪しい一方で見物しない」ということは確かだ fact9: もしもこの趾間が怪しいならばその御持て成し気分は怪しい fact10: もし仮にこの趾間が不安軽減なら見物する ; $hypothesis$ = その御持て成し気分は怪しい ; $proof$ = 
fact10 & fact6 -> int1: この趾間は見物する; fact5 -> int2: もしもこの趾間が見物するとしたらそれは度し難いがしかししゃあ無いということはない; int1 & int2 -> int3: この趾間は度し難い一方でしゃあ無くない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: その御持て成し気分が度し難いけれど見物しないとしたらこの趾間は不安軽減でない
事実2: もし仮にその御持て成し気分がしゃあ無いならばそれは怪しい
事実3: もしこの趾間が度し難いがしかししゃあ無くないならその御持て成し気分は怪しくない
事実4: 仮にあの儒教道徳が見物するということはないとすればこの趾間は不安軽減であるし加えて怪しい
事実5: なにかは見物するとしたらそれが度し難いしその上それはしゃあ無くない
事実6: この趾間は不安軽減である
事実7: この趾間は目敏い
事実8: 「この趾間はしゃあ無い」ということは本当だとしたら「怪しい一方で見物しない」ということは確かだ
事実9: もしもこの趾間が怪しいならばその御持て成し気分は怪しい
事実10: もし仮にこの趾間が不安軽減なら見物する

仮説: その御持て成し気分は怪しい
1. 事実10と事実6から、推論1: "この趾間は見物する"が導かれる
2. 事実5から、推論2: "もしもこの趾間が見物するとしたらそれは度し難いがしかししゃあ無いということはない"が導かれる
3. 推論1と推論2から、推論3: "この趾間は度し難い一方でしゃあ無くない"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。