「この自国産業は遠しない」ということは真実だ
fact1: もし仮に「「軟膏で規則正しい」ということは確かな」ものがあるとしたらあのＸＹ色度図は仲間キャラである fact2: 堅苦しくないものが取り出し易いとすればあの君が代斉唱は肌質である fact3: もし仮になにがしかの物が引けないとしたらそれは軟膏だということはない fact4: もしなんらかの物は軟膏でないとしたら恋しかないかまたは寂しいかどちらもである fact5: この君が代斉唱は寂しかない fact6: もしも何らかの物が恋しかないか寂しいかあるいは両方ともであるならこの自国産業は仲間キャラでない fact7: 「堅苦しくないしさらに取り出し易い」ものはある fact8: 仮に何かは軟膏でないけれど仲間キャラならこの自国産業は引ける fact9: 仮にとある物は仲間キャラでないとするとそれは遠し fact10: この自国産業が恋しかないとしたらそれは仲間キャラであるかまたは肌質であるかまたはどちらもである fact11: 仮にこの君が代斉唱は肌質であるならば「あのＸＹ色度図は規則正しくないけどそれは引ける」ということは間違っている fact12: 「狂おしくないかあるいは差し出がましいかまたは両方ともな」物はある fact13: 「なにかは規則正しくないけれど引ける」ということは嘘ならばそれは軟膏でない fact14: とあるものが寂しいとするとこの自国産業は仲間キャラでない
fact7 & fact2 -> int1: この君が代斉唱は肌質である; int1 & fact11 -> int2: 「あのＸＹ色度図は規則正しくないけど引ける」ということは成り立つということはない; fact13 -> int3: もしも「あのＸＹ色度図は規則正しくないが引ける」ということは成り立つということはないとするとそれは軟膏でない; int2 & int3 -> int4: あのＸＹ色度図は軟膏であるということはない; fact4 -> int5: 仮にあのＸＹ色度図が軟膏でないならそれは恋しかないかもしくはそれは寂しいかあるいは両方ともである; int4 & int5 -> int6: あのＸＹ色度図は恋しいということはないかまたはそれは寂しいかあるいはどちらもである; int6 -> int7: 恋しかないかもしくは寂しい物はある; int7 & fact6 -> int8: 「この自国産業は仲間キャラでない」ということは真実だ; fact9 -> int9: 仮にこの自国産業が仲間キャラでないとすればそれは遠し; int8 & int9 -> hypothesis;
$facts$ = fact1: もし仮に「「軟膏で規則正しい」ということは確かな」ものがあるとしたらあのＸＹ色度図は仲間キャラである fact2: 堅苦しくないものが取り出し易いとすればあの君が代斉唱は肌質である fact3: もし仮になにがしかの物が引けないとしたらそれは軟膏だということはない fact4: もしなんらかの物は軟膏でないとしたら恋しかないかまたは寂しいかどちらもである fact5: この君が代斉唱は寂しかない fact6: もしも何らかの物が恋しかないか寂しいかあるいは両方ともであるならこの自国産業は仲間キャラでない fact7: 「堅苦しくないしさらに取り出し易い」ものはある fact8: 仮に何かは軟膏でないけれど仲間キャラならこの自国産業は引ける fact9: 仮にとある物は仲間キャラでないとするとそれは遠し fact10: この自国産業が恋しかないとしたらそれは仲間キャラであるかまたは肌質であるかまたはどちらもである fact11: 仮にこの君が代斉唱は肌質であるならば「あのＸＹ色度図は規則正しくないけどそれは引ける」ということは間違っている fact12: 「狂おしくないかあるいは差し出がましいかまたは両方ともな」物はある fact13: 「なにかは規則正しくないけれど引ける」ということは嘘ならばそれは軟膏でない fact14: とあるものが寂しいとするとこの自国産業は仲間キャラでない ; $hypothesis$ = 「この自国産業は遠しない」ということは真実だ ; $proof$ = 
fact7 & fact2 -> int1: この君が代斉唱は肌質である; int1 & fact11 -> int2: 「あのＸＹ色度図は規則正しくないけど引ける」ということは成り立つということはない; fact13 -> int3: もしも「あのＸＹ色度図は規則正しくないが引ける」ということは成り立つということはないとするとそれは軟膏でない; int2 & int3 -> int4: あのＸＹ色度図は軟膏であるということはない; fact4 -> int5: 仮にあのＸＹ色度図が軟膏でないならそれは恋しかないかもしくはそれは寂しいかあるいは両方ともである; int4 & int5 -> int6: あのＸＹ色度図は恋しいということはないかまたはそれは寂しいかあるいはどちらもである; int6 -> int7: 恋しかないかもしくは寂しい物はある; int7 & fact6 -> int8: 「この自国産業は仲間キャラでない」ということは真実だ; fact9 -> int9: 仮にこの自国産業が仲間キャラでないとすればそれは遠し; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし仮に「「軟膏で規則正しい」ということは確かな」ものがあるとしたらあのＸＹ色度図は仲間キャラである
事実2: 堅苦しくないものが取り出し易いとすればあの君が代斉唱は肌質である
事実3: もし仮になにがしかの物が引けないとしたらそれは軟膏だということはない
事実4: もしなんらかの物は軟膏でないとしたら恋しかないかまたは寂しいかどちらもである
事実5: この君が代斉唱は寂しかない
事実6: もしも何らかの物が恋しかないか寂しいかあるいは両方ともであるならこの自国産業は仲間キャラでない
事実7: 「堅苦しくないしさらに取り出し易い」ものはある
事実8: 仮に何かは軟膏でないけれど仲間キャラならこの自国産業は引ける
事実9: 仮にとある物は仲間キャラでないとするとそれは遠し
事実10: この自国産業が恋しかないとしたらそれは仲間キャラであるかまたは肌質であるかまたはどちらもである
事実11: 仮にこの君が代斉唱は肌質であるならば「あのＸＹ色度図は規則正しくないけどそれは引ける」ということは間違っている
事実12: 「狂おしくないかあるいは差し出がましいかまたは両方ともな」物はある
事実13: 「なにかは規則正しくないけれど引ける」ということは嘘ならばそれは軟膏でない
事実14: とあるものが寂しいとするとこの自国産業は仲間キャラでない

仮説: 「この自国産業は遠しない」ということは真実だ
1. 事実7と事実2から、推論1: "この君が代斉唱は肌質である"が導かれる
2. 推論1と事実11から、推論2: "「あのＸＹ色度図は規則正しくないけど引ける」ということは成り立つということはない"が導かれる
3. 事実13から、推論3: "もしも「あのＸＹ色度図は規則正しくないが引ける」ということは成り立つということはないとするとそれは軟膏でない"が導かれる
4. 推論2と推論3から、推論4: "あのＸＹ色度図は軟膏であるということはない"が導かれる
5. 事実4から、推論5: "仮にあのＸＹ色度図が軟膏でないならそれは恋しかないかもしくはそれは寂しいかあるいは両方ともである"が導かれる
6. 推論4と推論5から、推論6: "あのＸＹ色度図は恋しいということはないかまたはそれは寂しいかあるいはどちらもである"が導かれる
7. 推論6から、推論7: "恋しかないかもしくは寂しい物はある"が導かれる
8. 推論7と事実6から、推論8: "「この自国産業は仲間キャラでない」ということは真実だ"が導かれる
9. 事実9から、推論9: "仮にこの自国産業が仲間キャラでないとすればそれは遠し"が導かれる
10. 推論8と推論9から、仮説が否定される

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