「その二百二十ＰＳは仄白い」ということは真実である
fact1: なにがしかのものは歪曲だとすれば「この俗語は道州制だということはないしさらに掛け難くない」ということは嘘だ fact2: 仮に「この前田領は成り給わない一方で醜い」ということは誤っているとしたらあの御任せは醜くない fact3: 「歪曲な」物はある fact4: 「この俗語は道州制でないが掛け難い」ということは事実でない fact5: もし仮になにかは同意権者だとすると「この前田領は成り給わないけれど醜い」ということは間違っている fact6: 「この未成熟は茶色っぽい一方でそれは彼女らしいということはない」ということは真実でない fact7: もし仮に「「歪曲だ」ということは本当な」ものはあるとすれば「この俗語は道州制であるがそれは掛け難くない」ということは間違いである fact8: 醜くない物は小水疱型である fact9: もし「「この俗語は道州制であるということはないしその上掛け難くない」ということは真実である」ということは成り立たないとすればその二百二十ＰＳは小水疱型だ fact10: もし「この未成熟は茶色っぽいけどそれは彼女らしくない」ということは成り立つということはないなら教唆しない fact11: もし「歪曲な」ものはあるとしたら「この俗語は道州制でないが掛け難い」ということは間違いである fact12: 「この俗語は道州制である一方で掛け難くない」ということは成り立つということはない fact13: この電気羊は掛け難い fact14: 「もし「この未成熟は教唆しない」ということは成り立つとするとあの家出は同意権者であるししかもそれはアメリカっぽい」ということは成り立つ fact15: 「この俗語は小水疱型でないし仄白くない」ということは本当だということはないならばその二百二十ＰＳは掛け難い fact16: 小水疱型は仄白い fact17: もし「道州制な」ものはあるなら「その二百二十ＰＳが掛け難いということはないしその上小水疱型だということはない」ということは間違いだ fact18: もしもこの俗語が道州制でないならその二百二十ＰＳは歪曲でないし仄白いということはない
fact3 & fact1 -> int1: 「この俗語は道州制でなくてまた掛け難くない」ということは嘘だ; int1 & fact9 -> int2: その二百二十ＰＳは小水疱型である; fact16 -> int3: もしもその二百二十ＰＳが小水疱型だとするとそれは仄白い; int2 & int3 -> hypothesis;
fact3 & fact1 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact9 -> int2: {D}{b}; fact16 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
その二百二十ＰＳは仄白くない
fact23 -> int4: あの御任せが醜くないなら小水疱型である; fact19 & fact25 -> int5: この未成熟は教唆しない; fact21 & int5 -> int6: あの家出は同意権者であるし加えてそれはアメリカっぽい; int6 -> int7: あの家出は同意権者である; int7 -> int8: 「同意権者な」ものはある; int8 & fact20 -> int9: 「この前田領は成り給うということはない一方で醜い」ということは間違いである; fact24 & int9 -> int10: あの御任せは醜くない; int4 & int10 -> int11: あの御任せは小水疱型だ; int11 -> int12: 「小水疱型な」ものはある;
$facts$ = fact1: なにがしかのものは歪曲だとすれば「この俗語は道州制だということはないしさらに掛け難くない」ということは嘘だ fact2: 仮に「この前田領は成り給わない一方で醜い」ということは誤っているとしたらあの御任せは醜くない fact3: 「歪曲な」物はある fact4: 「この俗語は道州制でないが掛け難い」ということは事実でない fact5: もし仮になにかは同意権者だとすると「この前田領は成り給わないけれど醜い」ということは間違っている fact6: 「この未成熟は茶色っぽい一方でそれは彼女らしいということはない」ということは真実でない fact7: もし仮に「「歪曲だ」ということは本当な」ものはあるとすれば「この俗語は道州制であるがそれは掛け難くない」ということは間違いである fact8: 醜くない物は小水疱型である fact9: もし「「この俗語は道州制であるということはないしその上掛け難くない」ということは真実である」ということは成り立たないとすればその二百二十ＰＳは小水疱型だ fact10: もし「この未成熟は茶色っぽいけどそれは彼女らしくない」ということは成り立つということはないなら教唆しない fact11: もし「歪曲な」ものはあるとしたら「この俗語は道州制でないが掛け難い」ということは間違いである fact12: 「この俗語は道州制である一方で掛け難くない」ということは成り立つということはない fact13: この電気羊は掛け難い fact14: 「もし「この未成熟は教唆しない」ということは成り立つとするとあの家出は同意権者であるししかもそれはアメリカっぽい」ということは成り立つ fact15: 「この俗語は小水疱型でないし仄白くない」ということは本当だということはないならばその二百二十ＰＳは掛け難い fact16: 小水疱型は仄白い fact17: もし「道州制な」ものはあるなら「その二百二十ＰＳが掛け難いということはないしその上小水疱型だということはない」ということは間違いだ fact18: もしもこの俗語が道州制でないならその二百二十ＰＳは歪曲でないし仄白いということはない ; $hypothesis$ = 「その二百二十ＰＳは仄白い」ということは真実である ; $proof$ = 
fact3 & fact1 -> int1: 「この俗語は道州制でなくてまた掛け難くない」ということは嘘だ; int1 & fact9 -> int2: その二百二十ＰＳは小水疱型である; fact16 -> int3: もしもその二百二十ＰＳが小水疱型だとするとそれは仄白い; int2 & int3 -> hypothesis; __PROVED__
事実1: なにがしかのものは歪曲だとすれば「この俗語は道州制だということはないしさらに掛け難くない」ということは嘘だ
事実2: 仮に「この前田領は成り給わない一方で醜い」ということは誤っているとしたらあの御任せは醜くない
事実3: 「歪曲な」物はある
事実4: 「この俗語は道州制でないが掛け難い」ということは事実でない
事実5: もし仮になにかは同意権者だとすると「この前田領は成り給わないけれど醜い」ということは間違っている
事実6: 「この未成熟は茶色っぽい一方でそれは彼女らしいということはない」ということは真実でない
事実7: もし仮に「「歪曲だ」ということは本当な」ものはあるとすれば「この俗語は道州制であるがそれは掛け難くない」ということは間違いである
事実8: 醜くない物は小水疱型である
事実9: もし「「この俗語は道州制であるということはないしその上掛け難くない」ということは真実である」ということは成り立たないとすればその二百二十ＰＳは小水疱型だ
事実10: もし「この未成熟は茶色っぽいけどそれは彼女らしくない」ということは成り立つということはないなら教唆しない
事実11: もし「歪曲な」ものはあるとしたら「この俗語は道州制でないが掛け難い」ということは間違いである
事実12: 「この俗語は道州制である一方で掛け難くない」ということは成り立つということはない
事実13: この電気羊は掛け難い
事実14: 「もし「この未成熟は教唆しない」ということは成り立つとするとあの家出は同意権者であるししかもそれはアメリカっぽい」ということは成り立つ
事実15: 「この俗語は小水疱型でないし仄白くない」ということは本当だということはないならばその二百二十ＰＳは掛け難い
事実16: 小水疱型は仄白い
事実17: もし「道州制な」ものはあるなら「その二百二十ＰＳが掛け難いということはないしその上小水疱型だということはない」ということは間違いだ
事実18: もしもこの俗語が道州制でないならその二百二十ＰＳは歪曲でないし仄白いということはない

仮説: 「その二百二十ＰＳは仄白い」ということは真実である
1. 事実3と事実1から、推論1: "「この俗語は道州制でなくてまた掛け難くない」ということは嘘だ"が導かれる
2. 推論1と事実9から、推論2: "その二百二十ＰＳは小水疱型である"が導かれる
3. 事実16から、推論3: "もしもその二百二十ＰＳが小水疱型だとするとそれは仄白い"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。