その発明者は企てる
fact1: あのデータソースは市街地再開発組合だ fact2: その発明者は手強い fact3: もしもこの通常複数が市街地再開発組合でないが馴れ馴れしいとするとその発明者は企てるということはない fact4: その発明者は馴れ馴れしい fact5: もしもとあるものがあくどくないならそれは市街地再開発組合であるしその上赤し fact6: その法定給付は有り難しないしそれにそれはボールルームでない fact7: 仮にこの通常複数が市街地再開発組合ならその見当は市街地再開発組合でない fact8: もし仮にその見当が馴れ馴れしいとするとこの通常複数は市街地再開発組合でないしそれに馴れ馴れしいということはない fact9: もしも「その見当は傾き易い」ということは事実だとするとそれは馴れ馴れしい fact10: もしも「何らかのものは外形標準課税だがアウトカム管理でない」ということは成り立たないならばそれはあくどくない fact11: その見当が企てるとしたらそれは傾き易い fact12: 仮にこの通常複数が市街地再開発組合でないし更に馴れ馴れしくないとするとその発明者は企てない fact13: この人工は市街地再開発組合だ fact14: もし仮にこの通常複数は市街地再開発組合だがしかし馴れ馴れしくないとすると「その発明者は企てるということはない」ということは確かである fact15: もしもその発明者は寝かすとしたら「外形標準課税であるしそれにそれはアウトカム管理でない」ということは成り立たない fact16: もしその発明者は継続し難くないなら別れるし寝かす fact17: 「その見当は傾き易い」ということは嘘でない fact18: もしもなにがしかのものは市街地再開発組合であるとしたらそれは馴れ馴れしくないかあるいは傾き易いかあるいはどちらもである fact19: その見当が企てるとするとその発明者は馴れ馴れしいということはないし企てない fact20: その発明者は外形標準課税である fact21: 仮にその見当が傾き易いしその上馴れ馴れしいとすればこの源五郎ぶなは傾き易くない fact22: もしこの通常複数が赤しないとすればそれは市街地再開発組合だし企てる fact23: その発明者は傾き易くないしまた積もらない
fact9 & fact17 -> int1: 「その見当は馴れ馴れしい」ということは確かである; int1 & fact8 -> int2: この通常複数は市街地再開発組合でないしそれに馴れ馴れしくない; int2 & fact12 -> hypothesis;
fact9 & fact17 -> int1: {B}{a}; int1 & fact8 -> int2: (¬{C}{b} & ¬{B}{b}); int2 & fact12 -> hypothesis;
その発明者は企てる
fact24 -> int3: もしもその発明者が市街地再開発組合だとするとそれは馴れ馴れしくないかあるいは傾き易いかまたはどちらもだ; fact28 -> int4: その発明者があくどくないとすると市街地再開発組合だしさらに赤し; fact25 -> int5: 仮に「その発明者は外形標準課税だがアウトカム管理でない」ということは成り立たないとすればそれはあくどくない;
$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 & fact17 -> int1: 「その見当は馴れ馴れしい」ということは確かである; int1 & fact8 -> int2: この通常複数は市街地再開発組合でないしそれに馴れ馴れしくない; int2 & fact12 -> 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: その発明者は傾き易くないしまた積もらない

仮説: その発明者は企てる
1. 事実9と事実17から、推論1: "「その見当は馴れ馴れしい」ということは確かである"が導かれる
2. 推論1と事実8から、推論2: "この通常複数は市街地再開発組合でないしそれに馴れ馴れしくない"が導かれる
3. 推論2と事実12から、仮説が否定される

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