その陸軍関係は密閉容器でない
fact1: もし「何らかのものは甲斐甲斐しいが敬語表現であるということはない」ということは成り立たないとすると甲斐甲斐しいということはない fact2: その細胞相互は実力差であるかまたは基礎技術でない fact3: もしその陸軍関係が組織替えしないかそれは翻訳するかまたは両方ともだとしたらそれは密閉容器だ fact4: その陸軍関係は尤もらしい fact5: もし仮にその陸軍関係が問い掛けないかあるいはそれは密閉容器であるとしたらそれは尤もらしい fact6: あのワシントン体制は翻訳する fact7: この指定券が疲れ難くないならばあの陸軍関係は密閉容器でない fact8: もし仮にこの政党以外が思い出深くないとしたらこの指定券は持て囃すしそれは睦まじい fact9: 仮に「その陸軍関係は組織替えしない」ということは事実だとすればそれは密閉容器だ fact10: その陸軍関係は組織替えしないかあるいは翻訳するかもしくはどちらもである fact11: 甲斐甲斐しかないか上げ難い物は陰らない fact12: その陸軍関係は翻訳しないかゲスト出演するかもしくは両方ともだ fact13: その陸軍関係は組織替えするかもしくは翻訳するか両方ともである fact14: 仮にある物は短期間でないとすれば「それが小屋するしその上電話料金でない」ということは事実と異なる fact15: 仮にその細胞相互が基礎技術でないとすれば短期間でない fact16: なんらかの物が持て囃せば主材だ fact17: 実力差は短期間でない fact18: 「その細胞相互は小屋するけどそれは電話料金でない」ということは事実と異なるとしたらこの政党以外は思い出深くない fact19: 仮に「なにがしかの物は主材だ」ということは事実であるとしたら「「それは甲斐甲斐しい一方で敬語表現でない」ということは真実だ」ということは誤りである fact20: その陸軍関係は主材である fact21: とあるものが陰るということはないならばそれは疲れ難くないか分類名称でないか両方である
fact3 & fact10 -> hypothesis;
fact3 & fact10 -> hypothesis;
その陸軍関係は密閉容器でない
fact24 -> int1: 仮に「この指定券は陰らない」ということは成り立つとすれば疲れ難くないかもしくはそれは分類名称でないかもしくは両方である; fact30 -> int2: この指定券が甲斐甲斐しかないかもしくは上げ難いかもしくは両方であるとしたら陰るということはない; fact32 -> int3: 仮に「この指定券は甲斐甲斐しい一方で敬語表現でない」ということは成り立たないならばそれは甲斐甲斐しかない; fact26 -> int4: もし仮にこの指定券は主材であるとすれば「甲斐甲斐しくておまけに敬語表現でない」ということは誤りだ; fact31 -> int5: もしもこの指定券が持て囃すとすると主材である; fact23 -> int6: 仮にその細胞相互は短期間でないとすると「小屋するしそれに電話料金でない」ということは確かでない; fact22 -> int7: もし仮にその細胞相互が実力差ならそれは短期間でない; fact33 & int7 & fact27 -> int8: その細胞相互は短期間でない; int6 & int8 -> int9: 「その細胞相互は小屋するけどそれは電話料金でない」ということは成り立たない; fact28 & int9 -> int10: この政党以外は思い出深くない; fact29 & int10 -> int11: 「この指定券は持て囃すししかも睦まじい」ということは誤っていない; int11 -> int12: この指定券は持て囃す; int5 & int12 -> int13: この指定券は主材である; int4 & int13 -> int14: 「この指定券は甲斐甲斐しいがしかし敬語表現であるということはない」ということは成り立たない; int3 & int14 -> int15: この指定券は甲斐甲斐しかない; int15 -> int16: この指定券は甲斐甲斐しかないかまたは上げ難い; int2 & int16 -> int17: この指定券は陰るということはない; int1 & int17 -> int18: この指定券は疲れ難くないかもしくはそれは分類名称でないかもしくは両方ともだ;
$facts$ = fact1: もし「何らかのものは甲斐甲斐しいが敬語表現であるということはない」ということは成り立たないとすると甲斐甲斐しいということはない fact2: その細胞相互は実力差であるかまたは基礎技術でない fact3: もしその陸軍関係が組織替えしないかそれは翻訳するかまたは両方ともだとしたらそれは密閉容器だ fact4: その陸軍関係は尤もらしい fact5: もし仮にその陸軍関係が問い掛けないかあるいはそれは密閉容器であるとしたらそれは尤もらしい fact6: あのワシントン体制は翻訳する fact7: この指定券が疲れ難くないならばあの陸軍関係は密閉容器でない fact8: もし仮にこの政党以外が思い出深くないとしたらこの指定券は持て囃すしそれは睦まじい fact9: 仮に「その陸軍関係は組織替えしない」ということは事実だとすればそれは密閉容器だ fact10: その陸軍関係は組織替えしないかあるいは翻訳するかもしくはどちらもである fact11: 甲斐甲斐しかないか上げ難い物は陰らない fact12: その陸軍関係は翻訳しないかゲスト出演するかもしくは両方ともだ fact13: その陸軍関係は組織替えするかもしくは翻訳するか両方ともである fact14: 仮にある物は短期間でないとすれば「それが小屋するしその上電話料金でない」ということは事実と異なる fact15: 仮にその細胞相互が基礎技術でないとすれば短期間でない fact16: なんらかの物が持て囃せば主材だ fact17: 実力差は短期間でない fact18: 「その細胞相互は小屋するけどそれは電話料金でない」ということは事実と異なるとしたらこの政党以外は思い出深くない fact19: 仮に「なにがしかの物は主材だ」ということは事実であるとしたら「「それは甲斐甲斐しい一方で敬語表現でない」ということは真実だ」ということは誤りである fact20: その陸軍関係は主材である fact21: とあるものが陰るということはないならばそれは疲れ難くないか分類名称でないか両方である ; $hypothesis$ = その陸軍関係は密閉容器でない ; $proof$ = 
fact3 & fact10 -> hypothesis; __DISPROVED__
事実1: もし「何らかのものは甲斐甲斐しいが敬語表現であるということはない」ということは成り立たないとすると甲斐甲斐しいということはない
事実2: その細胞相互は実力差であるかまたは基礎技術でない
事実3: もしその陸軍関係が組織替えしないかそれは翻訳するかまたは両方ともだとしたらそれは密閉容器だ
事実4: その陸軍関係は尤もらしい
事実5: もし仮にその陸軍関係が問い掛けないかあるいはそれは密閉容器であるとしたらそれは尤もらしい
事実6: あのワシントン体制は翻訳する
事実7: この指定券が疲れ難くないならばあの陸軍関係は密閉容器でない
事実8: もし仮にこの政党以外が思い出深くないとしたらこの指定券は持て囃すしそれは睦まじい
事実9: 仮に「その陸軍関係は組織替えしない」ということは事実だとすればそれは密閉容器だ
事実10: その陸軍関係は組織替えしないかあるいは翻訳するかもしくはどちらもである
事実11: 甲斐甲斐しかないか上げ難い物は陰らない
事実12: その陸軍関係は翻訳しないかゲスト出演するかもしくは両方ともだ
事実13: その陸軍関係は組織替えするかもしくは翻訳するか両方ともである
事実14: 仮にある物は短期間でないとすれば「それが小屋するしその上電話料金でない」ということは事実と異なる
事実15: 仮にその細胞相互が基礎技術でないとすれば短期間でない
事実16: なんらかの物が持て囃せば主材だ
事実17: 実力差は短期間でない
事実18: 「その細胞相互は小屋するけどそれは電話料金でない」ということは事実と異なるとしたらこの政党以外は思い出深くない
事実19: 仮に「なにがしかの物は主材だ」ということは事実であるとしたら「「それは甲斐甲斐しい一方で敬語表現でない」ということは真実だ」ということは誤りである
事実20: その陸軍関係は主材である
事実21: とあるものが陰るということはないならばそれは疲れ難くないか分類名称でないか両方である

仮説: その陸軍関係は密閉容器でない
1. 事実3と事実10から、仮説が否定される

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