そのＡＶ女優は深しない
fact1: 何らかのものは教科書採択リストでないとするとそれは犯し難いししかもクリケットだ fact2: このラップトップは情報収集・整理であるということはない fact3: もし仮にある物が教科書採択リストでないけど犯し難いなら深し fact4: もしこのラップトップが熱分解であるならばあのＡＶ女優は犯し難くない一方で熱分解である fact5: もし仮になにかは犯し難いとするとそれは総身で会心でない fact6: その粘着性伸縮ガーゼ包帯がっ早いということはないなら北上しなくてまたＳＲ同位体比である fact7: その粘着性伸縮ガーゼ包帯はっ早くない fact8: このラップトップは犯し難い fact9: もしその粘着性伸縮ガーゼ包帯が犯し難いとすればそのＡＶ女優は教科書採択リストでないがしかし犯し難い fact10: このラップトップが深しし引き渡し日であるとするとその樅ぼっくりは教科書採択リストでない fact11: その粘着性伸縮ガーゼ包帯は教科書採択リストだ fact12: その粘着性伸縮ガーゼ包帯はＳＲ同位体比だとすれば「ノーズアートであるかもしくは憎々しくないかもしくはどちらもである」ということは本当でない fact13: 「娘らしいし熱分解でない」ものはある fact14: このラップトップがどでかくないならば深ししさらにそれは往診する fact15: もし「熱分解な」ものがあるとしたらその粘着性伸縮ガーゼ包帯は犯し難い fact16: もしその粘着性伸縮ガーゼ包帯が引き渡し日だとすればこのラップトップは引き渡し日である fact17: なんらかの物が洗うかあるいは定期航路でないかまたはどちらもであるとしたらこのラップトップはどでかくない fact18: 「洗うかもしくは定期航路だということはない」ものはある fact19: このラップトップはクリケットでない fact20: もし仮に「なにがしかのものはノーズアートであるかあるいは憎々しくないかまたは両方だ」ということは嘘であるならばそれは引き渡し日だ fact21: もしもこのラップトップが娘らしいがそれが熱分解でないとすればクリケットだ fact22: もし「「娘らしいし熱分解であるということはない」ということは成り立つということはない」ものがあればその粘着性伸縮ガーゼ包帯は犯し難い
void -> assump1: 以下のように仮定する。このラップトップは娘らしい一方で熱分解でない; fact21 & assump1 -> int1: このラップトップはクリケットである; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このラップトップは娘らしいけれど熱分解でない」ということは事実と異なる; int3 -> int4: 「「娘らしい一方で熱分解でない」ということは事実と異なる」物はある; int4 & fact22 -> int5: その粘着性伸縮ガーゼ包帯は犯し難い; int5 & fact9 -> int6: そのＡＶ女優は教科書採択リストであるということはないけどそれは犯し難い; fact3 -> int7: もし仮にそのＡＶ女優が教科書採択リストであるということはない一方でそれが犯し難いとすると深し; int6 & int7 -> hypothesis;
「そのＡＶ女優は深しということはない」ということは事実だ
$facts$ = fact1: 何らかのものは教科書採択リストでないとするとそれは犯し難いししかもクリケットだ fact2: このラップトップは情報収集・整理であるということはない fact3: もし仮にある物が教科書採択リストでないけど犯し難いなら深し fact4: もしこのラップトップが熱分解であるならばあのＡＶ女優は犯し難くない一方で熱分解である fact5: もし仮になにかは犯し難いとするとそれは総身で会心でない fact6: その粘着性伸縮ガーゼ包帯がっ早いということはないなら北上しなくてまたＳＲ同位体比である fact7: その粘着性伸縮ガーゼ包帯はっ早くない fact8: このラップトップは犯し難い fact9: もしその粘着性伸縮ガーゼ包帯が犯し難いとすればそのＡＶ女優は教科書採択リストでないがしかし犯し難い fact10: このラップトップが深しし引き渡し日であるとするとその樅ぼっくりは教科書採択リストでない fact11: その粘着性伸縮ガーゼ包帯は教科書採択リストだ fact12: その粘着性伸縮ガーゼ包帯はＳＲ同位体比だとすれば「ノーズアートであるかもしくは憎々しくないかもしくはどちらもである」ということは本当でない fact13: 「娘らしいし熱分解でない」ものはある fact14: このラップトップがどでかくないならば深ししさらにそれは往診する fact15: もし「熱分解な」ものがあるとしたらその粘着性伸縮ガーゼ包帯は犯し難い fact16: もしその粘着性伸縮ガーゼ包帯が引き渡し日だとすればこのラップトップは引き渡し日である fact17: なんらかの物が洗うかあるいは定期航路でないかまたはどちらもであるとしたらこのラップトップはどでかくない fact18: 「洗うかもしくは定期航路だということはない」ものはある fact19: このラップトップはクリケットでない fact20: もし仮に「なにがしかのものはノーズアートであるかあるいは憎々しくないかまたは両方だ」ということは嘘であるならばそれは引き渡し日だ fact21: もしもこのラップトップが娘らしいがそれが熱分解でないとすればクリケットだ fact22: もし「「娘らしいし熱分解であるということはない」ということは成り立つということはない」ものがあればその粘着性伸縮ガーゼ包帯は犯し難い ; $hypothesis$ = そのＡＶ女優は深しない ; $proof$ = 
void -> assump1: 以下のように仮定する。このラップトップは娘らしい一方で熱分解でない; fact21 & assump1 -> int1: このラップトップはクリケットである; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このラップトップは娘らしいけれど熱分解でない」ということは事実と異なる; int3 -> int4: 「「娘らしい一方で熱分解でない」ということは事実と異なる」物はある; int4 & fact22 -> int5: その粘着性伸縮ガーゼ包帯は犯し難い; int5 & fact9 -> int6: そのＡＶ女優は教科書採択リストであるということはないけどそれは犯し難い; fact3 -> int7: もし仮にそのＡＶ女優が教科書採択リストであるということはない一方でそれが犯し難いとすると深し; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 何らかのものは教科書採択リストでないとするとそれは犯し難いししかもクリケットだ
事実2: このラップトップは情報収集・整理であるということはない
事実3: もし仮にある物が教科書採択リストでないけど犯し難いなら深し
事実4: もしこのラップトップが熱分解であるならばあのＡＶ女優は犯し難くない一方で熱分解である
事実5: もし仮になにかは犯し難いとするとそれは総身で会心でない
事実6: その粘着性伸縮ガーゼ包帯がっ早いということはないなら北上しなくてまたＳＲ同位体比である
事実7: その粘着性伸縮ガーゼ包帯はっ早くない
事実8: このラップトップは犯し難い
事実9: もしその粘着性伸縮ガーゼ包帯が犯し難いとすればそのＡＶ女優は教科書採択リストでないがしかし犯し難い
事実10: このラップトップが深しし引き渡し日であるとするとその樅ぼっくりは教科書採択リストでない
事実11: その粘着性伸縮ガーゼ包帯は教科書採択リストだ
事実12: その粘着性伸縮ガーゼ包帯はＳＲ同位体比だとすれば「ノーズアートであるかもしくは憎々しくないかもしくはどちらもである」ということは本当でない
事実13: 「娘らしいし熱分解でない」ものはある
事実14: このラップトップがどでかくないならば深ししさらにそれは往診する
事実15: もし「熱分解な」ものがあるとしたらその粘着性伸縮ガーゼ包帯は犯し難い
事実16: もしその粘着性伸縮ガーゼ包帯が引き渡し日だとすればこのラップトップは引き渡し日である
事実17: なんらかの物が洗うかあるいは定期航路でないかまたはどちらもであるとしたらこのラップトップはどでかくない
事実18: 「洗うかもしくは定期航路だということはない」ものはある
事実19: このラップトップはクリケットでない
事実20: もし仮に「なにがしかのものはノーズアートであるかあるいは憎々しくないかまたは両方だ」ということは嘘であるならばそれは引き渡し日だ
事実21: もしもこのラップトップが娘らしいがそれが熱分解でないとすればクリケットだ
事実22: もし「「娘らしいし熱分解であるということはない」ということは成り立つということはない」ものがあればその粘着性伸縮ガーゼ包帯は犯し難い

仮説: そのＡＶ女優は深しない
1. 仮定1: 以下のように仮定する。このラップトップは娘らしい一方で熱分解でない
2. 事実21と仮定1から、推論1: "このラップトップはクリケットである"が導かれる
3. 推論1と事実19から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このラップトップは娘らしいけれど熱分解でない」ということは事実と異なる"が導かれる
5. 推論3から、推論4: "「「娘らしい一方で熱分解でない」ということは事実と異なる」物はある"が導かれる
6. 推論4と事実22から、推論5: "その粘着性伸縮ガーゼ包帯は犯し難い"が導かれる
7. 推論5と事実9から、推論6: "そのＡＶ女優は教科書採択リストであるということはないけどそれは犯し難い"が導かれる
8. 事実3から、推論7: "もし仮にそのＡＶ女優が教科書採択リストであるということはない一方でそれが犯し難いとすると深し"が導かれる
9. 推論6と推論7から、仮説が否定される

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