あのみにみちゅLv.61は小さくない
fact1: あのみにみちゅLv.61が生まれ難いとしたらあのみにみちゅLv.61は学習出来る fact2: あのみにみちゅLv.61は短い fact3: このぽゆぽゆLv.26は短い fact4: あのみにみちゅLv.61は短くて生まれ難い fact5: あのみにみちゅLv.61が余所余所しいとするとそれは小さい fact6: あのみにみちゅLv.61は目まぐるしい fact7: もしもあのみにみちゅLv.61が学習出来るとしたらそれは固し fact8: 仮にあのみにみちゅLv.61が固しとするとあのみにみちゅLv.61は余所余所しい
fact4 -> int1: あのみにみちゅLv.61は生まれ難い; int1 & fact1 -> int2: あのみにみちゅLv.61は学習出来る; int2 & fact7 -> int3: あのみにみちゅLv.61は固し; int3 & fact8 -> int4: あのみにみちゅLv.61は余所余所しい; int4 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact8 -> int4: {E}{a}; int4 & fact5 -> hypothesis;
$facts$ = fact1: あのみにみちゅLv.61が生まれ難いとしたらあのみにみちゅLv.61は学習出来る fact2: あのみにみちゅLv.61は短い fact3: このぽゆぽゆLv.26は短い fact4: あのみにみちゅLv.61は短くて生まれ難い fact5: あのみにみちゅLv.61が余所余所しいとするとそれは小さい fact6: あのみにみちゅLv.61は目まぐるしい fact7: もしもあのみにみちゅLv.61が学習出来るとしたらそれは固し fact8: 仮にあのみにみちゅLv.61が固しとするとあのみにみちゅLv.61は余所余所しい ; $hypothesis$ = あのみにみちゅLv.61は小さくない ; $proof$ = 
fact4 -> int1: あのみにみちゅLv.61は生まれ難い; int1 & fact1 -> int2: あのみにみちゅLv.61は学習出来る; int2 & fact7 -> int3: あのみにみちゅLv.61は固し; int3 & fact8 -> int4: あのみにみちゅLv.61は余所余所しい; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{a}; int3 & fact8 -> int4: {E}{a}; int4 & fact5 -> hypothesis; __DISPROVED__