このＩＢＰ社は子供らしい
fact1: もしもなんらかの物は批判すらないとすると「それは子供らしいしかつエクスポートだ」ということは成り立たない fact2: この社員区分は悖らない fact3: 仮に溶岩樹形は糸切れでないとするとそれはぶつけ合う fact4: もし仮にその弊風は気忙しくないなら「ぶつけ合うということはないしそれは批判すらない」ということは成り立たない fact5: その弊風は那珂研究所だ fact6: 仮にこの社員区分はぶつけ合わないとすれば「それは批判すらないしまた糸切れだ」ということは間違っている fact7: もし仮にその弊風が気忙しいならこのＩＢＰ社は心機能低下だ fact8: 何らかのものは批判すらないとすれば「それは密閉しないし加えて励み為さらない」ということは誤りだ fact9: この社員区分はエクスポートである fact10: この九十四年度は批判す fact11: もし「なにがしかの物は子供らしいしエクスポートだ」ということは成り立たないとするとそれは子供らしくない fact12: もし仮に「その弊風は糸切れでなくてかつ溶岩樹形でない」ということは嘘ならばこのＩＢＰ社は子供らしい fact13: この社員区分は批判す fact14: 仮にエクスポートが批判すればその弊風は心機能低下である fact15: この社員区分は気忙しいかもしくは批判すかまたは両方であるとすればそれはぶつけ合わない fact16: 「その弊風は糸切れでないがしかし溶岩樹形である」ということは成り立たない fact17: もし仮になんらかのものが気忙しくてさらにそれが心機能低下だとすれば批判すらない fact18: 「ぶつけ合うしエクスポートである」物はある fact19: 仮にこのＩＢＰ社が伝わり易いかまたはそれは進出するなら「救い難いということはない」ということは確かである fact20: 仮にその弊風は那珂研究所だとしたら「それは起点である」ということは成り立つ fact21: もし仮にその弊風が心機能低下であるかもしくは気忙しいならぶつけ合わない fact22: もしその弊風はぶつけ合わないとしたら「それは糸切れであるということはないしその上溶岩樹形でない」ということは成り立たない fact23: 「「このＩＢＰ社は子供らしくないし溶岩樹形であるということはない」ということは成り立たない」ということは成り立つ
fact9 & fact13 -> int1: この社員区分はエクスポートで批判す; int1 -> int2: 「エクスポートであるしまた批判す」ものはある; int2 & fact14 -> int3: その弊風は心機能低下である; int3 -> int4: その弊風は心機能低下であるかまたは気忙しいかまたは両方ともである; int4 & fact21 -> int5: その弊風はぶつけ合わない; int5 & fact22 -> int6: 「その弊風は糸切れでないしおまけにそれは溶岩樹形でない」ということは嘘である; int6 & fact12 -> hypothesis;
もしもその飲み込みは批判すということはないなら「密閉するということはないしかつ励み為さるということはない」ということは確かでない
fact24 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は批判すらないとすると「それは子供らしいしかつエクスポートだ」ということは成り立たない fact2: この社員区分は悖らない fact3: 仮に溶岩樹形は糸切れでないとするとそれはぶつけ合う fact4: もし仮にその弊風は気忙しくないなら「ぶつけ合うということはないしそれは批判すらない」ということは成り立たない fact5: その弊風は那珂研究所だ fact6: 仮にこの社員区分はぶつけ合わないとすれば「それは批判すらないしまた糸切れだ」ということは間違っている fact7: もし仮にその弊風が気忙しいならこのＩＢＰ社は心機能低下だ fact8: 何らかのものは批判すらないとすれば「それは密閉しないし加えて励み為さらない」ということは誤りだ fact9: この社員区分はエクスポートである fact10: この九十四年度は批判す fact11: もし「なにがしかの物は子供らしいしエクスポートだ」ということは成り立たないとするとそれは子供らしくない fact12: もし仮に「その弊風は糸切れでなくてかつ溶岩樹形でない」ということは嘘ならばこのＩＢＰ社は子供らしい fact13: この社員区分は批判す fact14: 仮にエクスポートが批判すればその弊風は心機能低下である fact15: この社員区分は気忙しいかもしくは批判すかまたは両方であるとすればそれはぶつけ合わない fact16: 「その弊風は糸切れでないがしかし溶岩樹形である」ということは成り立たない fact17: もし仮になんらかのものが気忙しくてさらにそれが心機能低下だとすれば批判すらない fact18: 「ぶつけ合うしエクスポートである」物はある fact19: 仮にこのＩＢＰ社が伝わり易いかまたはそれは進出するなら「救い難いということはない」ということは確かである fact20: 仮にその弊風は那珂研究所だとしたら「それは起点である」ということは成り立つ fact21: もし仮にその弊風が心機能低下であるかもしくは気忙しいならぶつけ合わない fact22: もしその弊風はぶつけ合わないとしたら「それは糸切れであるということはないしその上溶岩樹形でない」ということは成り立たない fact23: 「「このＩＢＰ社は子供らしくないし溶岩樹形であるということはない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = このＩＢＰ社は子供らしい ; $proof$ = 
fact9 & fact13 -> int1: この社員区分はエクスポートで批判す; int1 -> int2: 「エクスポートであるしまた批判す」ものはある; int2 & fact14 -> int3: その弊風は心機能低下である; int3 -> int4: その弊風は心機能低下であるかまたは気忙しいかまたは両方ともである; int4 & fact21 -> int5: その弊風はぶつけ合わない; int5 & fact22 -> int6: 「その弊風は糸切れでないしおまけにそれは溶岩樹形でない」ということは嘘である; int6 & fact12 -> 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: 「「このＩＢＰ社は子供らしくないし溶岩樹形であるということはない」ということは成り立たない」ということは成り立つ

仮説: このＩＢＰ社は子供らしい
1. 事実9と事実13から、推論1: "この社員区分はエクスポートで批判す"が導かれる
2. 推論1から、推論2: "「エクスポートであるしまた批判す」ものはある"が導かれる
3. 推論2と事実14から、推論3: "その弊風は心機能低下である"が導かれる
4. 推論3から、推論4: "その弊風は心機能低下であるかまたは気忙しいかまたは両方ともである"が導かれる
5. 推論4と事実21から、推論5: "その弊風はぶつけ合わない"が導かれる
6. 推論5と事実22から、推論6: "「その弊風は糸切れでないしおまけにそれは溶岩樹形でない」ということは嘘である"が導かれる
7. 推論6と事実12から、仮説が導かれる

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