「その単糖類は他者催眠でないかそれは似付かわしい」ということは成り立たない
fact1: あの局所排気装置は総理でその上現実化する fact2: もし仮にあの局所排気装置は似付かわしくらないなら「その単糖類は他者催眠でないかまたはそれは似付かわしい」ということは偽だ fact3: 仮にあの局所排気装置が総理だしその上現実化するとするとそれは似付かわしいということはない
fact3 & fact1 -> int1: あの局所排気装置は似付かわしくらない; int1 & fact2 -> hypothesis;
$facts$ = fact1: あの局所排気装置は総理でその上現実化する fact2: もし仮にあの局所排気装置は似付かわしくらないなら「その単糖類は他者催眠でないかまたはそれは似付かわしい」ということは偽だ fact3: 仮にあの局所排気装置が総理だしその上現実化するとするとそれは似付かわしいということはない ; $hypothesis$ = 「その単糖類は他者催眠でないかそれは似付かわしい」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> int1: あの局所排気装置は似付かわしくらない; int1 & fact2 -> hypothesis; __PROVED__
事実1: あの局所排気装置は総理でその上現実化する
事実2: もし仮にあの局所排気装置は似付かわしくらないなら「その単糖類は他者催眠でないかまたはそれは似付かわしい」ということは偽だ
事実3: 仮にあの局所排気装置が総理だしその上現実化するとするとそれは似付かわしいということはない

仮説: 「その単糖類は他者催眠でないかそれは似付かわしい」ということは成り立たない
1. 事実3と事実1から、推論1: "あの局所排気装置は似付かわしくらない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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