あの一次部品企業は転校しない
fact1: それは個人主義化でないかもしくはそれはひもじいかもしくは両方ともだという物はない fact2: とあるものが転校しないとしたら個人主義化であるかあるいはひもじい fact3: あの一次部品企業は恐れ慎む fact4: もしあるものがラジオ放送しないなら侘しくないかまたはヘアライン仕上げするかまたはどちらもだ fact5: この期末商品棚卸し高はひもじくない fact6: あの一次部品企業は個人主義化である fact7: 仮にあの一次部品企業が転校しないとすると個人主義化であるかあるいはそれはひもじい fact8: あの文民警察は転校する fact9: その農協系統は畳むということはないかまたは小高いかあるいは両方ともだ fact10: それは建て込むということはないか頭金であるというものはない fact11: 「市場化しないかもしくは拒絶理由であるかあるいは両方だ」ということは確かだというものはない fact12: 「なにがしかのものは転校しない」ということは事実ならそれは個人主義化だということはないかもしくはそれはひもじいかまたは両方ともだ fact13: 「あのアレロパシーは基本パターンでないかあるいはそれはひもじいかもしくは両方だ」ということは誤っている fact14: とあるものが快いなら転校しないしかつ意味深くない fact15: 「なにかは比較衡量しないけどＢ型慢性肝炎だ」ということは事実と異なるとしたら「それは快い」ということは確かである fact16: この伝記作家は個人主義化である fact17: 仮になにがしかのものが引き立て合うということはないとするとそれは紳士らしくないかまたは壊れ難いかもしくはどちらもである fact18: あの一次部品企業は個人主義化であるかもしくはそれはひもじいかあるいはどちらもである fact19: すべてのものは個人主義化である
fact12 -> int1: もし仮にあの一次部品企業が転校しないとすればそれは個人主義化でないかまたはひもじいか両方である; void -> assump1: 以下のように仮定する。あの一次部品企業は転校しない; int1 & assump1 -> int2: あの一次部品企業は個人主義化でないかまたはひもじい; fact1 -> int3: 「あの一次部品企業は個人主義化でないかもしくはひもじい」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの一次部品企業は転校しない
fact21 -> int5: もしあの一次部品企業が快いならば転校しないしその上それは意味深くない; fact20 -> int6: もしも「あの一次部品企業は比較衡量しないけれどＢ型慢性肝炎だ」ということは成り立つということはないとしたらそれは快い;
$facts$ = fact1: それは個人主義化でないかもしくはそれはひもじいかもしくは両方ともだという物はない fact2: とあるものが転校しないとしたら個人主義化であるかあるいはひもじい fact3: あの一次部品企業は恐れ慎む fact4: もしあるものがラジオ放送しないなら侘しくないかまたはヘアライン仕上げするかまたはどちらもだ fact5: この期末商品棚卸し高はひもじくない fact6: あの一次部品企業は個人主義化である fact7: 仮にあの一次部品企業が転校しないとすると個人主義化であるかあるいはそれはひもじい fact8: あの文民警察は転校する fact9: その農協系統は畳むということはないかまたは小高いかあるいは両方ともだ fact10: それは建て込むということはないか頭金であるというものはない fact11: 「市場化しないかもしくは拒絶理由であるかあるいは両方だ」ということは確かだというものはない fact12: 「なにがしかのものは転校しない」ということは事実ならそれは個人主義化だということはないかもしくはそれはひもじいかまたは両方ともだ fact13: 「あのアレロパシーは基本パターンでないかあるいはそれはひもじいかもしくは両方だ」ということは誤っている fact14: とあるものが快いなら転校しないしかつ意味深くない fact15: 「なにかは比較衡量しないけどＢ型慢性肝炎だ」ということは事実と異なるとしたら「それは快い」ということは確かである fact16: この伝記作家は個人主義化である fact17: 仮になにがしかのものが引き立て合うということはないとするとそれは紳士らしくないかまたは壊れ難いかもしくはどちらもである fact18: あの一次部品企業は個人主義化であるかもしくはそれはひもじいかあるいはどちらもである fact19: すべてのものは個人主義化である ; $hypothesis$ = あの一次部品企業は転校しない ; $proof$ = 
fact12 -> int1: もし仮にあの一次部品企業が転校しないとすればそれは個人主義化でないかまたはひもじいか両方である; void -> assump1: 以下のように仮定する。あの一次部品企業は転校しない; int1 & assump1 -> int2: あの一次部品企業は個人主義化でないかまたはひもじい; fact1 -> int3: 「あの一次部品企業は個人主義化でないかもしくはひもじい」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: それは個人主義化でないかもしくはそれはひもじいかもしくは両方ともだという物はない
事実2: とあるものが転校しないとしたら個人主義化であるかあるいはひもじい
事実3: あの一次部品企業は恐れ慎む
事実4: もしあるものがラジオ放送しないなら侘しくないかまたはヘアライン仕上げするかまたはどちらもだ
事実5: この期末商品棚卸し高はひもじくない
事実6: あの一次部品企業は個人主義化である
事実7: 仮にあの一次部品企業が転校しないとすると個人主義化であるかあるいはそれはひもじい
事実8: あの文民警察は転校する
事実9: その農協系統は畳むということはないかまたは小高いかあるいは両方ともだ
事実10: それは建て込むということはないか頭金であるというものはない
事実11: 「市場化しないかもしくは拒絶理由であるかあるいは両方だ」ということは確かだというものはない
事実12: 「なにがしかのものは転校しない」ということは事実ならそれは個人主義化だということはないかもしくはそれはひもじいかまたは両方ともだ
事実13: 「あのアレロパシーは基本パターンでないかあるいはそれはひもじいかもしくは両方だ」ということは誤っている
事実14: とあるものが快いなら転校しないしかつ意味深くない
事実15: 「なにかは比較衡量しないけどＢ型慢性肝炎だ」ということは事実と異なるとしたら「それは快い」ということは確かである
事実16: この伝記作家は個人主義化である
事実17: 仮になにがしかのものが引き立て合うということはないとするとそれは紳士らしくないかまたは壊れ難いかもしくはどちらもである
事実18: あの一次部品企業は個人主義化であるかもしくはそれはひもじいかあるいはどちらもである
事実19: すべてのものは個人主義化である

仮説: あの一次部品企業は転校しない
1. 事実12から、推論1: "もし仮にあの一次部品企業が転校しないとすればそれは個人主義化でないかまたはひもじいか両方である"が導かれる
2. 仮定1: 以下のように仮定する。あの一次部品企業は転校しない
3. 推論1と仮定1から、推論2: "あの一次部品企業は個人主義化でないかまたはひもじい"が導かれる
4. 事実1から、推論3: "「あの一次部品企業は個人主義化でないかもしくはひもじい」ということは事実と異なる"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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