この家人達はみっとも可愛いということはない
fact1: この家人達は誓言でない fact2: もし仮に「その清潔行動は誓言でないが御漏らしする」ということは成り立たないとしたらその抜歯は御漏らししない fact3: 仮に「何らかの物は小汚くないし加えてそれはぎこちなくない」ということは成り立たないとしたら「それは小汚い」ということは本当だ fact4: 仮にその清潔行動が小汚いとすればあの家人達はみっとも可愛くない fact5: 「小汚い物はみっとも可愛い」ということは真実である fact6: もし仮にこの上宿が成功し易くて建水であるとするとあの邪神は建水だということはない fact7: もし仮にその清潔行動が小汚いかまたは誓言であるとしたらこの家人達はみっとも可愛くない fact8: この家人達は小汚いということはないなら「その清潔行動は誓言でないけど御漏らしする」ということは成り立たない fact9: 薄いものはみっとも可愛い fact10: もしも「あの兄夫婦は狙い易いかまたはぎこちなくない」ということは正しくないならこの過剰生産はぎこちなくない fact11: もしもこの過剰生産がぎこちないということはないけどそれがみっとも可愛いとすればこの家人達は小汚くない fact12: 仮にその清潔行動が御漏らししないとしたら誓言である fact13: その清潔行動は御漏らししないか信心するかあるいはどちらもだとすれば誓言である fact14: その清潔行動は御漏らしするか信心するかまたは両方ともである fact15: もしもあの邪神が建水だということはないならばあの無茶苦茶は細長いしそれは楽しい fact16: もしも何らかのものは楽しくないなら「狙い易いかあるいはぎこちなくないかあるいは両方ともである」ということは誤っている fact17: もしもあの無茶苦茶が細長いし加えて楽しいとすればあの兄夫婦は楽しくない fact18: 仮にその清潔行動が小汚いならこの家人達は小汚い fact19: この上宿は成功し易くてまたそれは建水だ fact20: このフィトンチッドがみっとも可愛いとするとこの過剰生産はみっとも可愛い fact21: その清潔行動は御漏らししないかあるいは信心するかどちらもだ
fact13 & fact21 -> int1: その清潔行動は誓言である; int1 -> int2: その清潔行動は小汚いかまたは誓言であるか両方ともだ; int2 & fact7 -> hypothesis;
この家人達はみっとも可愛い
fact24 -> int3: もしもこの家人達が小汚いとすればそれはみっとも可愛い; fact23 -> int4: 「その清潔行動は小汚いということはないししかもぎこちないということはない」ということは確かだということはないとすると小汚い;
$facts$ = fact1: この家人達は誓言でない fact2: もし仮に「その清潔行動は誓言でないが御漏らしする」ということは成り立たないとしたらその抜歯は御漏らししない fact3: 仮に「何らかの物は小汚くないし加えてそれはぎこちなくない」ということは成り立たないとしたら「それは小汚い」ということは本当だ fact4: 仮にその清潔行動が小汚いとすればあの家人達はみっとも可愛くない fact5: 「小汚い物はみっとも可愛い」ということは真実である fact6: もし仮にこの上宿が成功し易くて建水であるとするとあの邪神は建水だということはない fact7: もし仮にその清潔行動が小汚いかまたは誓言であるとしたらこの家人達はみっとも可愛くない fact8: この家人達は小汚いということはないなら「その清潔行動は誓言でないけど御漏らしする」ということは成り立たない fact9: 薄いものはみっとも可愛い fact10: もしも「あの兄夫婦は狙い易いかまたはぎこちなくない」ということは正しくないならこの過剰生産はぎこちなくない fact11: もしもこの過剰生産がぎこちないということはないけどそれがみっとも可愛いとすればこの家人達は小汚くない fact12: 仮にその清潔行動が御漏らししないとしたら誓言である fact13: その清潔行動は御漏らししないか信心するかあるいはどちらもだとすれば誓言である fact14: その清潔行動は御漏らしするか信心するかまたは両方ともである fact15: もしもあの邪神が建水だということはないならばあの無茶苦茶は細長いしそれは楽しい fact16: もしも何らかのものは楽しくないなら「狙い易いかあるいはぎこちなくないかあるいは両方ともである」ということは誤っている fact17: もしもあの無茶苦茶が細長いし加えて楽しいとすればあの兄夫婦は楽しくない fact18: 仮にその清潔行動が小汚いならこの家人達は小汚い fact19: この上宿は成功し易くてまたそれは建水だ fact20: このフィトンチッドがみっとも可愛いとするとこの過剰生産はみっとも可愛い fact21: その清潔行動は御漏らししないかあるいは信心するかどちらもだ ; $hypothesis$ = この家人達はみっとも可愛いということはない ; $proof$ = 
fact13 & fact21 -> int1: その清潔行動は誓言である; int1 -> int2: その清潔行動は小汚いかまたは誓言であるか両方ともだ; int2 & fact7 -> hypothesis; __PROVED__
事実1: この家人達は誓言でない
事実2: もし仮に「その清潔行動は誓言でないが御漏らしする」ということは成り立たないとしたらその抜歯は御漏らししない
事実3: 仮に「何らかの物は小汚くないし加えてそれはぎこちなくない」ということは成り立たないとしたら「それは小汚い」ということは本当だ
事実4: 仮にその清潔行動が小汚いとすればあの家人達はみっとも可愛くない
事実5: 「小汚い物はみっとも可愛い」ということは真実である
事実6: もし仮にこの上宿が成功し易くて建水であるとするとあの邪神は建水だということはない
事実7: もし仮にその清潔行動が小汚いかまたは誓言であるとしたらこの家人達はみっとも可愛くない
事実8: この家人達は小汚いということはないなら「その清潔行動は誓言でないけど御漏らしする」ということは成り立たない
事実9: 薄いものはみっとも可愛い
事実10: もしも「あの兄夫婦は狙い易いかまたはぎこちなくない」ということは正しくないならこの過剰生産はぎこちなくない
事実11: もしもこの過剰生産がぎこちないということはないけどそれがみっとも可愛いとすればこの家人達は小汚くない
事実12: 仮にその清潔行動が御漏らししないとしたら誓言である
事実13: その清潔行動は御漏らししないか信心するかあるいはどちらもだとすれば誓言である
事実14: その清潔行動は御漏らしするか信心するかまたは両方ともである
事実15: もしもあの邪神が建水だということはないならばあの無茶苦茶は細長いしそれは楽しい
事実16: もしも何らかのものは楽しくないなら「狙い易いかあるいはぎこちなくないかあるいは両方ともである」ということは誤っている
事実17: もしもあの無茶苦茶が細長いし加えて楽しいとすればあの兄夫婦は楽しくない
事実18: 仮にその清潔行動が小汚いならこの家人達は小汚い
事実19: この上宿は成功し易くてまたそれは建水だ
事実20: このフィトンチッドがみっとも可愛いとするとこの過剰生産はみっとも可愛い
事実21: その清潔行動は御漏らししないかあるいは信心するかどちらもだ

仮説: この家人達はみっとも可愛いということはない
1. 事実13と事実21から、推論1: "その清潔行動は誓言である"が導かれる
2. 推論1から、推論2: "その清潔行動は小汚いかまたは誓言であるか両方ともだ"が導かれる
3. 推論2と事実7から、仮説が導かれる

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