このサンプルスロットは見積もり書だ
fact1: この単身は貧し fact2: もしもこのサンプルスロットが馴染み易いしその上貧しならこの単身は貧しない fact3: 仮にとある物は貧しということはないなら「それは見積もり書でなくて中央法規出版でない」ということは事実でない fact4: もし仮にこの単身が中央法規出版であるとしたらこのサンプルスロットは見積もり書でない fact5: 仮にこの単身が中央法規出版であるかもしくは貧しかまたは両方ならばこのサンプルスロットは見積もり書でない fact6: 「もしもこのサンプルスロットが貧しかまたは見積もり書であるかもしくは両方だとするとこの単身は中央法規出版でない」ということは正しい fact7: このサンプルスロットは最高値である fact8: この単身は見積もり書であるかもしくはそれは中央法規出版であるかまたはどちらもである fact9: もし仮にあの六時半は心憎くないなら「「このサンプルスロットは薄らぐしかつ記号化する」ということは成り立たない」ということは事実だ fact10: この単身は見積もり書だ fact11: 中央法規出版は見積もり書だ fact12: もし何らかのものはＣＧっぽさであるということはないとすれば「それは馴染み易いし貧し」ということは正しい fact13: 「このサンプルスロットは薄らぐし加えて記号化する」ということは間違いだとしたらそれは記号化しない fact14: 仮にこのサンプルスロットは記号化するということはないとしたら「ＣＧっぽさでなくてしかも退却する」ということは真実である
fact1 -> int1: この単身は中央法規出版であるかまたはそれは貧し; int1 & fact5 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> hypothesis;
「この教室環境は中央法規出版だ」ということは成り立つ
fact20 -> int2: この単身は貧しということはないとしたら「「それは見積もり書でなくてまた中央法規出版でない」ということは本当である」ということは偽である; fact17 -> int3: もし仮にこのサンプルスロットがＣＧっぽさであるということはないとすると馴染み易くておまけに貧し;
$facts$ = fact1: この単身は貧し fact2: もしもこのサンプルスロットが馴染み易いしその上貧しならこの単身は貧しない fact3: 仮にとある物は貧しということはないなら「それは見積もり書でなくて中央法規出版でない」ということは事実でない fact4: もし仮にこの単身が中央法規出版であるとしたらこのサンプルスロットは見積もり書でない fact5: 仮にこの単身が中央法規出版であるかもしくは貧しかまたは両方ならばこのサンプルスロットは見積もり書でない fact6: 「もしもこのサンプルスロットが貧しかまたは見積もり書であるかもしくは両方だとするとこの単身は中央法規出版でない」ということは正しい fact7: このサンプルスロットは最高値である fact8: この単身は見積もり書であるかもしくはそれは中央法規出版であるかまたはどちらもである fact9: もし仮にあの六時半は心憎くないなら「「このサンプルスロットは薄らぐしかつ記号化する」ということは成り立たない」ということは事実だ fact10: この単身は見積もり書だ fact11: 中央法規出版は見積もり書だ fact12: もし何らかのものはＣＧっぽさであるということはないとすれば「それは馴染み易いし貧し」ということは正しい fact13: 「このサンプルスロットは薄らぐし加えて記号化する」ということは間違いだとしたらそれは記号化しない fact14: 仮にこのサンプルスロットは記号化するということはないとしたら「ＣＧっぽさでなくてしかも退却する」ということは真実である ; $hypothesis$ = このサンプルスロットは見積もり書だ ; $proof$ = 
fact1 -> int1: この単身は中央法規出版であるかまたはそれは貧し; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: この単身は貧し
事実2: もしもこのサンプルスロットが馴染み易いしその上貧しならこの単身は貧しない
事実3: 仮にとある物は貧しということはないなら「それは見積もり書でなくて中央法規出版でない」ということは事実でない
事実4: もし仮にこの単身が中央法規出版であるとしたらこのサンプルスロットは見積もり書でない
事実5: 仮にこの単身が中央法規出版であるかもしくは貧しかまたは両方ならばこのサンプルスロットは見積もり書でない
事実6: 「もしもこのサンプルスロットが貧しかまたは見積もり書であるかもしくは両方だとするとこの単身は中央法規出版でない」ということは正しい
事実7: このサンプルスロットは最高値である
事実8: この単身は見積もり書であるかもしくはそれは中央法規出版であるかまたはどちらもである
事実9: もし仮にあの六時半は心憎くないなら「「このサンプルスロットは薄らぐしかつ記号化する」ということは成り立たない」ということは事実だ
事実10: この単身は見積もり書だ
事実11: 中央法規出版は見積もり書だ
事実12: もし何らかのものはＣＧっぽさであるということはないとすれば「それは馴染み易いし貧し」ということは正しい
事実13: 「このサンプルスロットは薄らぐし加えて記号化する」ということは間違いだとしたらそれは記号化しない
事実14: 仮にこのサンプルスロットは記号化するということはないとしたら「ＣＧっぽさでなくてしかも退却する」ということは真実である

仮説: このサンプルスロットは見積もり書だ
1. 事実1から、推論1: "この単身は中央法規出版であるかまたはそれは貧し"が導かれる
2. 推論1と事実5から、仮説が否定される

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