あのセルロースはボールルームである
fact1: もし仮にとあるものは暫定セーフガードでないならばボールルームでない fact2: この人事担当部門は青しということはない fact3: 「あの接待行為は変わり易くない一方でそれは暫定セーフガードだ」ということは嘘である fact4: 仮にあの接待行為が願い出るということはないがしかし青しとしたらあのセルロースはボールルームである fact5: 「あのセルロースは青し」ということは成り立つ fact6: もしもなんらかの物は分類例でないけれどモチーフ本来であるとすると意識し始めるということはない fact7: あのセルロースは願い出ない fact8: あのセルロースは幼しない fact9: 「なんらかの物は変わり易くないものであってそれに暫定セーフガードだ」ということは確かでないとしたらそれは願い出ない fact10: この接尾詞は暫定セーフガードでない fact11: あのセルロースは桜ちゃんでないけれど小高い fact12: もしもとあるものは願い出ないけど青しとするとそれは暫定セーフガードでない fact13: もし仮にあのセルロースは暫定セーフガードでないならば「脇士でない」ということは成り立つ fact14: あのセルロースはそそっかしいということはない fact15: もし仮になにがしかの物は願い出ないし青しないならそれはボールルームである
fact7 & fact5 -> int1: あのセルロースは願い出ないが青し; fact12 -> int2: もしあのセルロースが願い出ないけれどそれが青しとすると暫定セーフガードでない; int1 & int2 -> int3: あのセルロースは暫定セーフガードでない; fact1 -> int4: もし仮にあのセルロースは暫定セーフガードでないとしたらそれはボールルームだということはない; int3 & int4 -> hypothesis;
fact7 & fact5 -> int1: (¬{A}{a} & {B}{a}); fact12 -> int2: (¬{A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact1 -> int4: ¬{C}{a} -> ¬{D}{a}; int3 & int4 -> hypothesis;
あのセルロースはボールルームだ
fact16 -> int5: もしもあのセルロースが願い出なくてそれが青しないとすればボールルームだ;
$facts$ = fact1: もし仮にとあるものは暫定セーフガードでないならばボールルームでない fact2: この人事担当部門は青しということはない fact3: 「あの接待行為は変わり易くない一方でそれは暫定セーフガードだ」ということは嘘である fact4: 仮にあの接待行為が願い出るということはないがしかし青しとしたらあのセルロースはボールルームである fact5: 「あのセルロースは青し」ということは成り立つ fact6: もしもなんらかの物は分類例でないけれどモチーフ本来であるとすると意識し始めるということはない fact7: あのセルロースは願い出ない fact8: あのセルロースは幼しない fact9: 「なんらかの物は変わり易くないものであってそれに暫定セーフガードだ」ということは確かでないとしたらそれは願い出ない fact10: この接尾詞は暫定セーフガードでない fact11: あのセルロースは桜ちゃんでないけれど小高い fact12: もしもとあるものは願い出ないけど青しとするとそれは暫定セーフガードでない fact13: もし仮にあのセルロースは暫定セーフガードでないならば「脇士でない」ということは成り立つ fact14: あのセルロースはそそっかしいということはない fact15: もし仮になにがしかの物は願い出ないし青しないならそれはボールルームである ; $hypothesis$ = あのセルロースはボールルームである ; $proof$ = 
fact7 & fact5 -> int1: あのセルロースは願い出ないが青し; fact12 -> int2: もしあのセルロースが願い出ないけれどそれが青しとすると暫定セーフガードでない; int1 & int2 -> int3: あのセルロースは暫定セーフガードでない; fact1 -> int4: もし仮にあのセルロースは暫定セーフガードでないとしたらそれはボールルームだということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものは暫定セーフガードでないならばボールルームでない
事実2: この人事担当部門は青しということはない
事実3: 「あの接待行為は変わり易くない一方でそれは暫定セーフガードだ」ということは嘘である
事実4: 仮にあの接待行為が願い出るということはないがしかし青しとしたらあのセルロースはボールルームである
事実5: 「あのセルロースは青し」ということは成り立つ
事実6: もしもなんらかの物は分類例でないけれどモチーフ本来であるとすると意識し始めるということはない
事実7: あのセルロースは願い出ない
事実8: あのセルロースは幼しない
事実9: 「なんらかの物は変わり易くないものであってそれに暫定セーフガードだ」ということは確かでないとしたらそれは願い出ない
事実10: この接尾詞は暫定セーフガードでない
事実11: あのセルロースは桜ちゃんでないけれど小高い
事実12: もしもとあるものは願い出ないけど青しとするとそれは暫定セーフガードでない
事実13: もし仮にあのセルロースは暫定セーフガードでないならば「脇士でない」ということは成り立つ
事実14: あのセルロースはそそっかしいということはない
事実15: もし仮になにがしかの物は願い出ないし青しないならそれはボールルームである

仮説: あのセルロースはボールルームである
1. 事実7と事実5から、推論1: "あのセルロースは願い出ないが青し"が導かれる
2. 事実12から、推論2: "もしあのセルロースが願い出ないけれどそれが青しとすると暫定セーフガードでない"が導かれる
3. 推論1と推論2から、推論3: "あのセルロースは暫定セーフガードでない"が導かれる
4. 事実1から、推論4: "もし仮にあのセルロースは暫定セーフガードでないとしたらそれはボールルームだということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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