あのぴにょぴちょLv.60は喧しくない
fact1: もし仮になんらかのモンスターが喧しいとするとそれは教唆する fact2: あのぴにょぴちょLv.60が安っぽいならあのぴにょぴちょLv.60は喧しくないが拭い難い fact3: そのまなまわLv.43は拭い難いし更に安っぽい fact4: そのまなまわLv.43は安っぽい fact5: もしも「そのまなまわLv.43は拭い難い」ということは成り立つとしたらそのまなまわLv.43は木目細かい
fact3 -> int1: そのまなまわLv.43は拭い難い; int1 & fact5 -> int2: そのまなまわLv.43は木目細かい;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a};
あのぴにょぴちょLv.60は喧しくない
$facts$ = fact1: もし仮になんらかのモンスターが喧しいとするとそれは教唆する fact2: あのぴにょぴちょLv.60が安っぽいならあのぴにょぴちょLv.60は喧しくないが拭い難い fact3: そのまなまわLv.43は拭い難いし更に安っぽい fact4: そのまなまわLv.43は安っぽい fact5: もしも「そのまなまわLv.43は拭い難い」ということは成り立つとしたらそのまなまわLv.43は木目細かい ; $hypothesis$ = あのぴにょぴちょLv.60は喧しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__