そのビネットは合わせ辛い
fact1: 仮にこの只今が大芸術家だということはないとすればそのビネットは合わせ辛いということはない fact2: 「そのビネットは大芸術家である」ということは成り立つとすると合わせ辛い fact3: そのビネットは大芸術家だ
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
そのビネットは合わせ辛くない
$facts$ = fact1: 仮にこの只今が大芸術家だということはないとすればそのビネットは合わせ辛いということはない fact2: 「そのビネットは大芸術家である」ということは成り立つとすると合わせ辛い fact3: そのビネットは大芸術家だ ; $hypothesis$ = そのビネットは合わせ辛い ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこの只今が大芸術家だということはないとすればそのビネットは合わせ辛いということはない
事実2: 「そのビネットは大芸術家である」ということは成り立つとすると合わせ辛い
事実3: そのビネットは大芸術家だ

仮説: そのビネットは合わせ辛い
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。