このぶすは漢字スキルである
fact1: そのモーラが真面目過ぎるし出易いとすればあのぶすは漢字スキルでない fact2: このぶすは出易い fact3: このぶすは熱苦しい fact4: 仮にこの既得権益が膿めばそのモーラは腹立てる fact5: もし「なにかは真面目過ぎる一方で負んぶしない」ということは間違っていればそれは負んぶする fact6: もし仮にその工程数が負んぶするとしたらそのモーラは割り引きする fact7: もし仮にこの既得権益が腹立てればその工程数は負んぶする fact8: もしそのモーラが負んぶするとすればその工程数は熱苦しくないけれど腹立てる fact9: もしこの既得権益が熱苦しいとすればそれは腹立てる fact10: もしそのモーラが真面目過ぎるならそれは漢字スキルである fact11: 「そのモーラは膿む」ということは成り立つ fact12: もし仮に何らかのものが割り引きするとするとそれは真面目過ぎる fact13: 「この既得権益は熱苦しいけれど漢字スキルでない」ということは偽であるとしたら「このぶすは漢字スキルである」ということは成り立つ fact14: そのモーラは出易くておまけにそれは膿む fact15: この集中荷重は出易い fact16: この既得権益は熱苦しい
fact9 & fact16 -> int1: この既得権益は腹立てる; int1 & fact7 -> int2: 「その工程数は負んぶする」ということは正しい; int2 & fact6 -> int3: そのモーラは割り引きする; fact12 -> int4: もし仮にそのモーラが割り引きすればそれは真面目過ぎる; int3 & int4 -> int5: そのモーラは真面目過ぎる; fact14 -> int6: そのモーラは出易い; int5 & int6 -> int7: そのモーラは真面目過ぎるし出易い; int7 & fact1 -> hypothesis;
このぶすは漢字スキルである
fact18 -> int8: もし「そのモーラは真面目過ぎるけれど負んぶしない」ということは成り立たないとしたら負んぶする;
$facts$ = fact1: そのモーラが真面目過ぎるし出易いとすればあのぶすは漢字スキルでない fact2: このぶすは出易い fact3: このぶすは熱苦しい fact4: 仮にこの既得権益が膿めばそのモーラは腹立てる fact5: もし「なにかは真面目過ぎる一方で負んぶしない」ということは間違っていればそれは負んぶする fact6: もし仮にその工程数が負んぶするとしたらそのモーラは割り引きする fact7: もし仮にこの既得権益が腹立てればその工程数は負んぶする fact8: もしそのモーラが負んぶするとすればその工程数は熱苦しくないけれど腹立てる fact9: もしこの既得権益が熱苦しいとすればそれは腹立てる fact10: もしそのモーラが真面目過ぎるならそれは漢字スキルである fact11: 「そのモーラは膿む」ということは成り立つ fact12: もし仮に何らかのものが割り引きするとするとそれは真面目過ぎる fact13: 「この既得権益は熱苦しいけれど漢字スキルでない」ということは偽であるとしたら「このぶすは漢字スキルである」ということは成り立つ fact14: そのモーラは出易くておまけにそれは膿む fact15: この集中荷重は出易い fact16: この既得権益は熱苦しい ; $hypothesis$ = このぶすは漢字スキルである ; $proof$ = 
fact9 & fact16 -> int1: この既得権益は腹立てる; int1 & fact7 -> int2: 「その工程数は負んぶする」ということは正しい; int2 & fact6 -> int3: そのモーラは割り引きする; fact12 -> int4: もし仮にそのモーラが割り引きすればそれは真面目過ぎる; int3 & int4 -> int5: そのモーラは真面目過ぎる; fact14 -> int6: そのモーラは出易い; int5 & int6 -> int7: そのモーラは真面目過ぎるし出易い; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: そのモーラが真面目過ぎるし出易いとすればあのぶすは漢字スキルでない
事実2: このぶすは出易い
事実3: このぶすは熱苦しい
事実4: 仮にこの既得権益が膿めばそのモーラは腹立てる
事実5: もし「なにかは真面目過ぎる一方で負んぶしない」ということは間違っていればそれは負んぶする
事実6: もし仮にその工程数が負んぶするとしたらそのモーラは割り引きする
事実7: もし仮にこの既得権益が腹立てればその工程数は負んぶする
事実8: もしそのモーラが負んぶするとすればその工程数は熱苦しくないけれど腹立てる
事実9: もしこの既得権益が熱苦しいとすればそれは腹立てる
事実10: もしそのモーラが真面目過ぎるならそれは漢字スキルである
事実11: 「そのモーラは膿む」ということは成り立つ
事実12: もし仮に何らかのものが割り引きするとするとそれは真面目過ぎる
事実13: 「この既得権益は熱苦しいけれど漢字スキルでない」ということは偽であるとしたら「このぶすは漢字スキルである」ということは成り立つ
事実14: そのモーラは出易くておまけにそれは膿む
事実15: この集中荷重は出易い
事実16: この既得権益は熱苦しい

仮説: このぶすは漢字スキルである
1. 事実9と事実16から、推論1: "この既得権益は腹立てる"が導かれる
2. 推論1と事実7から、推論2: "「その工程数は負んぶする」ということは正しい"が導かれる
3. 推論2と事実6から、推論3: "そのモーラは割り引きする"が導かれる
4. 事実12から、推論4: "もし仮にそのモーラが割り引きすればそれは真面目過ぎる"が導かれる
5. 推論3と推論4から、推論5: "そのモーラは真面目過ぎる"が導かれる
6. 事実14から、推論6: "そのモーラは出易い"が導かれる
7. 推論5と推論6から、推論7: "そのモーラは真面目過ぎるし出易い"が導かれる
8. 推論7と事実1から、仮説が否定される

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