あのＭＫはデータ化しない
fact1: この桃花は既習である fact2: もし仮にこの桃花が混入し易いとすればあのＭＫはデータ化する fact3: この桃花は混入し易くて加えて既習だ fact4: あのＭＫは混入し易い fact5: 仮になんらかのものはフラバンでないとすれば「それは既習でない一方で混入し易い」ということは偽である fact6: 「この桃花は平均標準報酬月額である」ということは確かである fact7: 「あの三得点は既習だ」ということは成り立つ fact8: あのＭＫは既習である fact9: もし仮に「なにがしかのものは混入し易いがデータ化しない」ということは間違いであるなら「データ化する」ということは成り立つ fact10: その政党人は既習である
fact3 -> int1: 「この桃花は混入し易い」ということは事実だ; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
この上左はデータ化する
fact11 -> int2: もしも「この上左は混入し易いけれどデータ化しない」ということは成り立つということはないとしたらそれはデータ化する;
$facts$ = fact1: この桃花は既習である fact2: もし仮にこの桃花が混入し易いとすればあのＭＫはデータ化する fact3: この桃花は混入し易くて加えて既習だ fact4: あのＭＫは混入し易い fact5: 仮になんらかのものはフラバンでないとすれば「それは既習でない一方で混入し易い」ということは偽である fact6: 「この桃花は平均標準報酬月額である」ということは確かである fact7: 「あの三得点は既習だ」ということは成り立つ fact8: あのＭＫは既習である fact9: もし仮に「なにがしかのものは混入し易いがデータ化しない」ということは間違いであるなら「データ化する」ということは成り立つ fact10: その政党人は既習である ; $hypothesis$ = あのＭＫはデータ化しない ; $proof$ = 
fact3 -> int1: 「この桃花は混入し易い」ということは事実だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: この桃花は既習である
事実2: もし仮にこの桃花が混入し易いとすればあのＭＫはデータ化する
事実3: この桃花は混入し易くて加えて既習だ
事実4: あのＭＫは混入し易い
事実5: 仮になんらかのものはフラバンでないとすれば「それは既習でない一方で混入し易い」ということは偽である
事実6: 「この桃花は平均標準報酬月額である」ということは確かである
事実7: 「あの三得点は既習だ」ということは成り立つ
事実8: あのＭＫは既習である
事実9: もし仮に「なにがしかのものは混入し易いがデータ化しない」ということは間違いであるなら「データ化する」ということは成り立つ
事実10: その政党人は既習である

仮説: あのＭＫはデータ化しない
1. 事実3から、推論1: "「この桃花は混入し易い」ということは事実だ"が導かれる
2. 推論1と事実2から、仮説が否定される

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