この入所当初は睦まじいということはなくて更に覚え方でない
fact1: もしもこの不許可処分が大人らしいしその上それはデポすれば「この入所当初は睦まじくない」ということは真実だ fact2: もしもこの不許可処分が振り解くとすればそれは生まれ難い fact3: その立ち産は大人らしい fact4: もしなんらかの物が振り解くかあるいはそれは生まれ難くないかまたは両方ともであるならば「国際ＮＧＯでない」ということは確かである fact5: 全ての物はみっともない fact6: 「この不許可処分は覚え方である」ということは本当である fact7: もしこの入所当初が生まれ難いならこの不許可処分は覚え方だ fact8: 「何もかもは指導性だ」ということは真実だ fact9: その立ち産は振り解かない fact10: 仮にこの不許可処分はみっともないならば「その内通はデポする」ということは事実である fact11: この入所当初は飛び掛かる fact12: もしもその立ち産はみっともないならば「国際ＮＧＯである」ということは正しい fact13: もしその立ち産は国際ＮＧＯだとすれば「この不許可処分は振り解く」ということは確かだ fact14: その立ち産は生まれ難い fact15: この入所当初は覚え方でない fact16: この不許可処分は睦まじい fact17: この不許可処分は大人らしい fact18: もしもこの不許可処分は生まれ難いとすると「デポする」ということは成り立つ fact19: この不許可処分がデポするならこの入所当初は生まれ難い fact20: もし仮にこの入所当初がみっともなくて覚え方だとするとその立ち産は睦まじくない fact21: もしもこの不許可処分がみっともないとすればその立ち産は大人らしい fact22: もしもこの不許可処分が覚え方だとすればこの入所当初は生まれ難い fact23: 「その立ち産は覚え方だ」ということは確かである fact24: この入所当初はデポする
fact5 -> int1: その立ち産はみっともない; int1 & fact12 -> int2: その立ち産は国際ＮＧＯだ; int2 & fact13 -> int3: この不許可処分は振り解く; int3 & fact2 -> int4: この不許可処分は生まれ難い; int4 & fact18 -> int5: この不許可処分はデポする; int5 & fact17 -> int6: この不許可処分は大人らしいししかもデポする; int6 & fact1 -> int7: この入所当初は睦まじくない; int7 & fact15 -> hypothesis;
その内通はデポする
fact26 -> int8: もしもこの不許可処分が振り解くかあるいは生まれ難くないとしたらそれは国際ＮＧＯでない;
$facts$ = fact1: もしもこの不許可処分が大人らしいしその上それはデポすれば「この入所当初は睦まじくない」ということは真実だ fact2: もしもこの不許可処分が振り解くとすればそれは生まれ難い fact3: その立ち産は大人らしい fact4: もしなんらかの物が振り解くかあるいはそれは生まれ難くないかまたは両方ともであるならば「国際ＮＧＯでない」ということは確かである fact5: 全ての物はみっともない fact6: 「この不許可処分は覚え方である」ということは本当である fact7: もしこの入所当初が生まれ難いならこの不許可処分は覚え方だ fact8: 「何もかもは指導性だ」ということは真実だ fact9: その立ち産は振り解かない fact10: 仮にこの不許可処分はみっともないならば「その内通はデポする」ということは事実である fact11: この入所当初は飛び掛かる fact12: もしもその立ち産はみっともないならば「国際ＮＧＯである」ということは正しい fact13: もしその立ち産は国際ＮＧＯだとすれば「この不許可処分は振り解く」ということは確かだ fact14: その立ち産は生まれ難い fact15: この入所当初は覚え方でない fact16: この不許可処分は睦まじい fact17: この不許可処分は大人らしい fact18: もしもこの不許可処分は生まれ難いとすると「デポする」ということは成り立つ fact19: この不許可処分がデポするならこの入所当初は生まれ難い fact20: もし仮にこの入所当初がみっともなくて覚え方だとするとその立ち産は睦まじくない fact21: もしもこの不許可処分がみっともないとすればその立ち産は大人らしい fact22: もしもこの不許可処分が覚え方だとすればこの入所当初は生まれ難い fact23: 「その立ち産は覚え方だ」ということは確かである fact24: この入所当初はデポする ; $hypothesis$ = この入所当初は睦まじいということはなくて更に覚え方でない ; $proof$ = 
fact5 -> int1: その立ち産はみっともない; int1 & fact12 -> int2: その立ち産は国際ＮＧＯだ; int2 & fact13 -> int3: この不許可処分は振り解く; int3 & fact2 -> int4: この不許可処分は生まれ難い; int4 & fact18 -> int5: この不許可処分はデポする; int5 & fact17 -> int6: この不許可処分は大人らしいししかもデポする; int6 & fact1 -> int7: この入所当初は睦まじくない; int7 & fact15 -> hypothesis; __PROVED__
事実1: もしもこの不許可処分が大人らしいしその上それはデポすれば「この入所当初は睦まじくない」ということは真実だ
事実2: もしもこの不許可処分が振り解くとすればそれは生まれ難い
事実3: その立ち産は大人らしい
事実4: もしなんらかの物が振り解くかあるいはそれは生まれ難くないかまたは両方ともであるならば「国際ＮＧＯでない」ということは確かである
事実5: 全ての物はみっともない
事実6: 「この不許可処分は覚え方である」ということは本当である
事実7: もしこの入所当初が生まれ難いならこの不許可処分は覚え方だ
事実8: 「何もかもは指導性だ」ということは真実だ
事実9: その立ち産は振り解かない
事実10: 仮にこの不許可処分はみっともないならば「その内通はデポする」ということは事実である
事実11: この入所当初は飛び掛かる
事実12: もしもその立ち産はみっともないならば「国際ＮＧＯである」ということは正しい
事実13: もしその立ち産は国際ＮＧＯだとすれば「この不許可処分は振り解く」ということは確かだ
事実14: その立ち産は生まれ難い
事実15: この入所当初は覚え方でない
事実16: この不許可処分は睦まじい
事実17: この不許可処分は大人らしい
事実18: もしもこの不許可処分は生まれ難いとすると「デポする」ということは成り立つ
事実19: この不許可処分がデポするならこの入所当初は生まれ難い
事実20: もし仮にこの入所当初がみっともなくて覚え方だとするとその立ち産は睦まじくない
事実21: もしもこの不許可処分がみっともないとすればその立ち産は大人らしい
事実22: もしもこの不許可処分が覚え方だとすればこの入所当初は生まれ難い
事実23: 「その立ち産は覚え方だ」ということは確かである
事実24: この入所当初はデポする

仮説: この入所当初は睦まじいということはなくて更に覚え方でない
1. 事実5から、推論1: "その立ち産はみっともない"が導かれる
2. 推論1と事実12から、推論2: "その立ち産は国際ＮＧＯだ"が導かれる
3. 推論2と事実13から、推論3: "この不許可処分は振り解く"が導かれる
4. 推論3と事実2から、推論4: "この不許可処分は生まれ難い"が導かれる
5. 推論4と事実18から、推論5: "この不許可処分はデポする"が導かれる
6. 推論5と事実17から、推論6: "この不許可処分は大人らしいししかもデポする"が導かれる
7. 推論6と事実1から、推論7: "この入所当初は睦まじくない"が導かれる
8. 推論7と事実15から、仮説が導かれる

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