「この勤務先は上位等級で物凄い」ということは誤りである
fact1: その味自体は擬人化する fact2: この審査支払い機関は上位等級である fact3: このミュータントは好ましくて物凄い fact4: 「あの美食は上位等級である」ということは確かだ fact5: この勤務先は療養型病床である fact6: 「この勤務先は出為さる」ということは正しい fact7: 「この勤務先は物凄い」ということは確かだ fact8: 仮にある物は添付すけどオープンセットでないとすると監査委員会メンバーだということはない fact9: もし仮になんらかのものがオープンセットであるということはないかあるいはそれは折り返すということはないかもしくは両方ともだとするとオープンセットでない fact10: その単項制は真面目過ぎるし物凄い fact11: この勤務先は上位等級だ fact12: この勤務先は招き易い fact13: 仮になにがしかのものは監査委員会メンバーであるということはないとすれば「上位等級であるし物凄い」ということは間違いだ fact14: 上位等級は囁き交わす fact15: 「この勤務先は添付す」ということは本当である
fact11 & fact7 -> hypothesis;
fact11 & fact7 -> hypothesis;
その味自体は擬人化するし囁き交わす
fact17 -> int1: もしもその味自体は上位等級であるなら囁き交わす;
$facts$ = fact1: その味自体は擬人化する fact2: この審査支払い機関は上位等級である fact3: このミュータントは好ましくて物凄い fact4: 「あの美食は上位等級である」ということは確かだ fact5: この勤務先は療養型病床である fact6: 「この勤務先は出為さる」ということは正しい fact7: 「この勤務先は物凄い」ということは確かだ fact8: 仮にある物は添付すけどオープンセットでないとすると監査委員会メンバーだということはない fact9: もし仮になんらかのものがオープンセットであるということはないかあるいはそれは折り返すということはないかもしくは両方ともだとするとオープンセットでない fact10: その単項制は真面目過ぎるし物凄い fact11: この勤務先は上位等級だ fact12: この勤務先は招き易い fact13: 仮になにがしかのものは監査委員会メンバーであるということはないとすれば「上位等級であるし物凄い」ということは間違いだ fact14: 上位等級は囁き交わす fact15: 「この勤務先は添付す」ということは本当である ; $hypothesis$ = 「この勤務先は上位等級で物凄い」ということは誤りである ; $proof$ = 
fact11 & fact7 -> hypothesis; __DISPROVED__
事実1: その味自体は擬人化する
事実2: この審査支払い機関は上位等級である
事実3: このミュータントは好ましくて物凄い
事実4: 「あの美食は上位等級である」ということは確かだ
事実5: この勤務先は療養型病床である
事実6: 「この勤務先は出為さる」ということは正しい
事実7: 「この勤務先は物凄い」ということは確かだ
事実8: 仮にある物は添付すけどオープンセットでないとすると監査委員会メンバーだということはない
事実9: もし仮になんらかのものがオープンセットであるということはないかあるいはそれは折り返すということはないかもしくは両方ともだとするとオープンセットでない
事実10: その単項制は真面目過ぎるし物凄い
事実11: この勤務先は上位等級だ
事実12: この勤務先は招き易い
事実13: 仮になにがしかのものは監査委員会メンバーであるということはないとすれば「上位等級であるし物凄い」ということは間違いだ
事実14: 上位等級は囁き交わす
事実15: 「この勤務先は添付す」ということは本当である

仮説: 「この勤務先は上位等級で物凄い」ということは誤りである
1. 事実11と事実7から、仮説が否定される

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