この自然植生は怪談部屋であるということはない
fact1: もしもなにがしかのものがキルトでないとすれば再鑑定しないかもしくはそれは怪談部屋でないかどちらもである fact2: もし仮に「そのデコリンはビジネスソフトである」ということは事実と異ならないならこの岩戸はビジネスソフトである fact3: その四十時間前後が再鑑定しないとするとこの自然植生は再鑑定するけど御偉くない fact4: 「そのデコリンは実行し易いししかも物欲しい」ということは間違っている fact5: 仮にその四十時間前後が怪談部屋だということはないとするとそのデコリンはビジネスソフトだ fact6: もしもその四十時間前後が冒涜するということはないとすればそれはキルトでないけど四校だ fact7: もし「この自然植生は切り開くかまたは巻き始めない」ということは事実と異なるとすればあの岩戸は御偉くない fact8: もし仮にその四十時間前後が再鑑定しないとすればそのデコリンはビジネスソフトである fact9: その四十時間前後は冒涜するということはない fact10: 仮にあるものが再鑑定するがしかし御偉くないならそれは怪談部屋である fact11: 仮に「そのデコリンは実行し易くて更にそれは物欲しい」ということは偽だとしたらその四十時間前後は再鑑定しない
fact11 & fact4 -> int1: その四十時間前後は再鑑定するということはない; int1 & fact3 -> int2: この自然植生は再鑑定するけどそれは御偉いということはない; fact10 -> int3: 仮に「この自然植生は再鑑定するけれど御偉くない」ということは正しいとするとそれは怪談部屋である; int2 & int3 -> hypothesis;
この岩戸はビジネスソフトであるけど御偉くない
fact15 -> int4: 仮にその四十時間前後がキルトでないとしたらそれは再鑑定しないかまたはそれは怪談部屋でない; fact13 & fact12 -> int5: その四十時間前後はキルトでないけれどそれは四校だ; int5 -> int6: その四十時間前後はキルトであるということはない; int4 & int6 -> int7: その四十時間前後は再鑑定しないかまたはそれは怪談部屋でないかまたは両方である; int7 & fact17 & fact16 -> int8: 「そのデコリンはビジネスソフトである」ということは成り立つ; fact18 & int8 -> int9: この岩戸はビジネスソフトだ;
$facts$ = fact1: もしもなにがしかのものがキルトでないとすれば再鑑定しないかもしくはそれは怪談部屋でないかどちらもである fact2: もし仮に「そのデコリンはビジネスソフトである」ということは事実と異ならないならこの岩戸はビジネスソフトである fact3: その四十時間前後が再鑑定しないとするとこの自然植生は再鑑定するけど御偉くない fact4: 「そのデコリンは実行し易いししかも物欲しい」ということは間違っている fact5: 仮にその四十時間前後が怪談部屋だということはないとするとそのデコリンはビジネスソフトだ fact6: もしもその四十時間前後が冒涜するということはないとすればそれはキルトでないけど四校だ fact7: もし「この自然植生は切り開くかまたは巻き始めない」ということは事実と異なるとすればあの岩戸は御偉くない fact8: もし仮にその四十時間前後が再鑑定しないとすればそのデコリンはビジネスソフトである fact9: その四十時間前後は冒涜するということはない fact10: 仮にあるものが再鑑定するがしかし御偉くないならそれは怪談部屋である fact11: 仮に「そのデコリンは実行し易くて更にそれは物欲しい」ということは偽だとしたらその四十時間前後は再鑑定しない ; $hypothesis$ = この自然植生は怪談部屋であるということはない ; $proof$ = 
fact11 & fact4 -> int1: その四十時間前後は再鑑定するということはない; int1 & fact3 -> int2: この自然植生は再鑑定するけどそれは御偉いということはない; fact10 -> int3: 仮に「この自然植生は再鑑定するけれど御偉くない」ということは正しいとするとそれは怪談部屋である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものがキルトでないとすれば再鑑定しないかもしくはそれは怪談部屋でないかどちらもである
事実2: もし仮に「そのデコリンはビジネスソフトである」ということは事実と異ならないならこの岩戸はビジネスソフトである
事実3: その四十時間前後が再鑑定しないとするとこの自然植生は再鑑定するけど御偉くない
事実4: 「そのデコリンは実行し易いししかも物欲しい」ということは間違っている
事実5: 仮にその四十時間前後が怪談部屋だということはないとするとそのデコリンはビジネスソフトだ
事実6: もしもその四十時間前後が冒涜するということはないとすればそれはキルトでないけど四校だ
事実7: もし「この自然植生は切り開くかまたは巻き始めない」ということは事実と異なるとすればあの岩戸は御偉くない
事実8: もし仮にその四十時間前後が再鑑定しないとすればそのデコリンはビジネスソフトである
事実9: その四十時間前後は冒涜するということはない
事実10: 仮にあるものが再鑑定するがしかし御偉くないならそれは怪談部屋である
事実11: 仮に「そのデコリンは実行し易くて更にそれは物欲しい」ということは偽だとしたらその四十時間前後は再鑑定しない

仮説: この自然植生は怪談部屋であるということはない
1. 事実11と事実4から、推論1: "その四十時間前後は再鑑定するということはない"が導かれる
2. 推論1と事実3から、推論2: "この自然植生は再鑑定するけどそれは御偉いということはない"が導かれる
3. 事実10から、推論3: "仮に「この自然植生は再鑑定するけれど御偉くない」ということは正しいとするとそれは怪談部屋である"が導かれる
4. 推論2と推論3から、仮説が否定される

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