「あのまなまくLv.71は頼み難くない」ということは本当だ
fact1: もしあのまなまくLv.71が丸っこいししかも余儀無いならばあのまなまくLv.71は頼み難くない fact2: 「何らかのモンスターは判別し易くなくて更に瞑目しない」ということは成り立たないとすれば「怠くらない」ということは本当である fact3: そのぴわぴねLv.84は判別し易いし瞑目する fact4: 仮にそのぴわぴねLv.84が瞑目するとすればあのまなまくLv.71は怠い fact5: あのまなまくLv.71は余儀無い fact6: もしあのまなまくLv.71が怠いならあのまなまくLv.71は丸っこい
fact3 -> int1: そのぴわぴねLv.84は瞑目する; int1 & fact4 -> int2: あのまなまくLv.71は怠い; int2 & fact6 -> int3: あのまなまくLv.71は丸っこい; int3 & fact5 -> int4: あのまなまくLv.71は丸っこいしその上余儀無い; int4 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{b}; int3 & fact5 -> int4: ({D}{b} & {E}{b}); int4 & fact1 -> hypothesis;
あのみちょみにLv.31は怠くらない
fact7 -> int5: 「あのみちょみにLv.31は判別し易いということはないししかも瞑目しない」ということは誤っているとしたらあのみちょみにLv.31は怠くらない;
$facts$ = fact1: もしあのまなまくLv.71が丸っこいししかも余儀無いならばあのまなまくLv.71は頼み難くない fact2: 「何らかのモンスターは判別し易くなくて更に瞑目しない」ということは成り立たないとすれば「怠くらない」ということは本当である fact3: そのぴわぴねLv.84は判別し易いし瞑目する fact4: 仮にそのぴわぴねLv.84が瞑目するとすればあのまなまくLv.71は怠い fact5: あのまなまくLv.71は余儀無い fact6: もしあのまなまくLv.71が怠いならあのまなまくLv.71は丸っこい ; $hypothesis$ = 「あのまなまくLv.71は頼み難くない」ということは本当だ ; $proof$ = 
fact3 -> int1: そのぴわぴねLv.84は瞑目する; int1 & fact4 -> int2: あのまなまくLv.71は怠い; int2 & fact6 -> int3: あのまなまくLv.71は丸っこい; int3 & fact5 -> int4: あのまなまくLv.71は丸っこいしその上余儀無い; int4 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{b}; int3 & fact5 -> int4: ({D}{b} & {E}{b}); int4 & fact1 -> hypothesis; __PROVED__