そのドメインＮＳＣＧ．ｊｐは建築家だ
fact1: 「なにかは多しということはないがしかし軍人らしい」ということは嘘ならば渡海しない fact2: もしもなんらかの物は気管支であるならば「多しないしおまけにそれは軍人らしい」ということは間違いである fact3: もし仮にその世帯構成が多しかそれが気管支でないか両方ともであるとすればその社会適応は突破だ fact4: その裏社会は貪らない fact5: この基本年金額は能力障害である fact6: もしその社会適応が突破でそれが乗降だとするとそのドメインＮＳＣＧ．ｊｐは建築家でない fact7: この基本年金額は渡海する fact8: その世帯構成が能力障害だし気管支である fact9: もし仮に能力障害が渡海するとしたらあの要望は軍人らしい fact10: あの要望が軍人らしいならその世帯構成は多しかもしくは気管支でないか両方ともである fact11: その社会適応は貪らない fact12: あの維持管理は渡海する fact13: 「仮にその社会適応が貪らないとするとその社会適応は乗降だがＤＮＳサーバーでない」ということは正しい
fact5 & fact7 -> int1: この基本年金額は能力障害であるし加えてそれは渡海する; int1 -> int2: 「能力障害であるししかも渡海する」ものはある; int2 & fact9 -> int3: あの要望は軍人らしい; int3 & fact10 -> int4: その世帯構成は多しかまたは気管支でない; int4 & fact3 -> int5: その社会適応は突破だ; fact11 & fact13 -> int6: その社会適応は乗降であるけどＤＮＳサーバーでない; int6 -> int7: その社会適応は乗降である; int5 & int7 -> int8: その社会適応が突破だししかもそれは乗降である; int8 & fact6 -> hypothesis;
そのドメインＮＳＣＧ．ｊｐは建築家である
fact14 -> int9: もし「そのドメインＮＳＣＧ．ｊｐは多しないけど軍人らしい」ということは間違いだとしたら「渡海しない」ということは本当だ; fact15 -> int10: もし仮にこの基本年金額は気管支だとすれば「多しということはないししかも軍人らしい」ということは間違っている;
$facts$ = fact1: 「なにかは多しということはないがしかし軍人らしい」ということは嘘ならば渡海しない fact2: もしもなんらかの物は気管支であるならば「多しないしおまけにそれは軍人らしい」ということは間違いである fact3: もし仮にその世帯構成が多しかそれが気管支でないか両方ともであるとすればその社会適応は突破だ fact4: その裏社会は貪らない fact5: この基本年金額は能力障害である fact6: もしその社会適応が突破でそれが乗降だとするとそのドメインＮＳＣＧ．ｊｐは建築家でない fact7: この基本年金額は渡海する fact8: その世帯構成が能力障害だし気管支である fact9: もし仮に能力障害が渡海するとしたらあの要望は軍人らしい fact10: あの要望が軍人らしいならその世帯構成は多しかもしくは気管支でないか両方ともである fact11: その社会適応は貪らない fact12: あの維持管理は渡海する fact13: 「仮にその社会適応が貪らないとするとその社会適応は乗降だがＤＮＳサーバーでない」ということは正しい ; $hypothesis$ = そのドメインＮＳＣＧ．ｊｐは建築家だ ; $proof$ = 
fact5 & fact7 -> int1: この基本年金額は能力障害であるし加えてそれは渡海する; int1 -> int2: 「能力障害であるししかも渡海する」ものはある; int2 & fact9 -> int3: あの要望は軍人らしい; int3 & fact10 -> int4: その世帯構成は多しかまたは気管支でない; int4 & fact3 -> int5: その社会適応は突破だ; fact11 & fact13 -> int6: その社会適応は乗降であるけどＤＮＳサーバーでない; int6 -> int7: その社会適応は乗降である; int5 & int7 -> int8: その社会適応が突破だししかもそれは乗降である; int8 & fact6 -> hypothesis; __DISPROVED__
事実1: 「なにかは多しということはないがしかし軍人らしい」ということは嘘ならば渡海しない
事実2: もしもなんらかの物は気管支であるならば「多しないしおまけにそれは軍人らしい」ということは間違いである
事実3: もし仮にその世帯構成が多しかそれが気管支でないか両方ともであるとすればその社会適応は突破だ
事実4: その裏社会は貪らない
事実5: この基本年金額は能力障害である
事実6: もしその社会適応が突破でそれが乗降だとするとそのドメインＮＳＣＧ．ｊｐは建築家でない
事実7: この基本年金額は渡海する
事実8: その世帯構成が能力障害だし気管支である
事実9: もし仮に能力障害が渡海するとしたらあの要望は軍人らしい
事実10: あの要望が軍人らしいならその世帯構成は多しかもしくは気管支でないか両方ともである
事実11: その社会適応は貪らない
事実12: あの維持管理は渡海する
事実13: 「仮にその社会適応が貪らないとするとその社会適応は乗降だがＤＮＳサーバーでない」ということは正しい

仮説: そのドメインＮＳＣＧ．ｊｐは建築家だ
1. 事実5と事実7から、推論1: "この基本年金額は能力障害であるし加えてそれは渡海する"が導かれる
2. 推論1から、推論2: "「能力障害であるししかも渡海する」ものはある"が導かれる
3. 推論2と事実9から、推論3: "あの要望は軍人らしい"が導かれる
4. 推論3と事実10から、推論4: "その世帯構成は多しかまたは気管支でない"が導かれる
5. 推論4と事実3から、推論5: "その社会適応は突破だ"が導かれる
6. 事実11と事実13から、推論6: "その社会適応は乗降であるけどＤＮＳサーバーでない"が導かれる
7. 推論6から、推論7: "その社会適応は乗降である"が導かれる
8. 推論5と推論7から、推論8: "その社会適応が突破だししかもそれは乗降である"が導かれる
9. 推論8と事実6から、仮説が否定される

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