あのチェーン・ギャンギングは劇団四季だ
fact1: もしもあのチェーン・ギャンギングは元素でないが威嚇であるとすればＡＤ変換しない fact2: 仮に「その未成年者は劇団四季でない」ということは成り立つとしたら元素でない fact3: あのチェーン・ギャンギングは小難しくない fact4: もしもあのチェーン・ギャンギングは威嚇でないならば「その未成年者は元素でないがしかし威嚇である」ということは誤りでない fact5: その未成年者は劇団四季でないとしたら「あのチェーン・ギャンギングは元素でない一方で劇団四季である」ということは事実だ fact6: その未成年者は威嚇でないとしたら元素であるということはない fact7: 「あのチェーン・ギャンギングは志半ばだということはない」ということは成り立つ fact8: このセゾンは劇団四季でない fact9: もしもその未成年者が元素でないとするとあのチェーン・ギャンギングはＡＤ変換するということはないが元素である fact10: 何かは威嚇だということはないとしたら劇団四季だ fact11: もしその未成年者が威嚇でないとすればあのチェーン・ギャンギングはＡＤ変換しないけれど威嚇だ fact12: あのチェーン・ギャンギングが劇団四季でないとしたらその未成年者は元素でない一方でそれは劇団四季だ fact13: もしもあのチェーン・ギャンギングはＡＤ変換しないけど元素であるとするとそれは劇団四季でない fact14: あのチェーン・ギャンギングはエゾ山躑躅であるということはない fact15: あの淋菌は元素でない fact16: その未成年者は譲位するということはない一方で出力する fact17: その未成年者は後日でないかもしくはＡＤ変換しないかあるいはどちらもだ fact18: あのチューン・シートは威嚇でない fact19: その未成年者は威嚇でない
fact6 & fact19 -> int1: その未成年者は元素でない; int1 & fact9 -> int2: あのチェーン・ギャンギングはＡＤ変換しない一方でそれは元素だ; int2 & fact13 -> hypothesis;
あのチェーン・ギャンギングは劇団四季だ
fact20 -> int3: あのチェーン・ギャンギングが威嚇だということはないとしたら劇団四季だ;
$facts$ = fact1: もしもあのチェーン・ギャンギングは元素でないが威嚇であるとすればＡＤ変換しない fact2: 仮に「その未成年者は劇団四季でない」ということは成り立つとしたら元素でない fact3: あのチェーン・ギャンギングは小難しくない fact4: もしもあのチェーン・ギャンギングは威嚇でないならば「その未成年者は元素でないがしかし威嚇である」ということは誤りでない fact5: その未成年者は劇団四季でないとしたら「あのチェーン・ギャンギングは元素でない一方で劇団四季である」ということは事実だ fact6: その未成年者は威嚇でないとしたら元素であるということはない fact7: 「あのチェーン・ギャンギングは志半ばだということはない」ということは成り立つ fact8: このセゾンは劇団四季でない fact9: もしもその未成年者が元素でないとするとあのチェーン・ギャンギングはＡＤ変換するということはないが元素である fact10: 何かは威嚇だということはないとしたら劇団四季だ fact11: もしその未成年者が威嚇でないとすればあのチェーン・ギャンギングはＡＤ変換しないけれど威嚇だ fact12: あのチェーン・ギャンギングが劇団四季でないとしたらその未成年者は元素でない一方でそれは劇団四季だ fact13: もしもあのチェーン・ギャンギングはＡＤ変換しないけど元素であるとするとそれは劇団四季でない fact14: あのチェーン・ギャンギングはエゾ山躑躅であるということはない fact15: あの淋菌は元素でない fact16: その未成年者は譲位するということはない一方で出力する fact17: その未成年者は後日でないかもしくはＡＤ変換しないかあるいはどちらもだ fact18: あのチューン・シートは威嚇でない fact19: その未成年者は威嚇でない ; $hypothesis$ = あのチェーン・ギャンギングは劇団四季だ ; $proof$ = 
fact6 & fact19 -> int1: その未成年者は元素でない; int1 & fact9 -> int2: あのチェーン・ギャンギングはＡＤ変換しない一方でそれは元素だ; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしもあのチェーン・ギャンギングは元素でないが威嚇であるとすればＡＤ変換しない
事実2: 仮に「その未成年者は劇団四季でない」ということは成り立つとしたら元素でない
事実3: あのチェーン・ギャンギングは小難しくない
事実4: もしもあのチェーン・ギャンギングは威嚇でないならば「その未成年者は元素でないがしかし威嚇である」ということは誤りでない
事実5: その未成年者は劇団四季でないとしたら「あのチェーン・ギャンギングは元素でない一方で劇団四季である」ということは事実だ
事実6: その未成年者は威嚇でないとしたら元素であるということはない
事実7: 「あのチェーン・ギャンギングは志半ばだということはない」ということは成り立つ
事実8: このセゾンは劇団四季でない
事実9: もしもその未成年者が元素でないとするとあのチェーン・ギャンギングはＡＤ変換するということはないが元素である
事実10: 何かは威嚇だということはないとしたら劇団四季だ
事実11: もしその未成年者が威嚇でないとすればあのチェーン・ギャンギングはＡＤ変換しないけれど威嚇だ
事実12: あのチェーン・ギャンギングが劇団四季でないとしたらその未成年者は元素でない一方でそれは劇団四季だ
事実13: もしもあのチェーン・ギャンギングはＡＤ変換しないけど元素であるとするとそれは劇団四季でない
事実14: あのチェーン・ギャンギングはエゾ山躑躅であるということはない
事実15: あの淋菌は元素でない
事実16: その未成年者は譲位するということはない一方で出力する
事実17: その未成年者は後日でないかもしくはＡＤ変換しないかあるいはどちらもだ
事実18: あのチューン・シートは威嚇でない
事実19: その未成年者は威嚇でない

仮説: あのチェーン・ギャンギングは劇団四季だ
1. 事実6と事実19から、推論1: "その未成年者は元素でない"が導かれる
2. 推論1と事実9から、推論2: "あのチェーン・ギャンギングはＡＤ変換しない一方でそれは元素だ"が導かれる
3. 推論2と事実13から、仮説が否定される

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