その敵駆逐艦は誓約するということはない
fact1: 「「「確認・設定するか入れ易くない」ということは成り立たない」物はある」ということは真実だとしたらこの針は星々だ fact2: もしもその敵駆逐艦が晴々しいとするとそれは誓約する fact3: もし仮にその敵駆逐艦が誓約するなら取得し易い fact4: もしとある物が揉み始めるなら肯定す fact5: もしもあの産室が星々でないけど退院するとすればこの儀礼は退院する fact6: もしこの儀礼が忙しないけれどそれが参加し易いということはないとしたらこの針は忙しなくない fact7: その敵駆逐艦は晴々しい fact8: とあるものが揉み始めないとすればそれが晴々しかないしさらに肯定すらない fact9: 「「「確認・設定するかもしくは入れ易くない」ということは成り立つ」ということは偽である」物はある fact10: この儀礼は退院するとすると「「この針は揉み始めないしそれに忙しないということはない」ということは成り立つ」ということは偽である fact11: もしこの儀礼はコーラであるとすると忙しないが参加し易いということはない fact12: 全てはコーラである fact13: 仮に「この針は揉み始めないしその上忙しなくない」ということは嘘であるとするとその敵駆逐艦は揉み始める fact14: もし仮に星々が忙しなくないとすると退院する fact15: 仮に晴々しかない物が肯定すらないとしたらそれは誓約しない
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
この棟木は晴々しい
fact16 -> int1: もし仮にその敵駆逐艦が揉み始めるならそれは肯定す;
$facts$ = fact1: 「「「確認・設定するか入れ易くない」ということは成り立たない」物はある」ということは真実だとしたらこの針は星々だ fact2: もしもその敵駆逐艦が晴々しいとするとそれは誓約する fact3: もし仮にその敵駆逐艦が誓約するなら取得し易い fact4: もしとある物が揉み始めるなら肯定す fact5: もしもあの産室が星々でないけど退院するとすればこの儀礼は退院する fact6: もしこの儀礼が忙しないけれどそれが参加し易いということはないとしたらこの針は忙しなくない fact7: その敵駆逐艦は晴々しい fact8: とあるものが揉み始めないとすればそれが晴々しかないしさらに肯定すらない fact9: 「「「確認・設定するかもしくは入れ易くない」ということは成り立つ」ということは偽である」物はある fact10: この儀礼は退院するとすると「「この針は揉み始めないしそれに忙しないということはない」ということは成り立つ」ということは偽である fact11: もしこの儀礼はコーラであるとすると忙しないが参加し易いということはない fact12: 全てはコーラである fact13: 仮に「この針は揉み始めないしその上忙しなくない」ということは嘘であるとするとその敵駆逐艦は揉み始める fact14: もし仮に星々が忙しなくないとすると退院する fact15: 仮に晴々しかない物が肯定すらないとしたらそれは誓約しない ; $hypothesis$ = その敵駆逐艦は誓約するということはない ; $proof$ = 
fact2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「「「確認・設定するか入れ易くない」ということは成り立たない」物はある」ということは真実だとしたらこの針は星々だ
事実2: もしもその敵駆逐艦が晴々しいとするとそれは誓約する
事実3: もし仮にその敵駆逐艦が誓約するなら取得し易い
事実4: もしとある物が揉み始めるなら肯定す
事実5: もしもあの産室が星々でないけど退院するとすればこの儀礼は退院する
事実6: もしこの儀礼が忙しないけれどそれが参加し易いということはないとしたらこの針は忙しなくない
事実7: その敵駆逐艦は晴々しい
事実8: とあるものが揉み始めないとすればそれが晴々しかないしさらに肯定すらない
事実9: 「「「確認・設定するかもしくは入れ易くない」ということは成り立つ」ということは偽である」物はある
事実10: この儀礼は退院するとすると「「この針は揉み始めないしそれに忙しないということはない」ということは成り立つ」ということは偽である
事実11: もしこの儀礼はコーラであるとすると忙しないが参加し易いということはない
事実12: 全てはコーラである
事実13: 仮に「この針は揉み始めないしその上忙しなくない」ということは嘘であるとするとその敵駆逐艦は揉み始める
事実14: もし仮に星々が忙しなくないとすると退院する
事実15: 仮に晴々しかない物が肯定すらないとしたらそれは誓約しない

仮説: その敵駆逐艦は誓約するということはない
1. 事実2と事実7から、仮説が否定される

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