「この粘土質は愛らしいしその上総則だ」ということは成り立たない
fact1: この粘土質は愛らしい一方で混入し易くない fact2: この粘土質は混入し易くない fact3: この先陣は欄であるけれど争い合わない fact4: この粘土質は引き難い fact5: このＰＶＤＣコートフィルムは混入し易い fact6: その出産予定日は愛らしくてかつ私達夫婦だ fact7: 「この粘土質は混入し易いということはない一方で私達夫婦だ」ということは確かだとしたらその出産予定日は愛らしい fact8: その出産予定日は私達夫婦である fact9: 仮にその出産予定日が引き難くないけれど私達夫婦であるならばこの粘土質は総則である fact10: その出産予定日は引き難いということはないがしかし私達夫婦である
fact1 -> int1: この粘土質は愛らしい; fact9 & fact10 -> int2: この粘土質は総則である; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{a}; fact9 & fact10 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: この粘土質は愛らしい一方で混入し易くない fact2: この粘土質は混入し易くない fact3: この先陣は欄であるけれど争い合わない fact4: この粘土質は引き難い fact5: このＰＶＤＣコートフィルムは混入し易い fact6: その出産予定日は愛らしくてかつ私達夫婦だ fact7: 「この粘土質は混入し易いということはない一方で私達夫婦だ」ということは確かだとしたらその出産予定日は愛らしい fact8: その出産予定日は私達夫婦である fact9: 仮にその出産予定日が引き難くないけれど私達夫婦であるならばこの粘土質は総則である fact10: その出産予定日は引き難いということはないがしかし私達夫婦である ; $hypothesis$ = 「この粘土質は愛らしいしその上総則だ」ということは成り立たない ; $proof$ = 
fact1 -> int1: この粘土質は愛らしい; fact9 & fact10 -> int2: この粘土質は総則である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この粘土質は愛らしい一方で混入し易くない
事実2: この粘土質は混入し易くない
事実3: この先陣は欄であるけれど争い合わない
事実4: この粘土質は引き難い
事実5: このＰＶＤＣコートフィルムは混入し易い
事実6: その出産予定日は愛らしくてかつ私達夫婦だ
事実7: 「この粘土質は混入し易いということはない一方で私達夫婦だ」ということは確かだとしたらその出産予定日は愛らしい
事実8: その出産予定日は私達夫婦である
事実9: 仮にその出産予定日が引き難くないけれど私達夫婦であるならばこの粘土質は総則である
事実10: その出産予定日は引き難いということはないがしかし私達夫婦である

仮説: 「この粘土質は愛らしいしその上総則だ」ということは成り立たない
1. 事実1から、推論1: "この粘土質は愛らしい"が導かれる
2. 事実9と事実10から、推論2: "この粘土質は総則である"が導かれる
3. 推論1と推論2から、仮説が否定される

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