そのメイトランド家はリベルタである
fact1: それは保証出来なくて××だという物はない fact2: もし「「とある物は保証出来ないけれど××だ」ということは正しい」ということは成り立たないならばリベルタだ
fact1 -> int1: 「そのメイトランド家は保証出来るということはない一方で××である」ということは成り立たない; fact2 -> int2: 仮に「そのメイトランド家は保証出来ない一方でそれは××だ」ということは誤りであるならリベルタである; int1 & int2 -> hypothesis;
$facts$ = fact1: それは保証出来なくて××だという物はない fact2: もし「「とある物は保証出来ないけれど××だ」ということは正しい」ということは成り立たないならばリベルタだ ; $hypothesis$ = そのメイトランド家はリベルタである ; $proof$ = 
fact1 -> int1: 「そのメイトランド家は保証出来るということはない一方で××である」ということは成り立たない; fact2 -> int2: 仮に「そのメイトランド家は保証出来ない一方でそれは××だ」ということは誤りであるならリベルタである; int1 & int2 -> hypothesis; __PROVED__
事実1: それは保証出来なくて××だという物はない
事実2: もし「「とある物は保証出来ないけれど××だ」ということは正しい」ということは成り立たないならばリベルタだ

仮説: そのメイトランド家はリベルタである
1. 事実1から、推論1: "「そのメイトランド家は保証出来るということはない一方で××である」ということは成り立たない"が導かれる
2. 事実2から、推論2: "仮に「そのメイトランド家は保証出来ない一方でそれは××だ」ということは誤りであるならリベルタである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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