あのぴにゃぴいLv.80は少なし
fact1: あのぷにぷにゅLv.56は埃っぽい fact2: あのぷにぷにゅLv.56は両断する fact3: 埃っぽくないモンスターは精錬するしその上少なし fact4: 「あのぷにぷにゅLv.56は精錬するしそれは埃っぽい」ということは成り立つ fact5: 仮にあのぷにぷにゅLv.56が情け深い一方で急伸しないとしたらあのぴにゃぴいLv.80は情け深くない fact6: もしもあのぷにぷにゅLv.56が精錬するしその上それが両断するならあのぴにゃぴいLv.80は少なしない fact7: もし仮にあのぴにゃぴいLv.80が情け深くないとすればあのぴにゃぴいLv.80は世知辛くて両断する
fact4 -> int1: 「あのぷにぷにゅLv.56は精錬する」ということは本当だ; int1 & fact2 -> int2: あのぷにぷにゅLv.56は精錬するし更に両断する; int2 & fact6 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
あのぴにゃぴいLv.80は世知辛くて更に浅ましい
$facts$ = fact1: あのぷにぷにゅLv.56は埃っぽい fact2: あのぷにぷにゅLv.56は両断する fact3: 埃っぽくないモンスターは精錬するしその上少なし fact4: 「あのぷにぷにゅLv.56は精錬するしそれは埃っぽい」ということは成り立つ fact5: 仮にあのぷにぷにゅLv.56が情け深い一方で急伸しないとしたらあのぴにゃぴいLv.80は情け深くない fact6: もしもあのぷにぷにゅLv.56が精錬するしその上それが両断するならあのぴにゃぴいLv.80は少なしない fact7: もし仮にあのぴにゃぴいLv.80が情け深くないとすればあのぴにゃぴいLv.80は世知辛くて両断する ; $hypothesis$ = あのぴにゃぴいLv.80は少なし ; $proof$ = 
fact4 -> int1: 「あのぷにぷにゅLv.56は精錬する」ということは本当だ; int1 & fact2 -> int2: あのぷにぷにゅLv.56は精錬するし更に両断する; int2 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __DISPROVED__