そのもやもにLv.91は切れ易くない
fact1: あのもにゃもねLv.84は掛け捲る fact2: このまにゅまくLv.29は旨くない fact3: そのもやもにLv.91は古めかしいということはない fact4: もしそのもやもにLv.91が掛け捲るし嗅ぎ取るとするとそのもやもにLv.91は切れ易いということはない fact5: そのもやもにLv.91は掛け捲る fact6: あのもにゅもやLv.97は掛け捲るしそれに運転し易い fact7: そのもやもにLv.91は敵対する fact8: そのもやもにLv.91は旨くてかつ嗅ぎ取る
fact8 -> int1: そのもやもにLv.91は嗅ぎ取る; int1 & fact5 -> int2: そのもやもにLv.91は掛け捲るしその上嗅ぎ取る; int2 & fact4 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: あのもにゃもねLv.84は掛け捲る fact2: このまにゅまくLv.29は旨くない fact3: そのもやもにLv.91は古めかしいということはない fact4: もしそのもやもにLv.91が掛け捲るし嗅ぎ取るとするとそのもやもにLv.91は切れ易いということはない fact5: そのもやもにLv.91は掛け捲る fact6: あのもにゅもやLv.97は掛け捲るしそれに運転し易い fact7: そのもやもにLv.91は敵対する fact8: そのもやもにLv.91は旨くてかつ嗅ぎ取る ; $hypothesis$ = そのもやもにLv.91は切れ易くない ; $proof$ = 
fact8 -> int1: そのもやもにLv.91は嗅ぎ取る; int1 & fact5 -> int2: そのもやもにLv.91は掛け捲るしその上嗅ぎ取る; int2 & fact4 -> hypothesis; __PROVED__
fact8 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis; __PROVED__