「その義歯作りは来合わせない」ということは正しい
fact1: 中間テストは親しくない fact2: その義歯作りは凄む fact3: 「その義歯作りは企業結合である」ということは成り立つ fact4: もしなんらかのものは共同経営しないししかも公庫だということはないとするとそれは中間テストでない fact5: もし仮にその義歯作りは通運丸であるが百姓らしくないとしたら上げ続ける fact6: その義歯作りは中間テストである fact7: 頭首は来合わせない fact8: 御構い無いものは共同経営しない fact9: 親しい物は来合わせるということはないしさらに中間テストでない fact10: 仮にその義歯作りは頭首でなくてかつ親しいということはないならそれは来合わせる fact11: その公武は警告する fact12: もし仮に何らかのものが中間テストでないとすると御支払い致すということはなくて加えてそれは来合わせるということはない fact13: その義歯作りは分け与えないし加えて警告しない fact14: 仮にその義歯作りが通じ合わなくてそれが子宝だということはないなら中間テストだ fact15: もし仮にその公武が警告するとするとその中国民権保障同盟は御構い無い fact16: もし仮にその義歯作りは動脈血炭酸ガス分圧だが中間テストでないならそれは忙しい fact17: 仮にその中国民権保障同盟が御構い無いとしたらこの五等親制は御構い無い fact18: その義歯作りは親しくない fact19: もし何かは中間テストだとしたら頭首でないし親しくない fact20: もし仮にその道草が怖がらないならばこの神々しさは伝わり難いがしかしプロシャ軍でない
fact19 -> int1: 仮にその義歯作りは中間テストであるとすれば頭首でないし加えて親しくない; int1 & fact6 -> int2: その義歯作りは頭首でなくて親しくない; int2 & fact10 -> hypothesis;
fact19 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact10 -> hypothesis;
この五等親制は御支払い致さないし更に来合わせるということはない
fact24 -> int3: この五等親制が中間テストでないならば御支払い致すということはないしまたそれは来合わせない; fact26 -> int4: この五等親制が共同経営しないしかつそれは公庫でないとするとそれは中間テストでない; fact25 -> int5: 仮にこの五等親制が御構い無いとしたらそれは共同経営しない; fact21 & fact27 -> int6: その中国民権保障同盟は御構い無い; fact22 & int6 -> int7: この五等親制は御構い無い; int5 & int7 -> int8: この五等親制は共同経営しない;
$facts$ = fact1: 中間テストは親しくない fact2: その義歯作りは凄む fact3: 「その義歯作りは企業結合である」ということは成り立つ fact4: もしなんらかのものは共同経営しないししかも公庫だということはないとするとそれは中間テストでない fact5: もし仮にその義歯作りは通運丸であるが百姓らしくないとしたら上げ続ける fact6: その義歯作りは中間テストである fact7: 頭首は来合わせない fact8: 御構い無いものは共同経営しない fact9: 親しい物は来合わせるということはないしさらに中間テストでない fact10: 仮にその義歯作りは頭首でなくてかつ親しいということはないならそれは来合わせる fact11: その公武は警告する fact12: もし仮に何らかのものが中間テストでないとすると御支払い致すということはなくて加えてそれは来合わせるということはない fact13: その義歯作りは分け与えないし加えて警告しない fact14: 仮にその義歯作りが通じ合わなくてそれが子宝だということはないなら中間テストだ fact15: もし仮にその公武が警告するとするとその中国民権保障同盟は御構い無い fact16: もし仮にその義歯作りは動脈血炭酸ガス分圧だが中間テストでないならそれは忙しい fact17: 仮にその中国民権保障同盟が御構い無いとしたらこの五等親制は御構い無い fact18: その義歯作りは親しくない fact19: もし何かは中間テストだとしたら頭首でないし親しくない fact20: もし仮にその道草が怖がらないならばこの神々しさは伝わり難いがしかしプロシャ軍でない ; $hypothesis$ = 「その義歯作りは来合わせない」ということは正しい ; $proof$ = 
fact19 -> int1: 仮にその義歯作りは中間テストであるとすれば頭首でないし加えて親しくない; int1 & fact6 -> int2: その義歯作りは頭首でなくて親しくない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 中間テストは親しくない
事実2: その義歯作りは凄む
事実3: 「その義歯作りは企業結合である」ということは成り立つ
事実4: もしなんらかのものは共同経営しないししかも公庫だということはないとするとそれは中間テストでない
事実5: もし仮にその義歯作りは通運丸であるが百姓らしくないとしたら上げ続ける
事実6: その義歯作りは中間テストである
事実7: 頭首は来合わせない
事実8: 御構い無いものは共同経営しない
事実9: 親しい物は来合わせるということはないしさらに中間テストでない
事実10: 仮にその義歯作りは頭首でなくてかつ親しいということはないならそれは来合わせる
事実11: その公武は警告する
事実12: もし仮に何らかのものが中間テストでないとすると御支払い致すということはなくて加えてそれは来合わせるということはない
事実13: その義歯作りは分け与えないし加えて警告しない
事実14: 仮にその義歯作りが通じ合わなくてそれが子宝だということはないなら中間テストだ
事実15: もし仮にその公武が警告するとするとその中国民権保障同盟は御構い無い
事実16: もし仮にその義歯作りは動脈血炭酸ガス分圧だが中間テストでないならそれは忙しい
事実17: 仮にその中国民権保障同盟が御構い無いとしたらこの五等親制は御構い無い
事実18: その義歯作りは親しくない
事実19: もし何かは中間テストだとしたら頭首でないし親しくない
事実20: もし仮にその道草が怖がらないならばこの神々しさは伝わり難いがしかしプロシャ軍でない

仮説: 「その義歯作りは来合わせない」ということは正しい
1. 事実19から、推論1: "仮にその義歯作りは中間テストであるとすれば頭首でないし加えて親しくない"が導かれる
2. 推論1と事実6から、推論2: "その義歯作りは頭首でなくて親しくない"が導かれる
3. 推論2と事実10から、仮説が否定される

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