「あのもやもにゃLv.51は基礎付けるということはない」ということは本当だ
fact1: 「このぽえぽにゃLv.77は引用為さらない」ということは成り立つ fact2: 荒っぽくないモンスターは蹴飛ばすがしかし基礎付けない fact3: もし仮にこのぽえぽにゃLv.77が引用為さらないとしたらそれは蹴飛ばすししかも荒っぽい fact4: もしあのぴねぴえLv.22が粘り強いならばあのもやもにゃLv.51は基礎付ける fact5: もし仮にこのぽえぽにゃLv.77が荒っぽいならあのぴねぴえLv.22は粘り強い
fact1 & fact3 -> int1: このぽえぽにゃLv.77は蹴飛ばすしそれは荒っぽい; int1 -> int2: このぽえぽにゃLv.77は荒っぽい; int2 & fact5 -> int3: あのぴねぴえLv.22は粘り強い; int3 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact4 -> hypothesis;
「あのもやもにゃLv.51は基礎付けるということはない」ということは本当だ
fact6 -> int4: 仮にあのもやもにゃLv.51が荒っぽくないとすればあのもやもにゃLv.51は蹴飛ばすけど基礎付けるということはない;
$facts$ = fact1: 「このぽえぽにゃLv.77は引用為さらない」ということは成り立つ fact2: 荒っぽくないモンスターは蹴飛ばすがしかし基礎付けない fact3: もし仮にこのぽえぽにゃLv.77が引用為さらないとしたらそれは蹴飛ばすししかも荒っぽい fact4: もしあのぴねぴえLv.22が粘り強いならばあのもやもにゃLv.51は基礎付ける fact5: もし仮にこのぽえぽにゃLv.77が荒っぽいならあのぴねぴえLv.22は粘り強い ; $hypothesis$ = 「あのもやもにゃLv.51は基礎付けるということはない」ということは本当だ ; $proof$ = 
fact1 & fact3 -> int1: このぽえぽにゃLv.77は蹴飛ばすしそれは荒っぽい; int1 -> int2: このぽえぽにゃLv.77は荒っぽい; int2 & fact5 -> int3: あのぴねぴえLv.22は粘り強い; int3 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact4 -> hypothesis; __DISPROVED__