あの青色光は踏ん切りでない
fact1: あの青色光は踏ん切りだ fact2: あの青色光はスライディングする fact3: 「「抱き始めないし加えてグラフィックデザイナーだ」ということは成り立たない」物はある fact4: もし「あるものはポケベルでないしはしたなくない」ということは成り立たないとするとそれは踏ん切りでない fact5: 眩くない物は証明済みだがしかし生活関連でない fact6: とあるものは化かすとすれば「ポケベルでなくておまけにそれははしたなくない」ということは成り立たない fact7: もしもなんらかの物が証明済みであるがそれが生活関連でないとすれば化かさない fact8: 「あの野兎研究は踏ん切りだ」ということは成り立つ fact9: もし「何かははしたなくないしさらにポケベルでない」ということは誤りであるとすると踏ん切りである
fact1 -> hypothesis;
fact1 -> hypothesis;
あの青色光は踏ん切りでない
fact11 -> int1: もしも「あの青色光はポケベルでなくてその上はしたなくない」ということは嘘なら踏ん切りであるということはない; fact10 -> int2: もしもあの青色光は化かすとすれば「ポケベルでないしさらにはしたないということはない」ということは成り立たない;
$facts$ = fact1: あの青色光は踏ん切りだ fact2: あの青色光はスライディングする fact3: 「「抱き始めないし加えてグラフィックデザイナーだ」ということは成り立たない」物はある fact4: もし「あるものはポケベルでないしはしたなくない」ということは成り立たないとするとそれは踏ん切りでない fact5: 眩くない物は証明済みだがしかし生活関連でない fact6: とあるものは化かすとすれば「ポケベルでなくておまけにそれははしたなくない」ということは成り立たない fact7: もしもなんらかの物が証明済みであるがそれが生活関連でないとすれば化かさない fact8: 「あの野兎研究は踏ん切りだ」ということは成り立つ fact9: もし「何かははしたなくないしさらにポケベルでない」ということは誤りであるとすると踏ん切りである ; $hypothesis$ = あの青色光は踏ん切りでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの青色光は踏ん切りだ
事実2: あの青色光はスライディングする
事実3: 「「抱き始めないし加えてグラフィックデザイナーだ」ということは成り立たない」物はある
事実4: もし「あるものはポケベルでないしはしたなくない」ということは成り立たないとするとそれは踏ん切りでない
事実5: 眩くない物は証明済みだがしかし生活関連でない
事実6: とあるものは化かすとすれば「ポケベルでなくておまけにそれははしたなくない」ということは成り立たない
事実7: もしもなんらかの物が証明済みであるがそれが生活関連でないとすれば化かさない
事実8: 「あの野兎研究は踏ん切りだ」ということは成り立つ
事実9: もし「何かははしたなくないしさらにポケベルでない」ということは誤りであるとすると踏ん切りである

仮説: あの青色光は踏ん切りでない
1. 事実1から、仮説が否定される

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