「その学習プリントは召し抱えるし十五年度版だ」ということは間違っている
fact1: もしも「そのミッドコードは寅年であるか激しくないかどちらもである」ということは正しくないとするとその学習プリントは十五年度版だ fact2: あの生育障害は激しい fact3: その学習プリントは配れない fact4: そのミッドコードはフォン・トラップ一家だがしかし配れるということはない fact5: もしこの受電設備は召し抱えるとしたら「その学習プリントは激しいかあるいは召し抱えない」ということは誤っている fact6: そのミッドコードは召し抱える fact7: もしもこの受電設備が激しいならばあのミッドコードは激しい fact8: この睡眠不足は激しい fact9: 「そのミッドコードはマリンちゃんリーチであるか示し易いということはないかまたは両方ともだ」ということは誤っている fact10: もしこの受電設備は激しいとすると「そのミッドコードは寅年であるかもしくは激しくないかどちらもだ」ということは成り立つということはない fact11: 仮に「そのミッドコードは寅年であるかまたはそれは激しい」ということは真実でないならその学習プリントは十五年度版である fact12: この受電設備はコーヒーポットだし加えて寅年だ fact13: その学習プリントは遣り易い fact14: そのミッドコードは激しい fact15: 「その学習プリントは激しい」ということは成り立つ fact16: 「この受電設備はコーヒーポットである」ということは成り立つ fact17: その学習プリントは寅年である fact18: その学習プリントは落選するししかも片付け為さる fact19: その学習プリントは召し抱えるけれど配れない fact20: そのミッドコードが激しいしその上それはコーヒーポットだ fact21: この受電設備は激しいし加えてコーヒーポットである
fact21 -> int1: この受電設備は激しい; int1 & fact10 -> int2: 「そのミッドコードは寅年であるかあるいは激しくないかあるいは両方である」ということは成り立たない; int2 & fact1 -> int3: その学習プリントは十五年度版である; fact19 -> int4: その学習プリントは召し抱える; int3 & int4 -> hypothesis;
$facts$ = fact1: もしも「そのミッドコードは寅年であるか激しくないかどちらもである」ということは正しくないとするとその学習プリントは十五年度版だ fact2: あの生育障害は激しい fact3: その学習プリントは配れない fact4: そのミッドコードはフォン・トラップ一家だがしかし配れるということはない fact5: もしこの受電設備は召し抱えるとしたら「その学習プリントは激しいかあるいは召し抱えない」ということは誤っている fact6: そのミッドコードは召し抱える fact7: もしもこの受電設備が激しいならばあのミッドコードは激しい fact8: この睡眠不足は激しい fact9: 「そのミッドコードはマリンちゃんリーチであるか示し易いということはないかまたは両方ともだ」ということは誤っている fact10: もしこの受電設備は激しいとすると「そのミッドコードは寅年であるかもしくは激しくないかどちらもだ」ということは成り立つということはない fact11: 仮に「そのミッドコードは寅年であるかまたはそれは激しい」ということは真実でないならその学習プリントは十五年度版である fact12: この受電設備はコーヒーポットだし加えて寅年だ fact13: その学習プリントは遣り易い fact14: そのミッドコードは激しい fact15: 「その学習プリントは激しい」ということは成り立つ fact16: 「この受電設備はコーヒーポットである」ということは成り立つ fact17: その学習プリントは寅年である fact18: その学習プリントは落選するししかも片付け為さる fact19: その学習プリントは召し抱えるけれど配れない fact20: そのミッドコードが激しいしその上それはコーヒーポットだ fact21: この受電設備は激しいし加えてコーヒーポットである ; $hypothesis$ = 「その学習プリントは召し抱えるし十五年度版だ」ということは間違っている ; $proof$ = 
fact21 -> int1: この受電設備は激しい; int1 & fact10 -> int2: 「そのミッドコードは寅年であるかあるいは激しくないかあるいは両方である」ということは成り立たない; int2 & fact1 -> int3: その学習プリントは十五年度版である; fact19 -> int4: その学習プリントは召し抱える; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも「そのミッドコードは寅年であるか激しくないかどちらもである」ということは正しくないとするとその学習プリントは十五年度版だ
事実2: あの生育障害は激しい
事実3: その学習プリントは配れない
事実4: そのミッドコードはフォン・トラップ一家だがしかし配れるということはない
事実5: もしこの受電設備は召し抱えるとしたら「その学習プリントは激しいかあるいは召し抱えない」ということは誤っている
事実6: そのミッドコードは召し抱える
事実7: もしもこの受電設備が激しいならばあのミッドコードは激しい
事実8: この睡眠不足は激しい
事実9: 「そのミッドコードはマリンちゃんリーチであるか示し易いということはないかまたは両方ともだ」ということは誤っている
事実10: もしこの受電設備は激しいとすると「そのミッドコードは寅年であるかもしくは激しくないかどちらもだ」ということは成り立つということはない
事実11: 仮に「そのミッドコードは寅年であるかまたはそれは激しい」ということは真実でないならその学習プリントは十五年度版である
事実12: この受電設備はコーヒーポットだし加えて寅年だ
事実13: その学習プリントは遣り易い
事実14: そのミッドコードは激しい
事実15: 「その学習プリントは激しい」ということは成り立つ
事実16: 「この受電設備はコーヒーポットである」ということは成り立つ
事実17: その学習プリントは寅年である
事実18: その学習プリントは落選するししかも片付け為さる
事実19: その学習プリントは召し抱えるけれど配れない
事実20: そのミッドコードが激しいしその上それはコーヒーポットだ
事実21: この受電設備は激しいし加えてコーヒーポットである

仮説: 「その学習プリントは召し抱えるし十五年度版だ」ということは間違っている
1. 事実21から、推論1: "この受電設備は激しい"が導かれる
2. 推論1と事実10から、推論2: "「そのミッドコードは寅年であるかあるいは激しくないかあるいは両方である」ということは成り立たない"が導かれる
3. 推論2と事実1から、推論3: "その学習プリントは十五年度版である"が導かれる
4. 事実19から、推論4: "その学習プリントは召し抱える"が導かれる
5. 推論3と推論4から、仮説が否定される

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