そのもちゃもちゃLv.92は滅菌する
fact1: 御優しくないモンスターは広がり難くてさらに止む無い fact2: そのもちゃもちゃLv.92は分かり辛くない fact3: そのもちゃもちゃLv.92は御優しい fact4: そのもちゃもちゃLv.92は止む無いしさらに広がり難い fact5: もし仮にそのもちゃもちゃLv.92が広がり難くて加えて御優しいとしたら滅菌しない fact6: 仮にあのぽにょぽえLv.46が素晴らししかつ建言するとすればあのぽにょぽえLv.46は広がり難くない fact7: そのみにゃみねLv.38は広がり難い
fact4 -> int1: 「そのもちゃもちゃLv.92は広がり難い」ということは確かである; int1 & fact3 -> int2: そのもちゃもちゃLv.92は広がり難いしその上御優しい; int2 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis;
そのもちゃもちゃLv.92は滅菌する
fact8 -> int3: 仮にあのまくまなLv.95が御優しいということはないならあのまくまなLv.95は広がり難いししかも止む無い;
$facts$ = fact1: 御優しくないモンスターは広がり難くてさらに止む無い fact2: そのもちゃもちゃLv.92は分かり辛くない fact3: そのもちゃもちゃLv.92は御優しい fact4: そのもちゃもちゃLv.92は止む無いしさらに広がり難い fact5: もし仮にそのもちゃもちゃLv.92が広がり難くて加えて御優しいとしたら滅菌しない fact6: 仮にあのぽにょぽえLv.46が素晴らししかつ建言するとすればあのぽにょぽえLv.46は広がり難くない fact7: そのみにゃみねLv.38は広がり難い ; $hypothesis$ = そのもちゃもちゃLv.92は滅菌する ; $proof$ = 
fact4 -> int1: 「そのもちゃもちゃLv.92は広がり難い」ということは確かである; int1 & fact3 -> int2: そのもちゃもちゃLv.92は広がり難いしその上御優しい; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis; __DISPROVED__