そのぴちゃぴにLv.40は取捨選択する
fact1: もし仮に何らかのモンスターは田舎臭いということはないとしたら「色っぽくないがしかし成り難い」ということは間違いだ fact2: もし仮にあのまなまわLv.74が踏み潰すならそのぴちゃぴにLv.40は取捨選択する fact3: もしあのぽよぽやLv.93が田舎臭いならばあのぽよぽやLv.93は新し fact4: もしあのぽよぽやLv.93が新しとするとあのまなまわLv.74は踏み潰す fact5: このぽゆぽちょLv.18は色っぽいしその上成り難い fact6: 仮にこのぽゆぽちょLv.18が色っぽいとすればあのぽよぽやLv.93は田舎臭い
fact5 -> int1: このぽゆぽちょLv.18は色っぽい; int1 & fact6 -> int2: あのぽよぽやLv.93は田舎臭い; int2 & fact3 -> int3: あのぽよぽやLv.93は新し; int3 & fact4 -> int4: あのまなまわLv.74は踏み潰す; int4 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
そのぴちゃぴにLv.40は取捨選択しない
fact7 -> int5: もしもあのぽよぽやLv.93は田舎臭くないとすると「それは色っぽくなくてそれは成り難い」ということは嘘だ;
$facts$ = fact1: もし仮に何らかのモンスターは田舎臭いということはないとしたら「色っぽくないがしかし成り難い」ということは間違いだ fact2: もし仮にあのまなまわLv.74が踏み潰すならそのぴちゃぴにLv.40は取捨選択する fact3: もしあのぽよぽやLv.93が田舎臭いならばあのぽよぽやLv.93は新し fact4: もしあのぽよぽやLv.93が新しとするとあのまなまわLv.74は踏み潰す fact5: このぽゆぽちょLv.18は色っぽいしその上成り難い fact6: 仮にこのぽゆぽちょLv.18が色っぽいとすればあのぽよぽやLv.93は田舎臭い ; $hypothesis$ = そのぴちゃぴにLv.40は取捨選択する ; $proof$ = 
fact5 -> int1: このぽゆぽちょLv.18は色っぽい; int1 & fact6 -> int2: あのぽよぽやLv.93は田舎臭い; int2 & fact3 -> int3: あのぽよぽやLv.93は新し; int3 & fact4 -> int4: あのまなまわLv.74は踏み潰す; int4 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __PROVED__