そのもちょものLv.74は際どくない
fact1: 仮にあのぴえぴいLv.78が暗いならばそのもちょものLv.74は際どい fact2: 「あのぴえぴいLv.78は暗くてかつそれは物欲しい」ということは成り立つ
fact2 -> int1: あのぴえぴいLv.78は暗い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのぴえぴいLv.78が暗いならばそのもちょものLv.74は際どい fact2: 「あのぴえぴいLv.78は暗くてかつそれは物欲しい」ということは成り立つ ; $hypothesis$ = そのもちょものLv.74は際どくない ; $proof$ = 
fact2 -> int1: あのぴえぴいLv.78は暗い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__