その治療院は世界遺産条約だということはない
fact1: この別章は褐変するかあるいは加熱中であるということはないかあるいはどちらもだ fact2: そのＡワンは褐変する fact3: その治療院が雇用安定事業であるかまたはそれが世界遺産条約でないとすれば取っ付き易い fact4: そのＡワンは黙す fact5: そのＡワンは加熱中であるかそれは世界遺産条約でないか両方だ fact6: もしこの別章が褐変しないとしたらそのＡワンは強制発現するか雇用安定事業でないかまたはどちらもである fact7: この別章は世界遺産条約だ fact8: もし仮にこの別章が強制発現しないとすればあのＡワンは褐変するかあるいは雇用安定事業であるということはないかあるいはどちらもだ fact9: 取っ付き易い物は加熱中だ fact10: もし仮に「その治療院は褐変するかもしくは取っ付き易くないかあるいは両方ともである」ということは成り立つとしたらそれは世界遺産条約である fact11: この別章は褐変しない fact12: この別章はどうしても欲しい fact13: そのＡワンは減額する fact14: その治療院は加熱中である fact15: そのＡワンは強制発現するかまたは褐変するかもしくはどちらもだ fact16: もしも「この学生実習は出撃するかまたはそれは加熱中でない」ということは成り立つとするとそれは陳列台である fact17: もし仮になにがしかの物が強制発現するかそれは雇用安定事業でないかあるいは両方ともであるとしたらそれは取っ付き易い fact18: もしそのＡワンが世界遺産条約であるとすればその治療院は加熱中である fact19: 仮にそのＡワンが加熱中であるとすればその治療院は世界遺産条約である fact20: そのＡワンは世界遺産条約であるかまたは加熱中でないかどちらもである fact21: この別章は取っ付き易くない fact22: 仮にこの響孔が世界遺産条約であるならばこの別章は世界遺産条約である
fact17 -> int1: もしもそのＡワンが強制発現するかまたはそれは雇用安定事業でないかもしくは両方ともだとすれば取っ付き易い; fact11 & fact6 -> int2: そのＡワンは強制発現するかあるいは雇用安定事業であるということはない; int1 & int2 -> int3: 「そのＡワンは取っ付き易い」ということは本当だ; fact9 -> int4: もし「そのＡワンは取っ付き易い」ということは間違っていないならば加熱中である; int3 & int4 -> int5: そのＡワンは加熱中である; int5 & fact19 -> hypothesis;
その治療院は世界遺産条約だということはない
$facts$ = fact1: この別章は褐変するかあるいは加熱中であるということはないかあるいはどちらもだ fact2: そのＡワンは褐変する fact3: その治療院が雇用安定事業であるかまたはそれが世界遺産条約でないとすれば取っ付き易い fact4: そのＡワンは黙す fact5: そのＡワンは加熱中であるかそれは世界遺産条約でないか両方だ fact6: もしこの別章が褐変しないとしたらそのＡワンは強制発現するか雇用安定事業でないかまたはどちらもである fact7: この別章は世界遺産条約だ fact8: もし仮にこの別章が強制発現しないとすればあのＡワンは褐変するかあるいは雇用安定事業であるということはないかあるいはどちらもだ fact9: 取っ付き易い物は加熱中だ fact10: もし仮に「その治療院は褐変するかもしくは取っ付き易くないかあるいは両方ともである」ということは成り立つとしたらそれは世界遺産条約である fact11: この別章は褐変しない fact12: この別章はどうしても欲しい fact13: そのＡワンは減額する fact14: その治療院は加熱中である fact15: そのＡワンは強制発現するかまたは褐変するかもしくはどちらもだ fact16: もしも「この学生実習は出撃するかまたはそれは加熱中でない」ということは成り立つとするとそれは陳列台である fact17: もし仮になにがしかの物が強制発現するかそれは雇用安定事業でないかあるいは両方ともであるとしたらそれは取っ付き易い fact18: もしそのＡワンが世界遺産条約であるとすればその治療院は加熱中である fact19: 仮にそのＡワンが加熱中であるとすればその治療院は世界遺産条約である fact20: そのＡワンは世界遺産条約であるかまたは加熱中でないかどちらもである fact21: この別章は取っ付き易くない fact22: 仮にこの響孔が世界遺産条約であるならばこの別章は世界遺産条約である ; $hypothesis$ = その治療院は世界遺産条約だということはない ; $proof$ = 
fact17 -> int1: もしもそのＡワンが強制発現するかまたはそれは雇用安定事業でないかもしくは両方ともだとすれば取っ付き易い; fact11 & fact6 -> int2: そのＡワンは強制発現するかあるいは雇用安定事業であるということはない; int1 & int2 -> int3: 「そのＡワンは取っ付き易い」ということは本当だ; fact9 -> int4: もし「そのＡワンは取っ付き易い」ということは間違っていないならば加熱中である; int3 & int4 -> int5: そのＡワンは加熱中である; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: この別章は褐変するかあるいは加熱中であるということはないかあるいはどちらもだ
事実2: そのＡワンは褐変する
事実3: その治療院が雇用安定事業であるかまたはそれが世界遺産条約でないとすれば取っ付き易い
事実4: そのＡワンは黙す
事実5: そのＡワンは加熱中であるかそれは世界遺産条約でないか両方だ
事実6: もしこの別章が褐変しないとしたらそのＡワンは強制発現するか雇用安定事業でないかまたはどちらもである
事実7: この別章は世界遺産条約だ
事実8: もし仮にこの別章が強制発現しないとすればあのＡワンは褐変するかあるいは雇用安定事業であるということはないかあるいはどちらもだ
事実9: 取っ付き易い物は加熱中だ
事実10: もし仮に「その治療院は褐変するかもしくは取っ付き易くないかあるいは両方ともである」ということは成り立つとしたらそれは世界遺産条約である
事実11: この別章は褐変しない
事実12: この別章はどうしても欲しい
事実13: そのＡワンは減額する
事実14: その治療院は加熱中である
事実15: そのＡワンは強制発現するかまたは褐変するかもしくはどちらもだ
事実16: もしも「この学生実習は出撃するかまたはそれは加熱中でない」ということは成り立つとするとそれは陳列台である
事実17: もし仮になにがしかの物が強制発現するかそれは雇用安定事業でないかあるいは両方ともであるとしたらそれは取っ付き易い
事実18: もしそのＡワンが世界遺産条約であるとすればその治療院は加熱中である
事実19: 仮にそのＡワンが加熱中であるとすればその治療院は世界遺産条約である
事実20: そのＡワンは世界遺産条約であるかまたは加熱中でないかどちらもである
事実21: この別章は取っ付き易くない
事実22: 仮にこの響孔が世界遺産条約であるならばこの別章は世界遺産条約である

仮説: その治療院は世界遺産条約だということはない
1. 事実17から、推論1: "もしもそのＡワンが強制発現するかまたはそれは雇用安定事業でないかもしくは両方ともだとすれば取っ付き易い"が導かれる
2. 事実11と事実6から、推論2: "そのＡワンは強制発現するかあるいは雇用安定事業であるということはない"が導かれる
3. 推論1と推論2から、推論3: "「そのＡワンは取っ付き易い」ということは本当だ"が導かれる
4. 事実9から、推論4: "もし「そのＡワンは取っ付き易い」ということは間違っていないならば加熱中である"が導かれる
5. 推論3と推論4から、推論5: "そのＡワンは加熱中である"が導かれる
6. 推論5と事実19から、仮説が否定される

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