「その高齢者自身は複数指定するしおまけに甘ったるい」ということは偽である
fact1: もし仮に「このエンコード処理は立憲君主でなくておまけに荷重下でない」ということは成り立たないとすればその高齢者自身は複数指定する fact2: 「このエンコード処理は立憲君主でないししかも荷重下でない」ということは成り立たない fact3: その高齢者自身は甘ったるくてそれは戦い抜く
fact1 & fact2 -> int1: その高齢者自身は複数指定する; fact3 -> int2: その高齢者自身は甘ったるい; int1 & int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; fact3 -> int2: {A}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮に「このエンコード処理は立憲君主でなくておまけに荷重下でない」ということは成り立たないとすればその高齢者自身は複数指定する fact2: 「このエンコード処理は立憲君主でないししかも荷重下でない」ということは成り立たない fact3: その高齢者自身は甘ったるくてそれは戦い抜く ; $hypothesis$ = 「その高齢者自身は複数指定するしおまけに甘ったるい」ということは偽である ; $proof$ = 
fact1 & fact2 -> int1: その高齢者自身は複数指定する; fact3 -> int2: その高齢者自身は甘ったるい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「このエンコード処理は立憲君主でなくておまけに荷重下でない」ということは成り立たないとすればその高齢者自身は複数指定する
事実2: 「このエンコード処理は立憲君主でないししかも荷重下でない」ということは成り立たない
事実3: その高齢者自身は甘ったるくてそれは戦い抜く

仮説: 「その高齢者自身は複数指定するしおまけに甘ったるい」ということは偽である
1. 事実1と事実2から、推論1: "その高齢者自身は複数指定する"が導かれる
2. 事実3から、推論2: "その高齢者自身は甘ったるい"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。