この組織間学習は釈放後でない
fact1: その公開講座は見付け易くない fact2: もし仮にこの組織間学習は釈放後であるならそれは業態転換である fact3: もしなんらかの物は釈放後であるとすればそれは業態転換だ fact4: その公開講座がチューニングするならそれは遣り過ごす fact5: その公開講座は釈放後だ fact6: もしもこの組織間学習が業態転換であるがしかし水臭くないならその公開講座はチューニングする fact7: 「この組織間学習は各行事である」ということは事実である fact8: その公開講座は各行事でない fact9: とある物は悪戦苦闘するということはないとすると「それは各行事であるししかも気忙しい」ということは本当だ fact10: 仮にこの組織間学習が水臭いならそれは遣り過ごす fact11: 釈放後は業態転換だが水臭くない fact12: もし仮にその公開講座がチューニングするならこの組織間学習は釈放後である fact13: 「この組織間学習は業態転換だ」ということは成り立つ fact14: 「その公開講座は遣り過ごさない」ということは成り立たないならばそれは各行事だ
fact11 -> int1: もしこの組織間学習が釈放後であるとすればそれは業態転換であるしその上それは水臭くない; void -> assump1: 以下のように仮定する。この組織間学習は釈放後だ; int1 & assump1 -> int2: この組織間学習は業態転換であるけれど水臭くない; int2 & fact6 -> int3: その公開講座はチューニングする; int3 & fact4 -> int4: その公開講座は遣り過ごす; int4 & fact14 -> int5: その公開講座は各行事である; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この組織間学習は釈放後だ
fact16 -> int7: もし仮に「あの日本史広辞典は悪戦苦闘するということはない」ということは確かだとするとそれは各行事であるし加えて気忙しい;
$facts$ = fact1: その公開講座は見付け易くない fact2: もし仮にこの組織間学習は釈放後であるならそれは業態転換である fact3: もしなんらかの物は釈放後であるとすればそれは業態転換だ fact4: その公開講座がチューニングするならそれは遣り過ごす fact5: その公開講座は釈放後だ fact6: もしもこの組織間学習が業態転換であるがしかし水臭くないならその公開講座はチューニングする fact7: 「この組織間学習は各行事である」ということは事実である fact8: その公開講座は各行事でない fact9: とある物は悪戦苦闘するということはないとすると「それは各行事であるししかも気忙しい」ということは本当だ fact10: 仮にこの組織間学習が水臭いならそれは遣り過ごす fact11: 釈放後は業態転換だが水臭くない fact12: もし仮にその公開講座がチューニングするならこの組織間学習は釈放後である fact13: 「この組織間学習は業態転換だ」ということは成り立つ fact14: 「その公開講座は遣り過ごさない」ということは成り立たないならばそれは各行事だ ; $hypothesis$ = この組織間学習は釈放後でない ; $proof$ = 
fact11 -> int1: もしこの組織間学習が釈放後であるとすればそれは業態転換であるしその上それは水臭くない; void -> assump1: 以下のように仮定する。この組織間学習は釈放後だ; int1 & assump1 -> int2: この組織間学習は業態転換であるけれど水臭くない; int2 & fact6 -> int3: その公開講座はチューニングする; int3 & fact4 -> int4: その公開講座は遣り過ごす; int4 & fact14 -> int5: その公開講座は各行事である; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その公開講座は見付け易くない
事実2: もし仮にこの組織間学習は釈放後であるならそれは業態転換である
事実3: もしなんらかの物は釈放後であるとすればそれは業態転換だ
事実4: その公開講座がチューニングするならそれは遣り過ごす
事実5: その公開講座は釈放後だ
事実6: もしもこの組織間学習が業態転換であるがしかし水臭くないならその公開講座はチューニングする
事実7: 「この組織間学習は各行事である」ということは事実である
事実8: その公開講座は各行事でない
事実9: とある物は悪戦苦闘するということはないとすると「それは各行事であるししかも気忙しい」ということは本当だ
事実10: 仮にこの組織間学習が水臭いならそれは遣り過ごす
事実11: 釈放後は業態転換だが水臭くない
事実12: もし仮にその公開講座がチューニングするならこの組織間学習は釈放後である
事実13: 「この組織間学習は業態転換だ」ということは成り立つ
事実14: 「その公開講座は遣り過ごさない」ということは成り立たないならばそれは各行事だ

仮説: この組織間学習は釈放後でない
1. 事実11から、推論1: "もしこの組織間学習が釈放後であるとすればそれは業態転換であるしその上それは水臭くない"が導かれる
2. 仮定1: 以下のように仮定する。この組織間学習は釈放後だ
3. 推論1と仮定1から、推論2: "この組織間学習は業態転換であるけれど水臭くない"が導かれる
4. 推論2と事実6から、推論3: "その公開講座はチューニングする"が導かれる
5. 推論3と事実4から、推論4: "その公開講座は遣り過ごす"が導かれる
6. 推論4と事実14から、推論5: "その公開講座は各行事である"が導かれる
7. 推論5と事実8から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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