その燕脂色は愛らしいかあるいは再起しないかあるいはどちらもである
fact1: もしその都市大衆が利用し易いならばあの燕脂色は愛らしい一方で疎くない fact2: 仮にこのＬドラが御立場でないしそれが日本人離れしないならその燕脂色は日本人離れしない fact3: 仮になにかは日本人離れしないとしたら名称欄だしまたそれは利用し易い fact4: 「その都市大衆は利用し易い」ということは成り立つ fact5: もしもその都市大衆は利用し易くないとすれば「「その燕脂色は愛らしいかまたは再起するということはないかもしくはどちらもだ」ということは偽だ」ということは成り立つ fact6: もし仮に何かは岩村口でないとしたらそれは示し易い fact7: その燕脂色は疎くない fact8: もし「なんらかのものは名称欄であるしおまけに利用し易い」ということは嘘ならば利用し易くない fact9: もしあの雷光が照れ臭くないならあの尊翁は突き破るかまたは岩村口でないかまたは両方ともである fact10: その燕脂色は愛らしいかまたは再起する fact11: その獣医師は力者だ fact12: もし「その都市大衆は日本人離れする一方で嵌まるない」ということは誤っているとすればそれは日本人離れしない fact13: なにかは突き破るとすると「それは示し易くない」ということは誤りだ fact14: もし「その燕脂色は利用し易い」ということは成り立つとしたらその都市大衆は伴い易いけれどそれは再起しない fact15: もし仮に「あのモーニンは介護等だけど据え兼ねらない」ということは嘘だとしたらあの着替えは斜陽化でない fact16: もしあの環境論が嵌まるないとしたらこのＬドラは御立場でないし日本人離れしない fact17: もしあの尊翁が示し易いならばあの環境論は嵌まるないしそれは園遊会だということはない fact18: 「力者な」ものはあるとしたら「あのモーニンは介護等である一方で据え兼ねらない」ということは間違っている fact19: もし仮にあの着替えが斜陽化であるということはないとすればあの雷光は照れ臭くないけれど多様さだ fact20: もしその燕脂色が愛らしいとすればあの都市大衆は利用し易いけど再起しない
fact1 & fact4 -> int1: その燕脂色は愛らしいが疎くない; int1 -> int2: その燕脂色は愛らしい; int2 -> hypothesis;
「その燕脂色は愛らしいかあるいはそれは再起しないかどちらもである」ということは確かであるということはない
fact23 -> int3: 「その都市大衆は名称欄であるし利用し易い」ということは成り立たないなら利用し易くない;
$facts$ = fact1: もしその都市大衆が利用し易いならばあの燕脂色は愛らしい一方で疎くない fact2: 仮にこのＬドラが御立場でないしそれが日本人離れしないならその燕脂色は日本人離れしない fact3: 仮になにかは日本人離れしないとしたら名称欄だしまたそれは利用し易い fact4: 「その都市大衆は利用し易い」ということは成り立つ fact5: もしもその都市大衆は利用し易くないとすれば「「その燕脂色は愛らしいかまたは再起するということはないかもしくはどちらもだ」ということは偽だ」ということは成り立つ fact6: もし仮に何かは岩村口でないとしたらそれは示し易い fact7: その燕脂色は疎くない fact8: もし「なんらかのものは名称欄であるしおまけに利用し易い」ということは嘘ならば利用し易くない fact9: もしあの雷光が照れ臭くないならあの尊翁は突き破るかまたは岩村口でないかまたは両方ともである fact10: その燕脂色は愛らしいかまたは再起する fact11: その獣医師は力者だ fact12: もし「その都市大衆は日本人離れする一方で嵌まるない」ということは誤っているとすればそれは日本人離れしない fact13: なにかは突き破るとすると「それは示し易くない」ということは誤りだ fact14: もし「その燕脂色は利用し易い」ということは成り立つとしたらその都市大衆は伴い易いけれどそれは再起しない fact15: もし仮に「あのモーニンは介護等だけど据え兼ねらない」ということは嘘だとしたらあの着替えは斜陽化でない fact16: もしあの環境論が嵌まるないとしたらこのＬドラは御立場でないし日本人離れしない fact17: もしあの尊翁が示し易いならばあの環境論は嵌まるないしそれは園遊会だということはない fact18: 「力者な」ものはあるとしたら「あのモーニンは介護等である一方で据え兼ねらない」ということは間違っている fact19: もし仮にあの着替えが斜陽化であるということはないとすればあの雷光は照れ臭くないけれど多様さだ fact20: もしその燕脂色が愛らしいとすればあの都市大衆は利用し易いけど再起しない ; $hypothesis$ = その燕脂色は愛らしいかあるいは再起しないかあるいはどちらもである ; $proof$ = 
fact1 & fact4 -> int1: その燕脂色は愛らしいが疎くない; int1 -> int2: その燕脂色は愛らしい; int2 -> hypothesis; __PROVED__
事実1: もしその都市大衆が利用し易いならばあの燕脂色は愛らしい一方で疎くない
事実2: 仮にこのＬドラが御立場でないしそれが日本人離れしないならその燕脂色は日本人離れしない
事実3: 仮になにかは日本人離れしないとしたら名称欄だしまたそれは利用し易い
事実4: 「その都市大衆は利用し易い」ということは成り立つ
事実5: もしもその都市大衆は利用し易くないとすれば「「その燕脂色は愛らしいかまたは再起するということはないかもしくはどちらもだ」ということは偽だ」ということは成り立つ
事実6: もし仮に何かは岩村口でないとしたらそれは示し易い
事実7: その燕脂色は疎くない
事実8: もし「なんらかのものは名称欄であるしおまけに利用し易い」ということは嘘ならば利用し易くない
事実9: もしあの雷光が照れ臭くないならあの尊翁は突き破るかまたは岩村口でないかまたは両方ともである
事実10: その燕脂色は愛らしいかまたは再起する
事実11: その獣医師は力者だ
事実12: もし「その都市大衆は日本人離れする一方で嵌まるない」ということは誤っているとすればそれは日本人離れしない
事実13: なにかは突き破るとすると「それは示し易くない」ということは誤りだ
事実14: もし「その燕脂色は利用し易い」ということは成り立つとしたらその都市大衆は伴い易いけれどそれは再起しない
事実15: もし仮に「あのモーニンは介護等だけど据え兼ねらない」ということは嘘だとしたらあの着替えは斜陽化でない
事実16: もしあの環境論が嵌まるないとしたらこのＬドラは御立場でないし日本人離れしない
事実17: もしあの尊翁が示し易いならばあの環境論は嵌まるないしそれは園遊会だということはない
事実18: 「力者な」ものはあるとしたら「あのモーニンは介護等である一方で据え兼ねらない」ということは間違っている
事実19: もし仮にあの着替えが斜陽化であるということはないとすればあの雷光は照れ臭くないけれど多様さだ
事実20: もしその燕脂色が愛らしいとすればあの都市大衆は利用し易いけど再起しない

仮説: その燕脂色は愛らしいかあるいは再起しないかあるいはどちらもである
1. 事実1と事実4から、推論1: "その燕脂色は愛らしいが疎くない"が導かれる
2. 推論1から、推論2: "その燕脂色は愛らしい"が導かれる
3. 推論2から、仮説が導かれる

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