この律法学者達は言い知れる
fact1: その界面は言い知れる fact2: この男性職員はＬＡＮ接続する fact3: この律法学者達は溶け易いししおらしい fact4: もしその界面がＬＡＮ接続しないけれどそれは開発エンジニアだとすれば「この男性職員はネンミョンである」ということは真実だ fact5: その界面はＬＡＮ接続しなくてそれは開発エンジニアであるということはない fact6: 仮にあるものが播種しないとするとしおらしいけど判断し難いということはない fact7: もしもこの男性職員が開発エンジニアでなくておまけにＬＡＮ接続しないとしたらその界面はネンミョンである fact8: 仮になにがしかの物は言い知れるしその上開発エンジニアであるならばＬＡＮ接続しない fact9: この律法学者達は混血であるしまた大編隊だ fact10: もし溶け易い物はネンミョンであるならそれは太り易いということはない fact11: もし「この世界労連は恥ずかしないが播種する」ということは成り立つということはないとすると「播種しない」ということは成り立つ fact12: もしもその界面がＬＡＮ接続しないし開発エンジニアでないならばこの男性職員はネンミョンである fact13: もし「その界面はＬＡＮ接続するしさらにネンミョンである」ということは誤っていないなら「それは言い知れない」ということは成り立つ fact14: もし仮に「「ネンミョンであるがしかししおらしくない」ということは成り立たない」ものがあるとしたらその界面はネンミョンでない fact15: 「この律法学者達は溶け易い」ということは誤っていない fact16: 仮に「この男性職員はネンミョンである」ということは成り立つならこの律法学者達は太り易い fact17: もしもこの律法学者達が慎ましくないとすればこの男性職員は言い知れるしそれに溶け易い fact18: もし仮にあるものは太り易くてさらにしおらしいとするとそれは言い知れない fact19: もし仮に「ネンミョンでなくて更に太り易くない」物があればこの世界労連は慈愛深くない fact20: 「仮にとあるものは溶け易くないとすれば「ネンミョンであるがしおらしくない」ということは誤りである」ということは間違っていない fact21: この律法学者達は慎ましくない fact22: もしもこの律法学者達が開発エンジニアでなくてそれがしおらしいということはないならその界面はＬＡＮ接続する fact23: この男性職員は溶け易い fact24: 「言い知れる」物があるとすればあの界面はネンミョンでなくて太り易くない fact25: この男性職員はしおらしい
fact12 & fact5 -> int1: この男性職員はネンミョンである; int1 & fact16 -> int2: 「この律法学者達は太り易い」ということは確かだ; fact3 -> int3: この律法学者達はしおらしい; int2 & int3 -> int4: この律法学者達は太り易くてまたしおらしい; fact18 -> int5: この律法学者達が太り易いししかもそれはしおらしいなら「言い知れない」ということは成り立つ; int4 & int5 -> hypothesis;
この世界労連は慈愛深くなくて判断し難くない
fact26 & fact27 -> int6: この男性職員は言い知れるしまた溶け易い; int6 -> int7: 「この男性職員は言い知れる」ということは真実だ; int7 -> int8: 「言い知れる」ものはある; int8 & fact31 -> int9: その界面はネンミョンでないし太り易くない; int9 -> int10: とある物はネンミョンでないしまた太り易くない; int10 & fact28 -> int11: この世界労連は慈愛深くない; fact29 -> int12: もしもこの世界労連が播種するということはないとしたらしおらしいしかつそれは判断し難くない;
$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: 「言い知れる」物があるとすればあの界面はネンミョンでなくて太り易くない fact25: この男性職員はしおらしい ; $hypothesis$ = この律法学者達は言い知れる ; $proof$ = 
fact12 & fact5 -> int1: この男性職員はネンミョンである; int1 & fact16 -> int2: 「この律法学者達は太り易い」ということは確かだ; fact3 -> int3: この律法学者達はしおらしい; int2 & int3 -> int4: この律法学者達は太り易くてまたしおらしい; fact18 -> int5: この律法学者達が太り易いししかもそれはしおらしいなら「言い知れない」ということは成り立つ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その界面は言い知れる
事実2: この男性職員はＬＡＮ接続する
事実3: この律法学者達は溶け易いししおらしい
事実4: もしその界面がＬＡＮ接続しないけれどそれは開発エンジニアだとすれば「この男性職員はネンミョンである」ということは真実だ
事実5: その界面はＬＡＮ接続しなくてそれは開発エンジニアであるということはない
事実6: 仮にあるものが播種しないとするとしおらしいけど判断し難いということはない
事実7: もしもこの男性職員が開発エンジニアでなくておまけにＬＡＮ接続しないとしたらその界面はネンミョンである
事実8: 仮になにがしかの物は言い知れるしその上開発エンジニアであるならばＬＡＮ接続しない
事実9: この律法学者達は混血であるしまた大編隊だ
事実10: もし溶け易い物はネンミョンであるならそれは太り易いということはない
事実11: もし「この世界労連は恥ずかしないが播種する」ということは成り立つということはないとすると「播種しない」ということは成り立つ
事実12: もしもその界面がＬＡＮ接続しないし開発エンジニアでないならばこの男性職員はネンミョンである
事実13: もし「その界面はＬＡＮ接続するしさらにネンミョンである」ということは誤っていないなら「それは言い知れない」ということは成り立つ
事実14: もし仮に「「ネンミョンであるがしかししおらしくない」ということは成り立たない」ものがあるとしたらその界面はネンミョンでない
事実15: 「この律法学者達は溶け易い」ということは誤っていない
事実16: 仮に「この男性職員はネンミョンである」ということは成り立つならこの律法学者達は太り易い
事実17: もしもこの律法学者達が慎ましくないとすればこの男性職員は言い知れるしそれに溶け易い
事実18: もし仮にあるものは太り易くてさらにしおらしいとするとそれは言い知れない
事実19: もし仮に「ネンミョンでなくて更に太り易くない」物があればこの世界労連は慈愛深くない
事実20: 「仮にとあるものは溶け易くないとすれば「ネンミョンであるがしおらしくない」ということは誤りである」ということは間違っていない
事実21: この律法学者達は慎ましくない
事実22: もしもこの律法学者達が開発エンジニアでなくてそれがしおらしいということはないならその界面はＬＡＮ接続する
事実23: この男性職員は溶け易い
事実24: 「言い知れる」物があるとすればあの界面はネンミョンでなくて太り易くない
事実25: この男性職員はしおらしい

仮説: この律法学者達は言い知れる
1. 事実12と事実5から、推論1: "この男性職員はネンミョンである"が導かれる
2. 推論1と事実16から、推論2: "「この律法学者達は太り易い」ということは確かだ"が導かれる
3. 事実3から、推論3: "この律法学者達はしおらしい"が導かれる
4. 推論2と推論3から、推論4: "この律法学者達は太り易くてまたしおらしい"が導かれる
5. 事実18から、推論5: "この律法学者達が太り易いししかもそれはしおらしいなら「言い知れない」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が否定される

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