このみのみにょLv.24は恐ろしくない
fact1: このまいまやLv.61は忌ま忌ましかないがそれは甚だしい fact2: もし仮に「このまいまやLv.61は付き合えるということはない」ということは成り立つとすると「それは徒らっぽいし手厚い」ということは誤っている fact3: もしこのまいまやLv.61が賢くてそれが図々しいとするとこのまいまやLv.61は付き合えるということはない fact4: もし「このまいまやLv.61が徒らっぽいしその上手厚い」ということは事実と異なるとすれば「このみのみにょLv.24は恐ろしくない」ということは真実だ fact5: このまいまやLv.61は図々しい fact6: 仮にこのまいまやLv.61は忌ま忌ましかない一方で甚だしいとすればそれは賢い fact7: 「仮にあのもねもにゅLv.46は付き合えないなら「あのもねもにゅLv.46は麗しいし頼り無い」ということは成り立たない」ということは正しい
fact6 & fact1 -> int1: このまいまやLv.61は賢い; int1 & fact5 -> int2: このまいまやLv.61は賢くておまけにそれは図々しい; int2 & fact3 -> int3: このまいまやLv.61は付き合えない; int3 & fact2 -> int4: 「このまいまやLv.61は徒らっぽくてまたそれは手厚い」ということは成り立たない; int4 & fact4 -> hypothesis;
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {A}{a}); int2 & fact3 -> int3: ¬{C}{a}; int3 & fact2 -> int4: ¬({D}{a} & {E}{a}); int4 & fact4 -> hypothesis;
$facts$ = fact1: このまいまやLv.61は忌ま忌ましかないがそれは甚だしい fact2: もし仮に「このまいまやLv.61は付き合えるということはない」ということは成り立つとすると「それは徒らっぽいし手厚い」ということは誤っている fact3: もしこのまいまやLv.61が賢くてそれが図々しいとするとこのまいまやLv.61は付き合えるということはない fact4: もし「このまいまやLv.61が徒らっぽいしその上手厚い」ということは事実と異なるとすれば「このみのみにょLv.24は恐ろしくない」ということは真実だ fact5: このまいまやLv.61は図々しい fact6: 仮にこのまいまやLv.61は忌ま忌ましかない一方で甚だしいとすればそれは賢い fact7: 「仮にあのもねもにゅLv.46は付き合えないなら「あのもねもにゅLv.46は麗しいし頼り無い」ということは成り立たない」ということは正しい ; $hypothesis$ = このみのみにょLv.24は恐ろしくない ; $proof$ = 
fact6 & fact1 -> int1: このまいまやLv.61は賢い; int1 & fact5 -> int2: このまいまやLv.61は賢くておまけにそれは図々しい; int2 & fact3 -> int3: このまいまやLv.61は付き合えない; int3 & fact2 -> int4: 「このまいまやLv.61は徒らっぽくてまたそれは手厚い」ということは成り立たない; int4 & fact4 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {A}{a}); int2 & fact3 -> int3: ¬{C}{a}; int3 & fact2 -> int4: ¬({D}{a} & {E}{a}); int4 & fact4 -> hypothesis; __PROVED__