あのまのまやLv.3は小狡くない
fact1: 仮にこのぷえぷえLv.65が狂おしくないならばあのまのまやLv.3は小狡くない fact2: もしもこのぷえぷえLv.65がＯＢ臭いしおまけにそれが比較し難いとすればそれは狂おしくない fact3: このもにゅもよLv.28はＯＢ臭い fact4: このぷえぷえLv.65はＯＢ臭い fact5: 小狡くないモンスターは狂おしくて比較し難い fact6: このぷえぷえLv.65は比較し難い fact7: 本当らしいモンスターは小狡くない fact8: あのもわもねLv.98は本当らしいし予測し易い
fact4 & fact6 -> int1: このぷえぷえLv.65はＯＢ臭くてそれにそれは比較し難い; int1 & fact2 -> int2: このぷえぷえLv.65は狂おしくない; int2 & fact1 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
あのもわもねLv.98はＯＢ臭い
fact10 -> int3: 仮にあのもわもねLv.98が小狡くないとするとあのもわもねLv.98は狂おしいし更に比較し難い; fact11 -> int4: もしもあのもわもねLv.98が本当らしいならばそれは小狡いということはない; fact9 -> int5: あのもわもねLv.98は本当らしい; int4 & int5 -> int6: あのもわもねLv.98は小狡くない; int3 & int6 -> int7: あのもわもねLv.98は狂おしいし比較し難い; int7 -> int8: あのもわもねLv.98は比較し難い;
$facts$ = fact1: 仮にこのぷえぷえLv.65が狂おしくないならばあのまのまやLv.3は小狡くない fact2: もしもこのぷえぷえLv.65がＯＢ臭いしおまけにそれが比較し難いとすればそれは狂おしくない fact3: このもにゅもよLv.28はＯＢ臭い fact4: このぷえぷえLv.65はＯＢ臭い fact5: 小狡くないモンスターは狂おしくて比較し難い fact6: このぷえぷえLv.65は比較し難い fact7: 本当らしいモンスターは小狡くない fact8: あのもわもねLv.98は本当らしいし予測し易い ; $hypothesis$ = あのまのまやLv.3は小狡くない ; $proof$ = 
fact4 & fact6 -> int1: このぷえぷえLv.65はＯＢ臭くてそれにそれは比較し難い; int1 & fact2 -> int2: このぷえぷえLv.65は狂おしくない; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis; __PROVED__