「このもねもやLv.36は気安くないし更に貴方らしくない」ということは成り立たない
fact1: もし仮にこのもねもやLv.36が気安くてそれは大きいならば「貴方らしくない」ということは確かである fact2: このもねもやLv.36は大きい fact3: あのぽなぽわLv.85は来難い fact4: このもねもやLv.36は長々しいし加えて焦れったい fact5: あのぽなぽわLv.85は大きい fact6: 仮にあのぽなぽわLv.85は気安いということはないとすると「このもねもやLv.36は気安くないしまた貴方らしくない」ということは真実である fact7: あのぽなぽわLv.85は貴方らしい fact8: もしもあのぽなぽわLv.85は来難くて更に大きいとしたらそれは気安くない
fact3 & fact5 -> int1: あのぽなぽわLv.85は来難くてそれは大きい; int1 & fact8 -> int2: あのぽなぽわLv.85は気安くない; int2 & fact6 -> hypothesis;
fact3 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にこのもねもやLv.36が気安くてそれは大きいならば「貴方らしくない」ということは確かである fact2: このもねもやLv.36は大きい fact3: あのぽなぽわLv.85は来難い fact4: このもねもやLv.36は長々しいし加えて焦れったい fact5: あのぽなぽわLv.85は大きい fact6: 仮にあのぽなぽわLv.85は気安いということはないとすると「このもねもやLv.36は気安くないしまた貴方らしくない」ということは真実である fact7: あのぽなぽわLv.85は貴方らしい fact8: もしもあのぽなぽわLv.85は来難くて更に大きいとしたらそれは気安くない ; $hypothesis$ = 「このもねもやLv.36は気安くないし更に貴方らしくない」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: あのぽなぽわLv.85は来難くてそれは大きい; int1 & fact8 -> int2: あのぽなぽわLv.85は気安くない; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis; __DISPROVED__