あの蹴爪は備えない
fact1: もしあの理事室が堅パンでないならばあの拘束は備えるか認知発達だ fact2: もしあの拘束が小宰相だが書き起こさないならばあの蹴爪は認知発達だ fact3: 仮に「あの拘束は小宰相でないけれど備える」ということは成り立つとすればあの蹴爪は認知発達である fact4: あの拘束は認知発達でないし加えて小宰相でない fact5: この更生手続きは備えない fact6: もしなにがしかの物が認知発達だとするとそれは備えない fact7: あの蹴爪は小宰相であるとすれば「それは認知発達でない」ということは事実だ fact8: もし何らかのものが書き起こすとしたら備えない fact9: もし仮にあの蹴爪が書き起こさない一方でそれが小宰相であるとすればあの拘束は認知発達である fact10: このＣＧＯは書き起こすということはない fact11: あの拘束は各構成員だ fact12: あの拘束は小宰相であるということはないし書き起こさない fact13: あの拘束は小宰相でなくておまけに認知発達でない fact14: もし仮にあの拘束が小宰相でないしさらに書き起こすということはないならあの蹴爪は認知発達だ
fact14 & fact12 -> int1: あの蹴爪は認知発達だ; fact6 -> int2: もしあの蹴爪が認知発達だとすると備えるということはない; int1 & int2 -> hypothesis;
あの蹴爪は備える
$facts$ = fact1: もしあの理事室が堅パンでないならばあの拘束は備えるか認知発達だ fact2: もしあの拘束が小宰相だが書き起こさないならばあの蹴爪は認知発達だ fact3: 仮に「あの拘束は小宰相でないけれど備える」ということは成り立つとすればあの蹴爪は認知発達である fact4: あの拘束は認知発達でないし加えて小宰相でない fact5: この更生手続きは備えない fact6: もしなにがしかの物が認知発達だとするとそれは備えない fact7: あの蹴爪は小宰相であるとすれば「それは認知発達でない」ということは事実だ fact8: もし何らかのものが書き起こすとしたら備えない fact9: もし仮にあの蹴爪が書き起こさない一方でそれが小宰相であるとすればあの拘束は認知発達である fact10: このＣＧＯは書き起こすということはない fact11: あの拘束は各構成員だ fact12: あの拘束は小宰相であるということはないし書き起こさない fact13: あの拘束は小宰相でなくておまけに認知発達でない fact14: もし仮にあの拘束が小宰相でないしさらに書き起こすということはないならあの蹴爪は認知発達だ ; $hypothesis$ = あの蹴爪は備えない ; $proof$ = 
fact14 & fact12 -> int1: あの蹴爪は認知発達だ; fact6 -> int2: もしあの蹴爪が認知発達だとすると備えるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあの理事室が堅パンでないならばあの拘束は備えるか認知発達だ
事実2: もしあの拘束が小宰相だが書き起こさないならばあの蹴爪は認知発達だ
事実3: 仮に「あの拘束は小宰相でないけれど備える」ということは成り立つとすればあの蹴爪は認知発達である
事実4: あの拘束は認知発達でないし加えて小宰相でない
事実5: この更生手続きは備えない
事実6: もしなにがしかの物が認知発達だとするとそれは備えない
事実7: あの蹴爪は小宰相であるとすれば「それは認知発達でない」ということは事実だ
事実8: もし何らかのものが書き起こすとしたら備えない
事実9: もし仮にあの蹴爪が書き起こさない一方でそれが小宰相であるとすればあの拘束は認知発達である
事実10: このＣＧＯは書き起こすということはない
事実11: あの拘束は各構成員だ
事実12: あの拘束は小宰相であるということはないし書き起こさない
事実13: あの拘束は小宰相でなくておまけに認知発達でない
事実14: もし仮にあの拘束が小宰相でないしさらに書き起こすということはないならあの蹴爪は認知発達だ

仮説: あの蹴爪は備えない
1. 事実14と事実12から、推論1: "あの蹴爪は認知発達だ"が導かれる
2. 事実6から、推論2: "もしあの蹴爪が認知発達だとすると備えるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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