「あの当該所要は大卒女性であるかもしくは超音波療法であるかあるいは両方だ」ということは誤りである
fact1: そのケータリングは新聞時評であるとすると「この自己複製能は上述しなくて更に伏さない」ということは成り立たない fact2: もし仮になんらかの物がコーチするけどそれが限り無くないならあの当該所要は文化芸術活動である fact3: 超音波療法は大卒女性でなくて戯れない fact4: もしもあの当該所要が大卒女性でないけどそれが文化芸術活動であるとすればあの薬物中毒は戯れない fact5: この薬物中毒は文化芸術活動だ fact6: 「戯れる」物はある fact7: もしも「その睨みはベンチャー・キャピタリストであるということはない」ということは成り立つとするとこのＱ・Ｃ・Ｄは日本人らしいしその上決す fact8: この薬物中毒が大卒女性であるということはないし更に戯れないとするとあの当該所要は限り無い fact9: もしも「このＱ・Ｃ・Ｄは日本人らしくない」ということは成り立たないとしたらこの薬物中毒は超音波療法である fact10: 仮に大卒女性が文化芸術活動でないとするとこの薬物中毒は戯れる fact11: 「もしも「この自己複製能は上述しなくてしかもそれは伏さない」ということは間違いだとするとその睨みはベンチャー・キャピタリストでない」ということは成り立つ fact12: この薬物中毒は入試学力でない一方でそれは売り逃す fact13: なんらかの物は文化芸術活動であるしかつ大卒女性である fact14: あの当該所要はコーチする fact15: 「コーチするし限り無くない」物はある fact16: もしもある物が文化芸術活動であるがしかし超音波療法であるということはないとすればあの当該所要は戯れる fact17: この薬物中毒は戯れる
fact15 & fact2 -> int1: あの当該所要は文化芸術活動である; void -> assump1: 以下のように仮定する。あの当該所要は大卒女性でない; int1 & assump1 -> int2: あの当該所要は大卒女性でないがそれは文化芸術活動である; int2 & fact4 -> int3: この薬物中毒は戯れるということはない; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの当該所要は大卒女性だ; int5 -> hypothesis;
この補助金は文化芸術活動である
fact19 -> int6: 仮にこの薬物中毒は超音波療法であるとすると大卒女性であるということはないしその上戯れない;
$facts$ = fact1: そのケータリングは新聞時評であるとすると「この自己複製能は上述しなくて更に伏さない」ということは成り立たない fact2: もし仮になんらかの物がコーチするけどそれが限り無くないならあの当該所要は文化芸術活動である fact3: 超音波療法は大卒女性でなくて戯れない fact4: もしもあの当該所要が大卒女性でないけどそれが文化芸術活動であるとすればあの薬物中毒は戯れない fact5: この薬物中毒は文化芸術活動だ fact6: 「戯れる」物はある fact7: もしも「その睨みはベンチャー・キャピタリストであるということはない」ということは成り立つとするとこのＱ・Ｃ・Ｄは日本人らしいしその上決す fact8: この薬物中毒が大卒女性であるということはないし更に戯れないとするとあの当該所要は限り無い fact9: もしも「このＱ・Ｃ・Ｄは日本人らしくない」ということは成り立たないとしたらこの薬物中毒は超音波療法である fact10: 仮に大卒女性が文化芸術活動でないとするとこの薬物中毒は戯れる fact11: 「もしも「この自己複製能は上述しなくてしかもそれは伏さない」ということは間違いだとするとその睨みはベンチャー・キャピタリストでない」ということは成り立つ fact12: この薬物中毒は入試学力でない一方でそれは売り逃す fact13: なんらかの物は文化芸術活動であるしかつ大卒女性である fact14: あの当該所要はコーチする fact15: 「コーチするし限り無くない」物はある fact16: もしもある物が文化芸術活動であるがしかし超音波療法であるということはないとすればあの当該所要は戯れる fact17: この薬物中毒は戯れる ; $hypothesis$ = 「あの当該所要は大卒女性であるかもしくは超音波療法であるかあるいは両方だ」ということは誤りである ; $proof$ = 
fact15 & fact2 -> int1: あの当該所要は文化芸術活動である; void -> assump1: 以下のように仮定する。あの当該所要は大卒女性でない; int1 & assump1 -> int2: あの当該所要は大卒女性でないがそれは文化芸術活動である; int2 & fact4 -> int3: この薬物中毒は戯れるということはない; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの当該所要は大卒女性だ; int5 -> hypothesis; __DISPROVED__
事実1: そのケータリングは新聞時評であるとすると「この自己複製能は上述しなくて更に伏さない」ということは成り立たない
事実2: もし仮になんらかの物がコーチするけどそれが限り無くないならあの当該所要は文化芸術活動である
事実3: 超音波療法は大卒女性でなくて戯れない
事実4: もしもあの当該所要が大卒女性でないけどそれが文化芸術活動であるとすればあの薬物中毒は戯れない
事実5: この薬物中毒は文化芸術活動だ
事実6: 「戯れる」物はある
事実7: もしも「その睨みはベンチャー・キャピタリストであるということはない」ということは成り立つとするとこのＱ・Ｃ・Ｄは日本人らしいしその上決す
事実8: この薬物中毒が大卒女性であるということはないし更に戯れないとするとあの当該所要は限り無い
事実9: もしも「このＱ・Ｃ・Ｄは日本人らしくない」ということは成り立たないとしたらこの薬物中毒は超音波療法である
事実10: 仮に大卒女性が文化芸術活動でないとするとこの薬物中毒は戯れる
事実11: 「もしも「この自己複製能は上述しなくてしかもそれは伏さない」ということは間違いだとするとその睨みはベンチャー・キャピタリストでない」ということは成り立つ
事実12: この薬物中毒は入試学力でない一方でそれは売り逃す
事実13: なんらかの物は文化芸術活動であるしかつ大卒女性である
事実14: あの当該所要はコーチする
事実15: 「コーチするし限り無くない」物はある
事実16: もしもある物が文化芸術活動であるがしかし超音波療法であるということはないとすればあの当該所要は戯れる
事実17: この薬物中毒は戯れる

仮説: 「あの当該所要は大卒女性であるかもしくは超音波療法であるかあるいは両方だ」ということは誤りである
1. 事実15と事実2から、推論1: "あの当該所要は文化芸術活動である"が導かれる
2. 仮定1: 以下のように仮定する。あの当該所要は大卒女性でない
3. 推論1と仮定1から、推論2: "あの当該所要は大卒女性でないがそれは文化芸術活動である"が導かれる
4. 推論2と事実4から、推論3: "この薬物中毒は戯れるということはない"が導かれる
5. 推論3と事実17から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの当該所要は大卒女性だ"が導かれる
7. 推論5から、仮説が否定される

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