「このもねもちゅLv.67はみみっちい」ということは成り立つ
fact1: このぴえぴちょLv.6は貧し fact2: 仮に「このぴえぴちょLv.6は貧し」ということは確かであるとすればそのぴやぴわLv.71は慎ましくないがしかし腫れぼったい fact3: 仮にこのぴえぴちょLv.6が貧しとすればそのぴやぴわLv.71は腫れぼったい fact4: このもねもちゅLv.67は僻みっぽい fact5: そのぴやぴわLv.71が慎ましくないけどそれが腫れぼったいならばこのもねもちゅLv.67は生温い fact6: もしこのもねもちゅLv.67が生温くてかつそれが僻みっぽいならこのもねもちゅLv.67はみみっちくない fact7: そのぴやぴわLv.71は腫れぼったい
fact2 & fact1 -> int1: 「そのぴやぴわLv.71は慎ましくないけれど腫れぼったい」ということは事実と異なるということはない; fact5 & int1 -> int2: このもねもちゅLv.67は生温い; int2 & fact4 -> int3: このもねもちゅLv.67は生温くてさらにそれは僻みっぽい; int3 & fact6 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: ({B}{b} & {A}{b}); int3 & fact6 -> hypothesis;
$facts$ = fact1: このぴえぴちょLv.6は貧し fact2: 仮に「このぴえぴちょLv.6は貧し」ということは確かであるとすればそのぴやぴわLv.71は慎ましくないがしかし腫れぼったい fact3: 仮にこのぴえぴちょLv.6が貧しとすればそのぴやぴわLv.71は腫れぼったい fact4: このもねもちゅLv.67は僻みっぽい fact5: そのぴやぴわLv.71が慎ましくないけどそれが腫れぼったいならばこのもねもちゅLv.67は生温い fact6: もしこのもねもちゅLv.67が生温くてかつそれが僻みっぽいならこのもねもちゅLv.67はみみっちくない fact7: そのぴやぴわLv.71は腫れぼったい ; $hypothesis$ = 「このもねもちゅLv.67はみみっちい」ということは成り立つ ; $proof$ = 
fact2 & fact1 -> int1: 「そのぴやぴわLv.71は慎ましくないけれど腫れぼったい」ということは事実と異なるということはない; fact5 & int1 -> int2: このもねもちゅLv.67は生温い; int2 & fact4 -> int3: このもねもちゅLv.67は生温くてさらにそれは僻みっぽい; int3 & fact6 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: ({B}{b} & {A}{b}); int3 & fact6 -> hypothesis; __DISPROVED__