その会社規模は腫れぼったい
fact1: その損金不算入額が伸び易いなら笑い出す fact2: あの非現実が八雲琴であるとするとそのハイカーは切り易くなくてその上それは歌い続けない fact3: その損金不算入額が笑い出すしそれにそれが物欲しいとしたらその会社規模は独占出来ない fact4: あの非現実は八雲琴である fact5: もしこの都市改造事業が抵抗反応だとするとこの集団内は独占出来る fact6: 何らかのものは活動し始めないならば「それは物欲しかなくて吊り易くない」ということは間違いだ fact7: 仮に「その損金不算入額は向上するがそれは憎たらしいということはない」ということは確かでないとしたら「それは伸び易い」ということは本当である fact8: この都市改造事業が論文参照ならばあの集団内は独占出来る fact9: とあるものが論文参照なら腫れぼったい fact10: 「そのハイカーは切り易くない」ということは成り立つとするとこの都市改造事業は抵抗反応であるか論文参照だ fact11: 「伸び易いということはない」ものがあるとすればあの会社規模は腫れぼったくないし笑い出すということはない fact12: 全ての物は抵抗反応である fact13: 「「その損金不算入額は向上するけど憎たらしいということはない」ということは誤りである」ということは誤っていない fact14: どれもこれもは活動し始めるということはない fact15: もしその会社規模が独占出来ないならば論文参照だ fact16: もしもこの集団内が抵抗反応だとするとその損金不算入額は物欲しい
fact7 & fact13 -> int1: その損金不算入額は伸び易い; int1 & fact1 -> int2: その損金不算入額は笑い出す; fact12 -> int3: この集団内は抵抗反応だ; fact16 & int3 -> int4: その損金不算入額は物欲しい; int2 & int4 -> int5: その損金不算入額は笑い出すしそれに物欲しい; int5 & fact3 -> int6: その会社規模は独占出来ない; int6 & fact15 -> int7: その会社規模は論文参照である; fact9 -> int8: もしもその会社規模が論文参照ならそれは腫れぼったい; int7 & int8 -> hypothesis;
その会社規模は腫れぼったくない
fact24 & fact20 -> int9: そのハイカーは切り易くなくてまた歌い続けない; int9 -> int10: そのハイカーは切り易くない; fact23 & int10 -> int11: この都市改造事業は抵抗反応であるかまたは論文参照であるかあるいは両方である; int11 & fact22 & fact21 -> int12: この集団内は独占出来る; fact18 -> int13: その部落解放同盟は活動し始めるということはないとすると「物欲しいということはなくて吊り易くない」ということは間違いである; fact17 -> int14: その部落解放同盟は活動し始めない; int13 & int14 -> int15: 「その部落解放同盟は物欲しかないしまたそれは吊り易くない」ということは成り立たない; int15 -> int16: 物欲しいということはないししかも吊り易くないという物はない; int16 -> int17: 「この集団内は物欲しかなくて加えてそれは吊り易くない」ということは確かでない;
$facts$ = fact1: その損金不算入額が伸び易いなら笑い出す fact2: あの非現実が八雲琴であるとするとそのハイカーは切り易くなくてその上それは歌い続けない fact3: その損金不算入額が笑い出すしそれにそれが物欲しいとしたらその会社規模は独占出来ない fact4: あの非現実は八雲琴である fact5: もしこの都市改造事業が抵抗反応だとするとこの集団内は独占出来る fact6: 何らかのものは活動し始めないならば「それは物欲しかなくて吊り易くない」ということは間違いだ fact7: 仮に「その損金不算入額は向上するがそれは憎たらしいということはない」ということは確かでないとしたら「それは伸び易い」ということは本当である fact8: この都市改造事業が論文参照ならばあの集団内は独占出来る fact9: とあるものが論文参照なら腫れぼったい fact10: 「そのハイカーは切り易くない」ということは成り立つとするとこの都市改造事業は抵抗反応であるか論文参照だ fact11: 「伸び易いということはない」ものがあるとすればあの会社規模は腫れぼったくないし笑い出すということはない fact12: 全ての物は抵抗反応である fact13: 「「その損金不算入額は向上するけど憎たらしいということはない」ということは誤りである」ということは誤っていない fact14: どれもこれもは活動し始めるということはない fact15: もしその会社規模が独占出来ないならば論文参照だ fact16: もしもこの集団内が抵抗反応だとするとその損金不算入額は物欲しい ; $hypothesis$ = その会社規模は腫れぼったい ; $proof$ = 
fact7 & fact13 -> int1: その損金不算入額は伸び易い; int1 & fact1 -> int2: その損金不算入額は笑い出す; fact12 -> int3: この集団内は抵抗反応だ; fact16 & int3 -> int4: その損金不算入額は物欲しい; int2 & int4 -> int5: その損金不算入額は笑い出すしそれに物欲しい; int5 & fact3 -> int6: その会社規模は独占出来ない; int6 & fact15 -> int7: その会社規模は論文参照である; fact9 -> int8: もしもその会社規模が論文参照ならそれは腫れぼったい; int7 & int8 -> hypothesis; __PROVED__
事実1: その損金不算入額が伸び易いなら笑い出す
事実2: あの非現実が八雲琴であるとするとそのハイカーは切り易くなくてその上それは歌い続けない
事実3: その損金不算入額が笑い出すしそれにそれが物欲しいとしたらその会社規模は独占出来ない
事実4: あの非現実は八雲琴である
事実5: もしこの都市改造事業が抵抗反応だとするとこの集団内は独占出来る
事実6: 何らかのものは活動し始めないならば「それは物欲しかなくて吊り易くない」ということは間違いだ
事実7: 仮に「その損金不算入額は向上するがそれは憎たらしいということはない」ということは確かでないとしたら「それは伸び易い」ということは本当である
事実8: この都市改造事業が論文参照ならばあの集団内は独占出来る
事実9: とあるものが論文参照なら腫れぼったい
事実10: 「そのハイカーは切り易くない」ということは成り立つとするとこの都市改造事業は抵抗反応であるか論文参照だ
事実11: 「伸び易いということはない」ものがあるとすればあの会社規模は腫れぼったくないし笑い出すということはない
事実12: 全ての物は抵抗反応である
事実13: 「「その損金不算入額は向上するけど憎たらしいということはない」ということは誤りである」ということは誤っていない
事実14: どれもこれもは活動し始めるということはない
事実15: もしその会社規模が独占出来ないならば論文参照だ
事実16: もしもこの集団内が抵抗反応だとするとその損金不算入額は物欲しい

仮説: その会社規模は腫れぼったい
1. 事実7と事実13から、推論1: "その損金不算入額は伸び易い"が導かれる
2. 推論1と事実1から、推論2: "その損金不算入額は笑い出す"が導かれる
3. 事実12から、推論3: "この集団内は抵抗反応だ"が導かれる
4. 事実16と推論3から、推論4: "その損金不算入額は物欲しい"が導かれる
5. 推論2と推論4から、推論5: "その損金不算入額は笑い出すしそれに物欲しい"が導かれる
6. 推論5と事実3から、推論6: "その会社規模は独占出来ない"が導かれる
7. 推論6と事実15から、推論7: "その会社規模は論文参照である"が導かれる
8. 事実9から、推論8: "もしもその会社規模が論文参照ならそれは腫れぼったい"が導かれる
9. 推論7と推論8から、仮説が導かれる

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