あのまいまにゅLv.17は狭い
fact1: あのまいまにゅLv.17が甚だしとするとそれは鈍い fact2: 「あのまいまにゅLv.17は甚だしない」ということは成り立つということはない fact3: あのまいまにゅLv.17は喜ばしい fact4: あのまいまにゅLv.17が鈍いしおまけに喜ばしいならばあのまいまにゅLv.17は狭いということはない
fact1 & fact2 -> int1: あのまいまにゅLv.17は鈍い; int1 & fact3 -> int2: あのまいまにゅLv.17は鈍くて加えて喜ばしい; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: あのまいまにゅLv.17が甚だしとするとそれは鈍い fact2: 「あのまいまにゅLv.17は甚だしない」ということは成り立つということはない fact3: あのまいまにゅLv.17は喜ばしい fact4: あのまいまにゅLv.17が鈍いしおまけに喜ばしいならばあのまいまにゅLv.17は狭いということはない ; $hypothesis$ = あのまいまにゅLv.17は狭い ; $proof$ = 
fact1 & fact2 -> int1: あのまいまにゅLv.17は鈍い; int1 & fact3 -> int2: あのまいまにゅLv.17は鈍くて加えて喜ばしい; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis; __DISPROVED__