その地動説はホームページ作成ソフトだ
fact1: 仮に「この拡充は窃取するということはないか結び付ける」ということは間違っているとすればあの地動説はホームページ作成ソフトだ fact2: もしこの拡充が窃取するとしたらこの岩剣城は刺々しかないかまたはクールダウンしないかもしくは両方である fact3: もしも「とあるものはさもしくないがしかし実習する」ということは真実だということはないならばさもしい fact4: この拡充はクールダウンする fact5: その地動説は刺々しいということはない fact6: もしもこの拡充が窃取すればこの岩剣城はクールダウンしないかもしくはホームページ作成ソフトであるかまたは両方ともである fact7: もしもその師走はさもしいとすると「この岩剣城は三千年紀でないししかもそれは次期天皇でない」ということは誤っている fact8: 何らかの物はどぎついなら「さもしくないが実習する」ということは成り立たない fact9: この拡充は窃取する fact10: この岩剣城は刺々しかないかもしくはクールダウンするかあるいは両方だ fact11: 「この岩剣城は刺々しかない」ということは真実ならばその地動説はクールダウンしない fact12: もし仮になんらかのものが結び付けないとしたらホームページ作成ソフトでない fact13: もしこの岩剣城が刺々しかないかまたはそれがクールダウンしないとするとその地動説は結び付けない fact14: 仮にこの拡充は刺々しかないとすれば「落ち窪まない」ということは成り立つ fact15: 「「タービンだがしかしシールするということはない」ということは成り立つということはない」ものはある fact16: もし仮に「なにかは三千年紀でなくてそれは次期天皇でない」ということは偽であるならば三千年紀だ fact17: もしこの岩剣城がクールダウンしないならその地動説は結び付けない
fact2 & fact9 -> int1: この岩剣城は刺々しいということはないかまたはクールダウンしないかもしくは両方である; int1 & fact13 -> int2: その地動説は結び付けない; fact12 -> int3: もし仮にその地動説が結び付けないとしたらホームページ作成ソフトでない; int2 & int3 -> hypothesis;
fact2 & fact9 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact13 -> int2: ¬{B}{c}; fact12 -> int3: ¬{B}{c} -> ¬{C}{c}; int2 & int3 -> hypothesis;
その地動説はホームページ作成ソフトだ
fact18 -> int4: もし仮に「この岩剣城は三千年紀でないし次期天皇だということはない」ということは本当でないならばそれは三千年紀だ; fact21 -> int5: もし仮に「その師走はさもしくないけれど実習する」ということは事実と異なるとしたらさもしい; fact22 -> int6: その師走はどぎついなら「それはさもしくないし実習する」ということは間違っている;
$facts$ = fact1: 仮に「この拡充は窃取するということはないか結び付ける」ということは間違っているとすればあの地動説はホームページ作成ソフトだ fact2: もしこの拡充が窃取するとしたらこの岩剣城は刺々しかないかまたはクールダウンしないかもしくは両方である fact3: もしも「とあるものはさもしくないがしかし実習する」ということは真実だということはないならばさもしい fact4: この拡充はクールダウンする fact5: その地動説は刺々しいということはない fact6: もしもこの拡充が窃取すればこの岩剣城はクールダウンしないかもしくはホームページ作成ソフトであるかまたは両方ともである fact7: もしもその師走はさもしいとすると「この岩剣城は三千年紀でないししかもそれは次期天皇でない」ということは誤っている fact8: 何らかの物はどぎついなら「さもしくないが実習する」ということは成り立たない fact9: この拡充は窃取する fact10: この岩剣城は刺々しかないかもしくはクールダウンするかあるいは両方だ fact11: 「この岩剣城は刺々しかない」ということは真実ならばその地動説はクールダウンしない fact12: もし仮になんらかのものが結び付けないとしたらホームページ作成ソフトでない fact13: もしこの岩剣城が刺々しかないかまたはそれがクールダウンしないとするとその地動説は結び付けない fact14: 仮にこの拡充は刺々しかないとすれば「落ち窪まない」ということは成り立つ fact15: 「「タービンだがしかしシールするということはない」ということは成り立つということはない」ものはある fact16: もし仮に「なにかは三千年紀でなくてそれは次期天皇でない」ということは偽であるならば三千年紀だ fact17: もしこの岩剣城がクールダウンしないならその地動説は結び付けない ; $hypothesis$ = その地動説はホームページ作成ソフトだ ; $proof$ = 
fact2 & fact9 -> int1: この岩剣城は刺々しいということはないかまたはクールダウンしないかもしくは両方である; int1 & fact13 -> int2: その地動説は結び付けない; fact12 -> int3: もし仮にその地動説が結び付けないとしたらホームページ作成ソフトでない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「この拡充は窃取するということはないか結び付ける」ということは間違っているとすればあの地動説はホームページ作成ソフトだ
事実2: もしこの拡充が窃取するとしたらこの岩剣城は刺々しかないかまたはクールダウンしないかもしくは両方である
事実3: もしも「とあるものはさもしくないがしかし実習する」ということは真実だということはないならばさもしい
事実4: この拡充はクールダウンする
事実5: その地動説は刺々しいということはない
事実6: もしもこの拡充が窃取すればこの岩剣城はクールダウンしないかもしくはホームページ作成ソフトであるかまたは両方ともである
事実7: もしもその師走はさもしいとすると「この岩剣城は三千年紀でないししかもそれは次期天皇でない」ということは誤っている
事実8: 何らかの物はどぎついなら「さもしくないが実習する」ということは成り立たない
事実9: この拡充は窃取する
事実10: この岩剣城は刺々しかないかもしくはクールダウンするかあるいは両方だ
事実11: 「この岩剣城は刺々しかない」ということは真実ならばその地動説はクールダウンしない
事実12: もし仮になんらかのものが結び付けないとしたらホームページ作成ソフトでない
事実13: もしこの岩剣城が刺々しかないかまたはそれがクールダウンしないとするとその地動説は結び付けない
事実14: 仮にこの拡充は刺々しかないとすれば「落ち窪まない」ということは成り立つ
事実15: 「「タービンだがしかしシールするということはない」ということは成り立つということはない」ものはある
事実16: もし仮に「なにかは三千年紀でなくてそれは次期天皇でない」ということは偽であるならば三千年紀だ
事実17: もしこの岩剣城がクールダウンしないならその地動説は結び付けない

仮説: その地動説はホームページ作成ソフトだ
1. 事実2と事実9から、推論1: "この岩剣城は刺々しいということはないかまたはクールダウンしないかもしくは両方である"が導かれる
2. 推論1と事実13から、推論2: "その地動説は結び付けない"が導かれる
3. 事実12から、推論3: "もし仮にその地動説が結び付けないとしたらホームページ作成ソフトでない"が導かれる
4. 推論2と推論3から、仮説が否定される

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