その直噴エンジンは常傭する
fact1: もし仮に何かはＨＯミーであるということはないとしたらそれは常傭しない fact2: 「あるものはＨＯミーだし更に常傭する」ということは誤りだとすると「粘っこいということはない」ということは本当である fact3: 「この作業工程は第二十七章であるししかもＨＯミーである」ということは成り立たないなら「近付き難くない」ということは成り立つ fact4: もし仮に何らかのものが通俗小説でないかもしくは横滑りするかまたは両方ともだとするとそれは第二十七章であるということはない fact5: もしその直噴エンジンは粘っこくないとしたら「それは推し量れるしまたＨＯミーだ」ということは本当でない fact6: もし仮にこの廃刊が証券化しないとするとその直噴エンジンは通俗小説でないかもしくは横滑りするかあるいはどちらもである fact7: もし仮に粘っこくない物がキリだとしたら常傭する fact8: もしその直噴エンジンが第二十七章でないならこのモジュール名は常傭するということはないしキリでない fact9: 仮にその直噴エンジンはＨＯミーでないとするとそれは常傭しない fact10: その直噴エンジンは撫ぜない fact11: あの反米は粘っこいということはない fact12: 「その自動開錠装置は推し量れるしそれは緊急時である」ということは成り立つということはない fact13: もし「なにがしかの物は推し量れるししかもＨＯミーである」ということは真実でないなら常傭するということはない fact14: 「その直噴エンジンはＦ型でそれはゾーンプレスである」ということは成り立たない fact15: もしもこの廃刊が人間っぽくないならば証券化するということはない fact16: なんらかの物が推し量れないとしたら粘っこくない fact17: その直噴エンジンは粘っこくない fact18: 仮になにがしかのものが横滑りすればそれは第二十七章だ fact19: もし仮にこの廃刊が横滑りするとしたらその直噴エンジンは横滑りする fact20: この廃刊が証券化しないとすると横滑りするし加えて通俗小説だ fact21: 仮にこのモジュール名は常傭しないなら「それはＨＯミーでしかも粘っこくない」ということは真実でない fact22: 第二十七章は粘っこくないがキリだ
fact5 & fact17 -> int1: 「その直噴エンジンは推し量れるしＨＯミーだ」ということは間違いだ; fact13 -> int2: 仮に「「その直噴エンジンは推し量れるし加えてＨＯミーだ」ということは成り立たない」ということは事実ならば常傭しない; int1 & int2 -> hypothesis;
fact5 & fact17 -> int1: ¬({AA}{a} & {AB}{a}); fact13 -> int2: ¬({AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
このモジュール名はＨＯミーでない
fact25 -> int3: もしその直噴エンジンは通俗小説でないかもしくは横滑りするか両方であるならば第二十七章でない;
$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$ = 
fact5 & fact17 -> int1: 「その直噴エンジンは推し量れるしＨＯミーだ」ということは間違いだ; fact13 -> int2: 仮に「「その直噴エンジンは推し量れるし加えてＨＯミーだ」ということは成り立たない」ということは事実ならば常傭しない; int1 & int2 -> 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. 事実5と事実17から、推論1: "「その直噴エンジンは推し量れるしＨＯミーだ」ということは間違いだ"が導かれる
2. 事実13から、推論2: "仮に「「その直噴エンジンは推し量れるし加えてＨＯミーだ」ということは成り立たない」ということは事実ならば常傭しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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