その爻は説明し難い
fact1: もしもなにがしかの物が女らしいけれど理義でないとすると説明し難くない fact2: もしもこの遺族給付金が抱き起こさないならそれは騒がしくない fact3: もしもこの映画術が女らしくてさらに理義だとすると説明し難くない fact4: もし仮にこの遺族給付金が騒がしくないとするとこの映画術は女らしいが理義でない fact5: 「この遺族給付金は温かくないが抱き起こす」ということは事実と異なるなら「騒がしくない」ということは事実だ fact6: 「この遺族給付金は温かくないけれど抱き起こす」ということは偽だ fact7: もしもこの遺族給付金が騒がしいということはないならばこの映画術は理義だということはない fact8: この映画術は理義でない fact9: その爻は会社案内だ fact10: 仮にあるものが会社案内だということはないならば理義であるし更にそれは騒がしい fact11: 「仮に「女らしくないかあるいは騒がしいかまたはどちらもな」物があるならばあの訂正後は説明し難くない」ということは真実である fact12: もし仮にこの映画術が説明し難くないならその爻は会社案内である fact13: もし仮にこの映画術が説明し難くないとするとその爻は会社案内であるしそれは説明し難い fact14: もしも女らしい物は理義であるとしたらそれは説明し難くない
fact5 & fact6 -> int1: この遺族給付金は騒がしくない; int1 & fact4 -> int2: この映画術は女らしいけど理義でない; fact1 -> int3: この映画術は女らしいけど理義でないとすれば説明し難くない; int2 & int3 -> int4: この映画術は説明し難くない; int4 & fact13 -> int5: その爻は会社案内であるし説明し難い; int5 -> hypothesis;
この訂正後は説明し難いということはない
fact16 -> int6: もしもこの映画術が会社案内でないとすると理義であるし騒がしい;
$facts$ = fact1: もしもなにがしかの物が女らしいけれど理義でないとすると説明し難くない fact2: もしもこの遺族給付金が抱き起こさないならそれは騒がしくない fact3: もしもこの映画術が女らしくてさらに理義だとすると説明し難くない fact4: もし仮にこの遺族給付金が騒がしくないとするとこの映画術は女らしいが理義でない fact5: 「この遺族給付金は温かくないが抱き起こす」ということは事実と異なるなら「騒がしくない」ということは事実だ fact6: 「この遺族給付金は温かくないけれど抱き起こす」ということは偽だ fact7: もしもこの遺族給付金が騒がしいということはないならばこの映画術は理義だということはない fact8: この映画術は理義でない fact9: その爻は会社案内だ fact10: 仮にあるものが会社案内だということはないならば理義であるし更にそれは騒がしい fact11: 「仮に「女らしくないかあるいは騒がしいかまたはどちらもな」物があるならばあの訂正後は説明し難くない」ということは真実である fact12: もし仮にこの映画術が説明し難くないならその爻は会社案内である fact13: もし仮にこの映画術が説明し難くないとするとその爻は会社案内であるしそれは説明し難い fact14: もしも女らしい物は理義であるとしたらそれは説明し難くない ; $hypothesis$ = その爻は説明し難い ; $proof$ = 
fact5 & fact6 -> int1: この遺族給付金は騒がしくない; int1 & fact4 -> int2: この映画術は女らしいけど理義でない; fact1 -> int3: この映画術は女らしいけど理義でないとすれば説明し難くない; int2 & int3 -> int4: この映画術は説明し難くない; int4 & fact13 -> int5: その爻は会社案内であるし説明し難い; int5 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が女らしいけれど理義でないとすると説明し難くない
事実2: もしもこの遺族給付金が抱き起こさないならそれは騒がしくない
事実3: もしもこの映画術が女らしくてさらに理義だとすると説明し難くない
事実4: もし仮にこの遺族給付金が騒がしくないとするとこの映画術は女らしいが理義でない
事実5: 「この遺族給付金は温かくないが抱き起こす」ということは事実と異なるなら「騒がしくない」ということは事実だ
事実6: 「この遺族給付金は温かくないけれど抱き起こす」ということは偽だ
事実7: もしもこの遺族給付金が騒がしいということはないならばこの映画術は理義だということはない
事実8: この映画術は理義でない
事実9: その爻は会社案内だ
事実10: 仮にあるものが会社案内だということはないならば理義であるし更にそれは騒がしい
事実11: 「仮に「女らしくないかあるいは騒がしいかまたはどちらもな」物があるならばあの訂正後は説明し難くない」ということは真実である
事実12: もし仮にこの映画術が説明し難くないならその爻は会社案内である
事実13: もし仮にこの映画術が説明し難くないとするとその爻は会社案内であるしそれは説明し難い
事実14: もしも女らしい物は理義であるとしたらそれは説明し難くない

仮説: その爻は説明し難い
1. 事実5と事実6から、推論1: "この遺族給付金は騒がしくない"が導かれる
2. 推論1と事実4から、推論2: "この映画術は女らしいけど理義でない"が導かれる
3. 事実1から、推論3: "この映画術は女らしいけど理義でないとすれば説明し難くない"が導かれる
4. 推論2と推論3から、推論4: "この映画術は説明し難くない"が導かれる
5. 推論4と事実13から、推論5: "その爻は会社案内であるし説明し難い"が導かれる
6. 推論5から、仮説が導かれる

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