「「「真新しいとすれば「灰色っぽい」ということは成り立つ」モンスターはいる」ということは成り立つ」ということは本当でない
fact1: 仮にこのぷゆぷよLv.38が真新しいとすれば聞き取り難い fact2: もし仮になにがしかのモンスターは真新しいとすれば「灰色っぽい」ということは成り立つ fact3: 遠いモンスターは灰色っぽい fact4: 「もし仮に心深しとすればこそばゆい」モンスターはいる fact5: 「仮に大人しとすれば「描き易い」ということは確かである」モンスターはいる fact6: もしもこのぷゆぷよLv.38が縁遠いならそれは灰色っぽい
fact2 -> int1: 仮にこのぷゆぷよLv.38が真新しいとしたらそれは灰色っぽい; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 -> hypothesis;
そのまにゅまゆLv.50は遠いとすると「そのまにゅまゆLv.50は灰色っぽい」ということは本当だ
fact7 -> hypothesis;
$facts$ = fact1: 仮にこのぷゆぷよLv.38が真新しいとすれば聞き取り難い fact2: もし仮になにがしかのモンスターは真新しいとすれば「灰色っぽい」ということは成り立つ fact3: 遠いモンスターは灰色っぽい fact4: 「もし仮に心深しとすればこそばゆい」モンスターはいる fact5: 「仮に大人しとすれば「描き易い」ということは確かである」モンスターはいる fact6: もしもこのぷゆぷよLv.38が縁遠いならそれは灰色っぽい ; $hypothesis$ = 「「「真新しいとすれば「灰色っぽい」ということは成り立つ」モンスターはいる」ということは成り立つ」ということは本当でない ; $proof$ = 
fact2 -> int1: 仮にこのぷゆぷよLv.38が真新しいとしたらそれは灰色っぽい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 -> hypothesis; __DISPROVED__