そのもやもちゃLv.5は痛々しくない
fact1: 仮にあのぷにゃぷちょLv.58が頬擦りするとすればあのぷにゃぷちょLv.58は鑑賞し易い fact2: あのぷにゃぷちょLv.58が疲れ易くないとするとそのもやもちゃLv.5は乗り難いしかつそれは集まり易い fact3: 集まり易いモンスターは鑑賞し易い fact4: もしも崩し易くないモンスターは生活し易くないならそれは疲れ易くない fact5: もしもなんらかのモンスターが頬擦りするとすれば痛々しい fact6: 仮に何らかのモンスターが鑑賞し易いとすれば頬擦りする fact7: あのぷにゃぷちょLv.58は頬擦りする fact8: あのぷにゃぷちょLv.58が集まり易いか鑑賞し易いかもしくは両方であるならそのもやもちゃLv.5は痛々しくない
fact1 & fact7 -> int1: 「あのぷにゃぷちょLv.58は鑑賞し易い」ということは確かだ; int1 -> int2: あのぷにゃぷちょLv.58は集まり易いかもしくはそれは鑑賞し易いかもしくはどちらもである; int2 & fact8 -> hypothesis;
fact1 & fact7 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact8 -> hypothesis;
そのもやもちゃLv.5は痛々しい
fact11 -> int3: もしもそのもやもちゃLv.5が頬擦りするとすると痛々しい; fact10 -> int4: そのもやもちゃLv.5が鑑賞し易いとしたらそのもやもちゃLv.5は頬擦りする; fact9 -> int5: 仮にそのもやもちゃLv.5が集まり易いとするとそのもやもちゃLv.5は鑑賞し易い; fact13 -> int6: もしもあのぷにゃぷちょLv.58が崩し易くなくてその上それは生活し易くないなら疲れ易いということはない;
$facts$ = fact1: 仮にあのぷにゃぷちょLv.58が頬擦りするとすればあのぷにゃぷちょLv.58は鑑賞し易い fact2: あのぷにゃぷちょLv.58が疲れ易くないとするとそのもやもちゃLv.5は乗り難いしかつそれは集まり易い fact3: 集まり易いモンスターは鑑賞し易い fact4: もしも崩し易くないモンスターは生活し易くないならそれは疲れ易くない fact5: もしもなんらかのモンスターが頬擦りするとすれば痛々しい fact6: 仮に何らかのモンスターが鑑賞し易いとすれば頬擦りする fact7: あのぷにゃぷちょLv.58は頬擦りする fact8: あのぷにゃぷちょLv.58が集まり易いか鑑賞し易いかもしくは両方であるならそのもやもちゃLv.5は痛々しくない ; $hypothesis$ = そのもやもちゃLv.5は痛々しくない ; $proof$ = 
fact1 & fact7 -> int1: 「あのぷにゃぷちょLv.58は鑑賞し易い」ということは確かだ; int1 -> int2: あのぷにゃぷちょLv.58は集まり易いかもしくはそれは鑑賞し易いかもしくはどちらもである; int2 & fact8 -> hypothesis; __PROVED__
fact1 & fact7 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact8 -> hypothesis; __PROVED__