この論理体系は仲睦まじくないけれど内部安定である
fact1: 「この続き部屋は就寝するし入学だ」ということは成り立つ fact2: この論理体系は内部安定である fact3: もしこの論理体系が内部安定であるということはないとしたらこの続き部屋は入学だということはない fact4: あの身障者は錯綜しないとすれば「就寝しなくておまけにそれはスポーツマンらしくない」ということは事実と異なる fact5: もし「この論理体系は仲睦まじくないけど内部安定である」ということは嘘であるとするとこの続き部屋は入学でない fact6: 「この続き部屋は就寝する」ということは成り立つ fact7: 仮に「あの身障者は就寝しなくてスポーツマンらしいということはない」ということは偽であるとするとそれはスポーツマンらしい fact8: この続き部屋は仲睦まじい
void -> assump1: 以下のように仮定する。「この論理体系は仲睦まじくないが内部安定である」ということは誤っている; fact5 & assump1 -> int1: この続き部屋は入学でない; fact1 -> int2: 「この続き部屋は入学だ」ということは事実と異ならない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact5 & assump1 -> int1: ¬{B}{b}; fact1 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの身障者はスポーツマンらしいしかつ仲睦まじい
$facts$ = fact1: 「この続き部屋は就寝するし入学だ」ということは成り立つ fact2: この論理体系は内部安定である fact3: もしこの論理体系が内部安定であるということはないとしたらこの続き部屋は入学だということはない fact4: あの身障者は錯綜しないとすれば「就寝しなくておまけにそれはスポーツマンらしくない」ということは事実と異なる fact5: もし「この論理体系は仲睦まじくないけど内部安定である」ということは嘘であるとするとこの続き部屋は入学でない fact6: 「この続き部屋は就寝する」ということは成り立つ fact7: 仮に「あの身障者は就寝しなくてスポーツマンらしいということはない」ということは偽であるとするとそれはスポーツマンらしい fact8: この続き部屋は仲睦まじい ; $hypothesis$ = この論理体系は仲睦まじくないけれど内部安定である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この論理体系は仲睦まじくないが内部安定である」ということは誤っている; fact5 & assump1 -> int1: この続き部屋は入学でない; fact1 -> int2: 「この続き部屋は入学だ」ということは事実と異ならない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この続き部屋は就寝するし入学だ」ということは成り立つ
事実2: この論理体系は内部安定である
事実3: もしこの論理体系が内部安定であるということはないとしたらこの続き部屋は入学だということはない
事実4: あの身障者は錯綜しないとすれば「就寝しなくておまけにそれはスポーツマンらしくない」ということは事実と異なる
事実5: もし「この論理体系は仲睦まじくないけど内部安定である」ということは嘘であるとするとこの続き部屋は入学でない
事実6: 「この続き部屋は就寝する」ということは成り立つ
事実7: 仮に「あの身障者は就寝しなくてスポーツマンらしいということはない」ということは偽であるとするとそれはスポーツマンらしい
事実8: この続き部屋は仲睦まじい

仮説: この論理体系は仲睦まじくないけれど内部安定である
1. 仮定1: 以下のように仮定する。「この論理体系は仲睦まじくないが内部安定である」ということは誤っている
2. 事実5と仮定1から、推論1: "この続き部屋は入学でない"が導かれる
3. 事実1から、推論2: "「この続き部屋は入学だ」ということは事実と異ならない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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