「この試験装置は新し」ということは成り立つ
fact1: もしあの教育学部がＧＮＵツールだけれど腹立たしくらないならこの年末調整制度はパスタである fact2: その全身運動は取り易い fact3: もしもこの年末調整制度はバイオテクノロジーでないとすると「あの教育学部はパスタであるかもしくは熱苦しい」ということは偽だ fact4: もしその全身運動が腹立たしいとしたらあの教育学部は熱苦しい fact5: 「腹立たしい」ものがあるとしたらこの年末調整制度は下式だということはない fact6: その全身運動が新しし更にバイオテクノロジーであるとするとこの年末調整制度はバイオテクノロジーでない fact7: もしもこの年末調整制度は下式であるとしたら「その全身運動は熱苦しい」ということは本当だ fact8: あの教育学部はＧＮＵツールでなくて腹立たしいということはない fact9: その全身運動は新しかまたは熱苦しいかあるいは両方である fact10: あの教育学部がＧＮＵツールでなくてまた腹立たしくらないとしたらこの年末調整制度はパスタだ fact11: もしとある物はパスタであるとしたらそれは下式である fact12: その臨床モデルは荒げる fact13: その全身運動はバイオテクノロジーであるか下式であるかまたは両方だ fact14: 仮にその全身運動がＧＮＵツールであるけれどバイオテクノロジーでないとしたらこの試験装置は新し fact15: もしも「バイオテクノロジーであるかもしくは熱苦しいかあるいは両方な」ものがあるとしたらこの試験装置は新しない fact16: 仮にその臨床モデルが荒げるとしたらその全身運動は新し fact17: もしある物が下式でないとすればそれは腹立たしいということはないしそれは漬からない
fact10 & fact8 -> int1: 「この年末調整制度はパスタだ」ということは間違いであるということはない; fact11 -> int2: もし仮に「この年末調整制度はパスタである」ということは確かであるとすると下式だ; int1 & int2 -> int3: この年末調整制度は下式だ; int3 & fact7 -> int4: その全身運動は熱苦しい; int4 -> int5: その全身運動はバイオテクノロジーであるかあるいは熱苦しいか両方ともだ; int5 -> int6: なんらかのものはバイオテクノロジーであるかまたは熱苦しいかどちらもだ; int6 & fact15 -> hypothesis;
この試験装置は腹立たしいということはないし漬からない
fact20 -> int7: もしこの試験装置が下式でないとしたらそれは腹立たしくらなくて漬からない; fact21 & fact18 -> int8: その全身運動は新し;
$facts$ = fact1: もしあの教育学部がＧＮＵツールだけれど腹立たしくらないならこの年末調整制度はパスタである fact2: その全身運動は取り易い fact3: もしもこの年末調整制度はバイオテクノロジーでないとすると「あの教育学部はパスタであるかもしくは熱苦しい」ということは偽だ fact4: もしその全身運動が腹立たしいとしたらあの教育学部は熱苦しい fact5: 「腹立たしい」ものがあるとしたらこの年末調整制度は下式だということはない fact6: その全身運動が新しし更にバイオテクノロジーであるとするとこの年末調整制度はバイオテクノロジーでない fact7: もしもこの年末調整制度は下式であるとしたら「その全身運動は熱苦しい」ということは本当だ fact8: あの教育学部はＧＮＵツールでなくて腹立たしいということはない fact9: その全身運動は新しかまたは熱苦しいかあるいは両方である fact10: あの教育学部がＧＮＵツールでなくてまた腹立たしくらないとしたらこの年末調整制度はパスタだ fact11: もしとある物はパスタであるとしたらそれは下式である fact12: その臨床モデルは荒げる fact13: その全身運動はバイオテクノロジーであるか下式であるかまたは両方だ fact14: 仮にその全身運動がＧＮＵツールであるけれどバイオテクノロジーでないとしたらこの試験装置は新し fact15: もしも「バイオテクノロジーであるかもしくは熱苦しいかあるいは両方な」ものがあるとしたらこの試験装置は新しない fact16: 仮にその臨床モデルが荒げるとしたらその全身運動は新し fact17: もしある物が下式でないとすればそれは腹立たしいということはないしそれは漬からない ; $hypothesis$ = 「この試験装置は新し」ということは成り立つ ; $proof$ = 
fact10 & fact8 -> int1: 「この年末調整制度はパスタだ」ということは間違いであるということはない; fact11 -> int2: もし仮に「この年末調整制度はパスタである」ということは確かであるとすると下式だ; int1 & int2 -> int3: この年末調整制度は下式だ; int3 & fact7 -> int4: その全身運動は熱苦しい; int4 -> int5: その全身運動はバイオテクノロジーであるかあるいは熱苦しいか両方ともだ; int5 -> int6: なんらかのものはバイオテクノロジーであるかまたは熱苦しいかどちらもだ; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: もしあの教育学部がＧＮＵツールだけれど腹立たしくらないならこの年末調整制度はパスタである
事実2: その全身運動は取り易い
事実3: もしもこの年末調整制度はバイオテクノロジーでないとすると「あの教育学部はパスタであるかもしくは熱苦しい」ということは偽だ
事実4: もしその全身運動が腹立たしいとしたらあの教育学部は熱苦しい
事実5: 「腹立たしい」ものがあるとしたらこの年末調整制度は下式だということはない
事実6: その全身運動が新しし更にバイオテクノロジーであるとするとこの年末調整制度はバイオテクノロジーでない
事実7: もしもこの年末調整制度は下式であるとしたら「その全身運動は熱苦しい」ということは本当だ
事実8: あの教育学部はＧＮＵツールでなくて腹立たしいということはない
事実9: その全身運動は新しかまたは熱苦しいかあるいは両方である
事実10: あの教育学部がＧＮＵツールでなくてまた腹立たしくらないとしたらこの年末調整制度はパスタだ
事実11: もしとある物はパスタであるとしたらそれは下式である
事実12: その臨床モデルは荒げる
事実13: その全身運動はバイオテクノロジーであるか下式であるかまたは両方だ
事実14: 仮にその全身運動がＧＮＵツールであるけれどバイオテクノロジーでないとしたらこの試験装置は新し
事実15: もしも「バイオテクノロジーであるかもしくは熱苦しいかあるいは両方な」ものがあるとしたらこの試験装置は新しない
事実16: 仮にその臨床モデルが荒げるとしたらその全身運動は新し
事実17: もしある物が下式でないとすればそれは腹立たしいということはないしそれは漬からない

仮説: 「この試験装置は新し」ということは成り立つ
1. 事実10と事実8から、推論1: "「この年末調整制度はパスタだ」ということは間違いであるということはない"が導かれる
2. 事実11から、推論2: "もし仮に「この年末調整制度はパスタである」ということは確かであるとすると下式だ"が導かれる
3. 推論1と推論2から、推論3: "この年末調整制度は下式だ"が導かれる
4. 推論3と事実7から、推論4: "その全身運動は熱苦しい"が導かれる
5. 推論4から、推論5: "その全身運動はバイオテクノロジーであるかあるいは熱苦しいか両方ともだ"が導かれる
6. 推論5から、推論6: "なんらかのものはバイオテクノロジーであるかまたは熱苦しいかどちらもだ"が導かれる
7. 推論6と事実15から、仮説が否定される

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