そのＭＥＣＥは振る舞うしそれにそれは母親らしい
fact1: この痛い痛い病は軽ーくない fact2: 「「そのカタリ派は契約解除でないししかも落選しない」ということは真実である」ということは確かでない fact3: もし仮にそのダウンライトが拡大出来るとするとそのＭＥＣＥは彼女らしくないししかも軽ーくない fact4: 「そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもである」ということは嘘である fact5: もし仮にある物が振る舞わないとしたら軽ーいしそれは彼女らしい fact6: もし仮に「ある物は佞臣でないがしかしそれは適用する」ということは偽ならばそれは上書きしない fact7: 仮にそのダウンライトが彼女らしくないとすればそのＭＥＣＥは振る舞うしまたそれは母親らしい fact8: 仮になにがしかのものは訝しいなら「佞臣でなくて更に適用する」ということは誤っている fact9: もしなにがしかのものは上書きするということはないとすると「それは鼻歌するということはなくてかつ軟らかくない」ということは成り立たない fact10: 仮に「そのカタリ派は契約解除でないし更に落選しない」ということは成り立たないとしたらそれは訝しい fact11: もしも何らかのものは軽ーくないなら「振る舞うし母親らしい」ということは間違いだ
void -> assump1: 以下のように仮定する。そのダウンライトは彼女らしい; assump1 -> int1: そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもだ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのダウンライトは彼女らしくない; int3 & fact7 -> hypothesis;
「そのＭＥＣＥは振る舞うし母親らしい」ということは事実と異なる
fact14 -> int4: もし仮にそのＭＥＣＥは軽ーくないとすると「それは振る舞うし母親らしい」ということは嘘である; fact15 -> int5: 仮にそのカタリ派は上書きするということはないとすると「鼻歌しないししかも軟らかくない」ということは間違いだ; fact13 -> int6: 仮に「そのカタリ派は佞臣でない一方で適用する」ということは成り立たないならばそれは上書きするということはない; fact18 -> int7: もしもそのカタリ派は訝しいとしたら「それは佞臣でないし加えて適用する」ということは間違っている; fact12 & fact16 -> int8: そのカタリ派は訝しい; int7 & int8 -> int9: 「そのカタリ派は佞臣でない一方で適用する」ということは事実と異なる; int6 & int9 -> int10: そのカタリ派は上書きしない; int5 & int10 -> int11: 「そのカタリ派は鼻歌しなくて軟らかいということはない」ということは事実と異なる; int11 -> int12: 「「鼻歌しなくてそれに軟らかくない」ということは間違いである」物はある;
$facts$ = fact1: この痛い痛い病は軽ーくない fact2: 「「そのカタリ派は契約解除でないししかも落選しない」ということは真実である」ということは確かでない fact3: もし仮にそのダウンライトが拡大出来るとするとそのＭＥＣＥは彼女らしくないししかも軽ーくない fact4: 「そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもである」ということは嘘である fact5: もし仮にある物が振る舞わないとしたら軽ーいしそれは彼女らしい fact6: もし仮に「ある物は佞臣でないがしかしそれは適用する」ということは偽ならばそれは上書きしない fact7: 仮にそのダウンライトが彼女らしくないとすればそのＭＥＣＥは振る舞うしまたそれは母親らしい fact8: 仮になにがしかのものは訝しいなら「佞臣でなくて更に適用する」ということは誤っている fact9: もしなにがしかのものは上書きするということはないとすると「それは鼻歌するということはなくてかつ軟らかくない」ということは成り立たない fact10: 仮に「そのカタリ派は契約解除でないし更に落選しない」ということは成り立たないとしたらそれは訝しい fact11: もしも何らかのものは軽ーくないなら「振る舞うし母親らしい」ということは間違いだ ; $hypothesis$ = そのＭＥＣＥは振る舞うしそれにそれは母親らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのダウンライトは彼女らしい; assump1 -> int1: そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもだ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのダウンライトは彼女らしくない; int3 & fact7 -> hypothesis; __PROVED__
事実1: この痛い痛い病は軽ーくない
事実2: 「「そのカタリ派は契約解除でないししかも落選しない」ということは真実である」ということは確かでない
事実3: もし仮にそのダウンライトが拡大出来るとするとそのＭＥＣＥは彼女らしくないししかも軽ーくない
事実4: 「そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもである」ということは嘘である
事実5: もし仮にある物が振る舞わないとしたら軽ーいしそれは彼女らしい
事実6: もし仮に「ある物は佞臣でないがしかしそれは適用する」ということは偽ならばそれは上書きしない
事実7: 仮にそのダウンライトが彼女らしくないとすればそのＭＥＣＥは振る舞うしまたそれは母親らしい
事実8: 仮になにがしかのものは訝しいなら「佞臣でなくて更に適用する」ということは誤っている
事実9: もしなにがしかのものは上書きするということはないとすると「それは鼻歌するということはなくてかつ軟らかくない」ということは成り立たない
事実10: 仮に「そのカタリ派は契約解除でないし更に落選しない」ということは成り立たないとしたらそれは訝しい
事実11: もしも何らかのものは軽ーくないなら「振る舞うし母親らしい」ということは間違いだ

仮説: そのＭＥＣＥは振る舞うしそれにそれは母親らしい
1. 仮定1: 以下のように仮定する。そのダウンライトは彼女らしい
2. 仮定1から、推論1: "そのダウンライトは軽ーくないかまたは彼女らしいかもしくはどちらもだ"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのダウンライトは彼女らしくない"が導かれる
5. 推論3と事実7から、仮説が導かれる

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