そのユーザ名は吹き易くない
fact1: そのユーザ名は維持し続けない fact2: そのユーザ名は麹菌である fact3: もし仮にこの連結所得は届けるとすれば「民族自決であるしかつ展開でない」ということは間違いだ fact4: そのユーザ名が益無しとしたら休日出勤である fact5: 「その現物債はミックスしない」ということは真実である fact6: もし仮にとある物が展開でないとすれば信じ易くないししかもミックスしない fact7: もし仮になんらかの物は吹き易くないなら「そのユーザ名はミックスする一方で信じ易くない」ということは誤っている fact8: 仮に「あの主檣は民族自決だ」ということは成り立つとしたらこの損失金処理計算書は信じ易くないし更にそれは展開だということはない fact9: もし仮に何らかの物は届けるとしたら「それは展開であるしまた民族自決でない」ということは成り立つということはない fact10: もし仮に「この連結所得は展開だが民族自決でない」ということは嘘であるとしたらそのユーザ名は展開だということはない fact11: 「「誘発し易くない」ということは本当である」物はある fact12: 「そのユーザ名は伝える」ということは本当である fact13: そのユーザ名はモデルガンであるということはない fact14: もし仮にそのユーザ名が信じ易くないならミックスするということはない fact15: 「「「ミックスするがしかし信じ易いということはない」ということは成り立つ」ということは成り立たない」物はあるとしたら「この幽霊屋敷は信じ易い」ということは間違いだということはない fact16: もしあの単独投与がカップラーメンだとするとそれは信じ易い fact17: もしそのユーザ名が吹き易いとすればそれはミックスする fact18: そのユーザ名は言い難くない fact19: もしも「そのユーザ名は安っぽい」ということは正しいとしたら発揮し難い fact20: そのユーザ名は信じ易くない fact21: 「そのユーザ名は書き難い」ということは正しい fact22: もし仮に「そのユーザ名は今し方だということはない」ということは真実だとすると信じ易いということはない fact23: もし仮にこの連結所得が吹き易いとしたらそのユーザ名は吹き易い
void -> assump1: 以下のように仮定する。「そのユーザ名は吹き易い」ということは本当だ; fact17 & assump1 -> int1: そのユーザ名はミックスする; fact14 & fact20 -> int2: そのユーザ名はミックスしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact17 & assump1 -> int1: {B}{a}; fact14 & fact20 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この幽霊屋敷は信じ易い
$facts$ = fact1: そのユーザ名は維持し続けない fact2: そのユーザ名は麹菌である fact3: もし仮にこの連結所得は届けるとすれば「民族自決であるしかつ展開でない」ということは間違いだ fact4: そのユーザ名が益無しとしたら休日出勤である fact5: 「その現物債はミックスしない」ということは真実である fact6: もし仮にとある物が展開でないとすれば信じ易くないししかもミックスしない fact7: もし仮になんらかの物は吹き易くないなら「そのユーザ名はミックスする一方で信じ易くない」ということは誤っている fact8: 仮に「あの主檣は民族自決だ」ということは成り立つとしたらこの損失金処理計算書は信じ易くないし更にそれは展開だということはない fact9: もし仮に何らかの物は届けるとしたら「それは展開であるしまた民族自決でない」ということは成り立つということはない fact10: もし仮に「この連結所得は展開だが民族自決でない」ということは嘘であるとしたらそのユーザ名は展開だということはない fact11: 「「誘発し易くない」ということは本当である」物はある fact12: 「そのユーザ名は伝える」ということは本当である fact13: そのユーザ名はモデルガンであるということはない fact14: もし仮にそのユーザ名が信じ易くないならミックスするということはない fact15: 「「「ミックスするがしかし信じ易いということはない」ということは成り立つ」ということは成り立たない」物はあるとしたら「この幽霊屋敷は信じ易い」ということは間違いだということはない fact16: もしあの単独投与がカップラーメンだとするとそれは信じ易い fact17: もしそのユーザ名が吹き易いとすればそれはミックスする fact18: そのユーザ名は言い難くない fact19: もしも「そのユーザ名は安っぽい」ということは正しいとしたら発揮し難い fact20: そのユーザ名は信じ易くない fact21: 「そのユーザ名は書き難い」ということは正しい fact22: もし仮に「そのユーザ名は今し方だということはない」ということは真実だとすると信じ易いということはない fact23: もし仮にこの連結所得が吹き易いとしたらそのユーザ名は吹き易い ; $hypothesis$ = そのユーザ名は吹き易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのユーザ名は吹き易い」ということは本当だ; fact17 & assump1 -> int1: そのユーザ名はミックスする; fact14 & fact20 -> int2: そのユーザ名はミックスしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: そのユーザ名は維持し続けない
事実2: そのユーザ名は麹菌である
事実3: もし仮にこの連結所得は届けるとすれば「民族自決であるしかつ展開でない」ということは間違いだ
事実4: そのユーザ名が益無しとしたら休日出勤である
事実5: 「その現物債はミックスしない」ということは真実である
事実6: もし仮にとある物が展開でないとすれば信じ易くないししかもミックスしない
事実7: もし仮になんらかの物は吹き易くないなら「そのユーザ名はミックスする一方で信じ易くない」ということは誤っている
事実8: 仮に「あの主檣は民族自決だ」ということは成り立つとしたらこの損失金処理計算書は信じ易くないし更にそれは展開だということはない
事実9: もし仮に何らかの物は届けるとしたら「それは展開であるしまた民族自決でない」ということは成り立つということはない
事実10: もし仮に「この連結所得は展開だが民族自決でない」ということは嘘であるとしたらそのユーザ名は展開だということはない
事実11: 「「誘発し易くない」ということは本当である」物はある
事実12: 「そのユーザ名は伝える」ということは本当である
事実13: そのユーザ名はモデルガンであるということはない
事実14: もし仮にそのユーザ名が信じ易くないならミックスするということはない
事実15: 「「「ミックスするがしかし信じ易いということはない」ということは成り立つ」ということは成り立たない」物はあるとしたら「この幽霊屋敷は信じ易い」ということは間違いだということはない
事実16: もしあの単独投与がカップラーメンだとするとそれは信じ易い
事実17: もしそのユーザ名が吹き易いとすればそれはミックスする
事実18: そのユーザ名は言い難くない
事実19: もしも「そのユーザ名は安っぽい」ということは正しいとしたら発揮し難い
事実20: そのユーザ名は信じ易くない
事実21: 「そのユーザ名は書き難い」ということは正しい
事実22: もし仮に「そのユーザ名は今し方だということはない」ということは真実だとすると信じ易いということはない
事実23: もし仮にこの連結所得が吹き易いとしたらそのユーザ名は吹き易い

仮説: そのユーザ名は吹き易くない
1. 仮定1: 以下のように仮定する。「そのユーザ名は吹き易い」ということは本当だ
2. 事実17と仮定1から、推論1: "そのユーザ名はミックスする"が導かれる
3. 事実14と事実20から、推論2: "そのユーザ名はミックスしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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