この指導監督は見分け難い
fact1: もしもあの勝負は参加し得るしまたテスト用紙であるならか細い fact2: その哺乳動物細胞は異化する fact3: 仮にあの勝負が異化するとすれば参加し得るしそれにそれはテスト用紙でない fact4: もし「なにがしかの物は異化しない」ということは事実であるとすると「見分け難くないけどか細い」ということは誤っている fact5: もしも「その精索静脈瘤は逃れ難い一方で出出さない」ということは真実でないなら逃れ難くない fact6: 仮にその精索静脈瘤は手酷いか引き締まらないかもしくは両方であるとしたら勢子だ fact7: あの勝負は異化する fact8: そのシルキー問題は見分け難い fact9: 仮に「逃れ難くない」物はあるとすれば「この残留物は事故原因であるし加えてそれは干上がる」ということは真実だ fact10: もしもその精索静脈瘤は勢子であるとしたら「それは逃れ難いけど出出さない」ということは偽だ fact11: この残留物は重いならば「そのアベニューは享有しない」ということは成り立つ fact12: あの勝負は野兎だ fact13: もし「そのアベニューは見分け難いということはないがしかしか細い」ということは誤っているとすればこの指導監督は見分け難い fact14: この指導監督は参加し得る fact15: この指導監督は異化する fact16: もしあの勝負がか細いとするとこの指導監督はか細いがしかし見分け難くない fact17: もしこの指導監督がか細いならあの勝負はか細いけどそれは見分け難くない fact18: 仮にとある物が享有しないとしたらそれは異化しないしそれは権力掌握である fact19: 仮に何かは干上がるとしたら重いかもしくは怖くないかあるいはどちらもだ fact20: この幻冬舎はテスト用紙だということはない fact21: もしも見分け難いものはか細くないならばそれはテスト用紙だ fact22: その精索静脈瘤は手酷いかまたは引き締まらない fact23: もし仮になんらかの物は参加し得るがテスト用紙でないとすればか細い
fact23 -> int1: もし仮にあの勝負が参加し得る一方でそれはテスト用紙でないとしたら「か細い」ということは誤っていない; fact7 & fact3 -> int2: あの勝負は参加し得る一方でテスト用紙でない; int1 & int2 -> int3: あの勝負はか細い; int3 & fact16 -> int4: この指導監督はか細いけれど見分け難くない; int4 -> hypothesis;
この指導監督は見分け難い
fact33 -> int5: もしもそのアベニューは異化するということはないとしたら「それは見分け難いということはないし更にそれはか細い」ということは成り立たない; fact30 -> int6: もしも「そのアベニューは享有するということはない」ということは本当だとすると異化するということはないし権力掌握だ; fact24 -> int7: もし「この残留物は干上がる」ということは正しいならそれは重いかもしくはそれは怖いということはない; fact26 & fact29 -> int8: その精索静脈瘤は勢子である; fact31 & int8 -> int9: 「その精索静脈瘤は逃れ難いがしかしそれは出出さない」ということは真実でない; fact25 & int9 -> int10: その精索静脈瘤は逃れ難くない; int10 -> int11: とあるものは逃れ難くない; int11 & fact32 -> int12: この残留物は事故原因でその上干上がる; int12 -> int13: この残留物は干上がる; int7 & int13 -> int14: この残留物は重いか怖くないかもしくはどちらもである;
$facts$ = fact1: もしもあの勝負は参加し得るしまたテスト用紙であるならか細い fact2: その哺乳動物細胞は異化する fact3: 仮にあの勝負が異化するとすれば参加し得るしそれにそれはテスト用紙でない fact4: もし「なにがしかの物は異化しない」ということは事実であるとすると「見分け難くないけどか細い」ということは誤っている fact5: もしも「その精索静脈瘤は逃れ難い一方で出出さない」ということは真実でないなら逃れ難くない fact6: 仮にその精索静脈瘤は手酷いか引き締まらないかもしくは両方であるとしたら勢子だ fact7: あの勝負は異化する fact8: そのシルキー問題は見分け難い fact9: 仮に「逃れ難くない」物はあるとすれば「この残留物は事故原因であるし加えてそれは干上がる」ということは真実だ fact10: もしもその精索静脈瘤は勢子であるとしたら「それは逃れ難いけど出出さない」ということは偽だ fact11: この残留物は重いならば「そのアベニューは享有しない」ということは成り立つ fact12: あの勝負は野兎だ fact13: もし「そのアベニューは見分け難いということはないがしかしか細い」ということは誤っているとすればこの指導監督は見分け難い fact14: この指導監督は参加し得る fact15: この指導監督は異化する fact16: もしあの勝負がか細いとするとこの指導監督はか細いがしかし見分け難くない fact17: もしこの指導監督がか細いならあの勝負はか細いけどそれは見分け難くない fact18: 仮にとある物が享有しないとしたらそれは異化しないしそれは権力掌握である fact19: 仮に何かは干上がるとしたら重いかもしくは怖くないかあるいはどちらもだ fact20: この幻冬舎はテスト用紙だということはない fact21: もしも見分け難いものはか細くないならばそれはテスト用紙だ fact22: その精索静脈瘤は手酷いかまたは引き締まらない fact23: もし仮になんらかの物は参加し得るがテスト用紙でないとすればか細い ; $hypothesis$ = この指導監督は見分け難い ; $proof$ = 
fact23 -> int1: もし仮にあの勝負が参加し得る一方でそれはテスト用紙でないとしたら「か細い」ということは誤っていない; fact7 & fact3 -> int2: あの勝負は参加し得る一方でテスト用紙でない; int1 & int2 -> int3: あの勝負はか細い; int3 & fact16 -> int4: この指導監督はか細いけれど見分け難くない; int4 -> hypothesis; __DISPROVED__
事実1: もしもあの勝負は参加し得るしまたテスト用紙であるならか細い
事実2: その哺乳動物細胞は異化する
事実3: 仮にあの勝負が異化するとすれば参加し得るしそれにそれはテスト用紙でない
事実4: もし「なにがしかの物は異化しない」ということは事実であるとすると「見分け難くないけどか細い」ということは誤っている
事実5: もしも「その精索静脈瘤は逃れ難い一方で出出さない」ということは真実でないなら逃れ難くない
事実6: 仮にその精索静脈瘤は手酷いか引き締まらないかもしくは両方であるとしたら勢子だ
事実7: あの勝負は異化する
事実8: そのシルキー問題は見分け難い
事実9: 仮に「逃れ難くない」物はあるとすれば「この残留物は事故原因であるし加えてそれは干上がる」ということは真実だ
事実10: もしもその精索静脈瘤は勢子であるとしたら「それは逃れ難いけど出出さない」ということは偽だ
事実11: この残留物は重いならば「そのアベニューは享有しない」ということは成り立つ
事実12: あの勝負は野兎だ
事実13: もし「そのアベニューは見分け難いということはないがしかしか細い」ということは誤っているとすればこの指導監督は見分け難い
事実14: この指導監督は参加し得る
事実15: この指導監督は異化する
事実16: もしあの勝負がか細いとするとこの指導監督はか細いがしかし見分け難くない
事実17: もしこの指導監督がか細いならあの勝負はか細いけどそれは見分け難くない
事実18: 仮にとある物が享有しないとしたらそれは異化しないしそれは権力掌握である
事実19: 仮に何かは干上がるとしたら重いかもしくは怖くないかあるいはどちらもだ
事実20: この幻冬舎はテスト用紙だということはない
事実21: もしも見分け難いものはか細くないならばそれはテスト用紙だ
事実22: その精索静脈瘤は手酷いかまたは引き締まらない
事実23: もし仮になんらかの物は参加し得るがテスト用紙でないとすればか細い

仮説: この指導監督は見分け難い
1. 事実23から、推論1: "もし仮にあの勝負が参加し得る一方でそれはテスト用紙でないとしたら「か細い」ということは誤っていない"が導かれる
2. 事実7と事実3から、推論2: "あの勝負は参加し得る一方でテスト用紙でない"が導かれる
3. 推論1と推論2から、推論3: "あの勝負はか細い"が導かれる
4. 推論3と事実16から、推論4: "この指導監督はか細いけれど見分け難くない"が導かれる
5. 推論4から、仮説が否定される

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