「学び得るしさらに吸収され易い」モンスターはいる
fact1: もし仮にそのぴよぴねLv.7が絶望し掛けるならそれは学び得る fact2: 「もしとあるモンスターが絶望し掛けるとしたらそれは活用する」ということは事実だ fact3: 仮にあのみにみにLv.19は活用すれば「そのもくものLv.28は活用する」ということは成り立つ fact4: もしそのもくものLv.28が強制執行するならそのぴよぴねLv.7は絶望し掛ける fact5: そのもくものLv.28は落ちぶれるし強制執行する fact6: あのぽにょぽにょLv.38は落ちぶれる fact7: そのもくものLv.28は落ちぶれる fact8: あのみにみにLv.19は吸収され易い fact9: そのぴよぴねLv.7は吸収され易い
fact5 -> int1: そのもくものLv.28は強制執行する; int1 & fact4 -> int2: 「そのぴよぴねLv.7は絶望し掛ける」ということは事実だ; int2 & fact1 -> int3: そのぴよぴねLv.7は学び得る; int3 & fact9 -> int4: そのぴよぴねLv.7は学び得るしそれは吸収され易い; int4 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{b}; int3 & fact9 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis;
そのもくものLv.28は活用するし学び得る
fact12 -> int5: もし仮にあのみにみにLv.19は絶望し掛ければそれは活用する; fact13 -> int6: 「落ちぶれる」モンスターはいる;
$facts$ = fact1: もし仮にそのぴよぴねLv.7が絶望し掛けるならそれは学び得る fact2: 「もしとあるモンスターが絶望し掛けるとしたらそれは活用する」ということは事実だ fact3: 仮にあのみにみにLv.19は活用すれば「そのもくものLv.28は活用する」ということは成り立つ fact4: もしそのもくものLv.28が強制執行するならそのぴよぴねLv.7は絶望し掛ける fact5: そのもくものLv.28は落ちぶれるし強制執行する fact6: あのぽにょぽにょLv.38は落ちぶれる fact7: そのもくものLv.28は落ちぶれる fact8: あのみにみにLv.19は吸収され易い fact9: そのぴよぴねLv.7は吸収され易い ; $hypothesis$ = 「学び得るしさらに吸収され易い」モンスターはいる ; $proof$ = 
fact5 -> int1: そのもくものLv.28は強制執行する; int1 & fact4 -> int2: 「そのぴよぴねLv.7は絶望し掛ける」ということは事実だ; int2 & fact1 -> int3: そのぴよぴねLv.7は学び得る; int3 & fact9 -> int4: そのぴよぴねLv.7は学び得るしそれは吸収され易い; int4 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: {D}{b}; int3 & fact9 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis; __PROVED__