そのハイブリッド型は空中遊泳する
fact1: もし仮に何らかの物は御墨付だということはないとすれば「空中遊泳しないしさらにそれはすっごーくない」ということは成り立たない fact2: もし「「空中遊泳しないしすっごーくない」ということは嘘である」物はあるとすれば「この住民票は悪賢いということはない」ということは正しい fact3: もし仮に何らかのものはすっごーくないしそれに独立粒子モデルでないとすると空中遊泳する fact4: そのハイブリッド型は悪賢くないし上士でない fact5: もし仮にとある物は御墨付であるということはないならばそれは選択され易くない fact6: もしもそのハイブリッド型は悪賢くないしその上上士でないとすると空中遊泳しない fact7: もしもあのパッキンが極論しないとすればそのハイブリッド型は御墨付でないし躊躇しない fact8: 選択され易くないものはすっごーくないし独立粒子モデルでない fact9: もしそのハイブリッド型が悪賢くない一方でそれが上士ならそれは空中遊泳しない fact10: 仮にそのハイブリッド型は真田素っ破でないし独立粒子モデルでないとしたらそれは活動し易いということはない fact11: そのハイブリッド型は上士でない
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
この住民票は長ーくないしそれに悪賢くない
fact13 -> int1: この現は御墨付だということはないなら「それは空中遊泳しなくてそれはすっごーくない」ということは嘘だ;
$facts$ = fact1: もし仮に何らかの物は御墨付だということはないとすれば「空中遊泳しないしさらにそれはすっごーくない」ということは成り立たない fact2: もし「「空中遊泳しないしすっごーくない」ということは嘘である」物はあるとすれば「この住民票は悪賢いということはない」ということは正しい fact3: もし仮に何らかのものはすっごーくないしそれに独立粒子モデルでないとすると空中遊泳する fact4: そのハイブリッド型は悪賢くないし上士でない fact5: もし仮にとある物は御墨付であるということはないならばそれは選択され易くない fact6: もしもそのハイブリッド型は悪賢くないしその上上士でないとすると空中遊泳しない fact7: もしもあのパッキンが極論しないとすればそのハイブリッド型は御墨付でないし躊躇しない fact8: 選択され易くないものはすっごーくないし独立粒子モデルでない fact9: もしそのハイブリッド型が悪賢くない一方でそれが上士ならそれは空中遊泳しない fact10: 仮にそのハイブリッド型は真田素っ破でないし独立粒子モデルでないとしたらそれは活動し易いということはない fact11: そのハイブリッド型は上士でない ; $hypothesis$ = そのハイブリッド型は空中遊泳する ; $proof$ = 
fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は御墨付だということはないとすれば「空中遊泳しないしさらにそれはすっごーくない」ということは成り立たない
事実2: もし「「空中遊泳しないしすっごーくない」ということは嘘である」物はあるとすれば「この住民票は悪賢いということはない」ということは正しい
事実3: もし仮に何らかのものはすっごーくないしそれに独立粒子モデルでないとすると空中遊泳する
事実4: そのハイブリッド型は悪賢くないし上士でない
事実5: もし仮にとある物は御墨付であるということはないならばそれは選択され易くない
事実6: もしもそのハイブリッド型は悪賢くないしその上上士でないとすると空中遊泳しない
事実7: もしもあのパッキンが極論しないとすればそのハイブリッド型は御墨付でないし躊躇しない
事実8: 選択され易くないものはすっごーくないし独立粒子モデルでない
事実9: もしそのハイブリッド型が悪賢くない一方でそれが上士ならそれは空中遊泳しない
事実10: 仮にそのハイブリッド型は真田素っ破でないし独立粒子モデルでないとしたらそれは活動し易いということはない
事実11: そのハイブリッド型は上士でない

仮説: そのハイブリッド型は空中遊泳する
1. 事実6と事実4から、仮説が否定される

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