「そのぷいぷくLv.73は小さい」ということは成り立つ
fact1: そのぷいぷくLv.73は実行し易くておまけにそれはなはる fact2: 「そのぷいぷくLv.73は取っ付く」ということは本当である fact3: もし仮にそのぷいぷくLv.73が実行し易くて取っ付けばそのぷいぷくLv.73は小さくない
fact1 -> int1: そのぷいぷくLv.73は実行し易い; int1 & fact2 -> int2: そのぷいぷくLv.73は実行し易いしそれは取っ付く; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: そのぷいぷくLv.73は実行し易くておまけにそれはなはる fact2: 「そのぷいぷくLv.73は取っ付く」ということは本当である fact3: もし仮にそのぷいぷくLv.73が実行し易くて取っ付けばそのぷいぷくLv.73は小さくない ; $hypothesis$ = 「そのぷいぷくLv.73は小さい」ということは成り立つ ; $proof$ = 
fact1 -> int1: そのぷいぷくLv.73は実行し易い; int1 & fact2 -> int2: そのぷいぷくLv.73は実行し易いしそれは取っ付く; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis; __DISPROVED__