その東京市政調査会は引き難い
fact1: もし「仮称する」ものがあるとしたらあの公園内は達成し易くない fact2: 「あの反比例は御持ちしなくて加えて乙類であるということはない」ということは成り立たない fact3: その東京市政調査会は沈着物でない fact4: あの勢力下は達成し易い fact5: その東京市政調査会は仮称しないなら「この金毘羅さんは乙類でない」ということは成り立つ fact6: 仮にその東京市政調査会が乙類であるしまた仮称するとすると「この金毘羅さんは引き難くない」ということは成り立つ fact7: あの勢力下が沈着物であるしまた達成し易いとすればこの金毘羅さんは仮称しない fact8: あの勢力下は仮称しない fact9: あの公園内は沈着物である fact10: あの勢力下は沈着物だ fact11: 「あの反比例は御持ちしなくてかつそれは乙類であるということはない」ということは真実だということはないならばこのＬ‐ＧＡはキリスト教思想家でない fact12: 「その東京市政調査会は出しゃばらない」ということは事実だ fact13: 「あの神通力は達成し易い」ということは成り立つ fact14: 示せないしそれはキリスト教思想家であるという物はない fact15: もしこの金毘羅さんが仮称しないならそれは乙類だということはない fact16: あの勢力下は喋り難くない fact17: 仮に何らかの物はキリスト教思想家でないかまたは引き難くないかまたはどちらもだとすると引き難くない fact18: もしも沈着物は達成し易くないならばそれは引き難い fact19: もし仮にあの勢力下が引き難いということはなくて更にそれが達成し易いということはないとするとその東京市政調査会は引き難い fact20: 仮にこの金毘羅さんが乙類でないとしたらその東京市政調査会は引き難くない
fact10 & fact4 -> int1: あの勢力下は沈着物で更に達成し易い; int1 & fact7 -> int2: この金毘羅さんは仮称しない; int2 & fact15 -> int3: この金毘羅さんは乙類でない; int3 & fact20 -> hypothesis;
その東京市政調査会は引き難い
fact23 -> int4: もし仮にあの勢力下はキリスト教思想家でないかあるいは引き難くないかもしくは両方であるならば引き難いということはない; fact22 & fact21 -> int5: このＬ‐ＧＡはキリスト教思想家でない; int5 -> int6: 「キリスト教思想家でない」物はある;
$facts$ = fact1: もし「仮称する」ものがあるとしたらあの公園内は達成し易くない fact2: 「あの反比例は御持ちしなくて加えて乙類であるということはない」ということは成り立たない fact3: その東京市政調査会は沈着物でない fact4: あの勢力下は達成し易い fact5: その東京市政調査会は仮称しないなら「この金毘羅さんは乙類でない」ということは成り立つ fact6: 仮にその東京市政調査会が乙類であるしまた仮称するとすると「この金毘羅さんは引き難くない」ということは成り立つ fact7: あの勢力下が沈着物であるしまた達成し易いとすればこの金毘羅さんは仮称しない fact8: あの勢力下は仮称しない fact9: あの公園内は沈着物である fact10: あの勢力下は沈着物だ fact11: 「あの反比例は御持ちしなくてかつそれは乙類であるということはない」ということは真実だということはないならばこのＬ‐ＧＡはキリスト教思想家でない fact12: 「その東京市政調査会は出しゃばらない」ということは事実だ fact13: 「あの神通力は達成し易い」ということは成り立つ fact14: 示せないしそれはキリスト教思想家であるという物はない fact15: もしこの金毘羅さんが仮称しないならそれは乙類だということはない fact16: あの勢力下は喋り難くない fact17: 仮に何らかの物はキリスト教思想家でないかまたは引き難くないかまたはどちらもだとすると引き難くない fact18: もしも沈着物は達成し易くないならばそれは引き難い fact19: もし仮にあの勢力下が引き難いということはなくて更にそれが達成し易いということはないとするとその東京市政調査会は引き難い fact20: 仮にこの金毘羅さんが乙類でないとしたらその東京市政調査会は引き難くない ; $hypothesis$ = その東京市政調査会は引き難い ; $proof$ = 
fact10 & fact4 -> int1: あの勢力下は沈着物で更に達成し易い; int1 & fact7 -> int2: この金毘羅さんは仮称しない; int2 & fact15 -> int3: この金毘羅さんは乙類でない; int3 & fact20 -> hypothesis; __DISPROVED__
事実1: もし「仮称する」ものがあるとしたらあの公園内は達成し易くない
事実2: 「あの反比例は御持ちしなくて加えて乙類であるということはない」ということは成り立たない
事実3: その東京市政調査会は沈着物でない
事実4: あの勢力下は達成し易い
事実5: その東京市政調査会は仮称しないなら「この金毘羅さんは乙類でない」ということは成り立つ
事実6: 仮にその東京市政調査会が乙類であるしまた仮称するとすると「この金毘羅さんは引き難くない」ということは成り立つ
事実7: あの勢力下が沈着物であるしまた達成し易いとすればこの金毘羅さんは仮称しない
事実8: あの勢力下は仮称しない
事実9: あの公園内は沈着物である
事実10: あの勢力下は沈着物だ
事実11: 「あの反比例は御持ちしなくてかつそれは乙類であるということはない」ということは真実だということはないならばこのＬ‐ＧＡはキリスト教思想家でない
事実12: 「その東京市政調査会は出しゃばらない」ということは事実だ
事実13: 「あの神通力は達成し易い」ということは成り立つ
事実14: 示せないしそれはキリスト教思想家であるという物はない
事実15: もしこの金毘羅さんが仮称しないならそれは乙類だということはない
事実16: あの勢力下は喋り難くない
事実17: 仮に何らかの物はキリスト教思想家でないかまたは引き難くないかまたはどちらもだとすると引き難くない
事実18: もしも沈着物は達成し易くないならばそれは引き難い
事実19: もし仮にあの勢力下が引き難いということはなくて更にそれが達成し易いということはないとするとその東京市政調査会は引き難い
事実20: 仮にこの金毘羅さんが乙類でないとしたらその東京市政調査会は引き難くない

仮説: その東京市政調査会は引き難い
1. 事実10と事実4から、推論1: "あの勢力下は沈着物で更に達成し易い"が導かれる
2. 推論1と事実7から、推論2: "この金毘羅さんは仮称しない"が導かれる
3. 推論2と事実15から、推論3: "この金毘羅さんは乙類でない"が導かれる
4. 推論3と事実20から、仮説が否定される

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