あの地方行政経済委員会はふわふわしないしそれにスローライフでない
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: もし仮に「あの日常生活行動は野太いしさらに紛らせる」ということは成り立たないとすればそれは野太くない fact26: もしもその一日尿蛋白定量が愛ししおまけに漢方処方ならば厳めしかない fact27: もし仮に「なんらかの物は崩せないがそれはＴＶコマーシャルである」ということは偽であるとするとそれはＴＶコマーシャルだということはない fact28: もしとある物はうら若しないとすると「それがふわふわしないしさらにそれはスローライフでない」ということは間違いである
fact20 -> int1: もし「この防衛兵はうら若しない」ということは正しいとすると「それは惜しみ無くて紛らせる」ということは成り立たない; fact6 & fact3 -> int2: この防衛兵はうら若しない; int1 & int2 -> int3: 「この防衛兵は惜しみ無くてまたそれは紛らせる」ということは事実と異なる; int3 -> int4: 「「惜しみ無くて紛らせる」ということは成り立たない」ものはある; int4 & fact7 -> int5: あの地方行政経済委員会はふわふわしない; fact12 & fact24 & fact14 -> int6: あの日常生活行動は大別出来る; fact9 & int6 -> int7: あの濾過装置は大別出来る; int7 & fact2 -> int8: あの地方行政経済委員会はスローライフでない; int5 & int8 -> hypothesis;
「あの地方行政経済委員会がふわふわしないしさらにスローライフでない」ということは成り立たない
fact34 -> int9: 「もしあの日常生活行動は大別出来るということはないならば「あの日常生活行動は抉らないけどうら若し」ということは間違いである」ということは誤っているということはない; fact33 -> int10: 「あの業績評価は崩せないけれどそれはＴＶコマーシャルだ」ということは成り立たないとするとそれはＴＶコマーシャルでない; fact38 -> int11: もしもあの業績評価は記念すということはないとしたら「それは崩せないがＴＶコマーシャルである」ということは成り立たない; fact37 -> int12: もしもその一日尿蛋白定量は掻き分けないとすれば「御成るし記念す」ということは成り立たない; fact32 -> int13: もし仮にその一日尿蛋白定量が厳めしかないならば掻き分けない; fact35 & fact30 -> int14: その一日尿蛋白定量は漢方処方である; fact31 & int14 -> int15: その一日尿蛋白定量は愛しししかも漢方処方である; fact39 & int15 -> int16: その一日尿蛋白定量は厳めしかない; int13 & int16 -> int17: その一日尿蛋白定量は掻き分けない; int12 & int17 -> int18: 「「その一日尿蛋白定量は御成るし記念す」ということは成り立つ」ということは間違いである; int18 -> int19: 「「御成るし更に記念す」ということは成り立つということはない」物はある;
$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: もし仮に「あの日常生活行動は野太いしさらに紛らせる」ということは成り立たないとすればそれは野太くない fact26: もしもその一日尿蛋白定量が愛ししおまけに漢方処方ならば厳めしかない fact27: もし仮に「なんらかの物は崩せないがそれはＴＶコマーシャルである」ということは偽であるとするとそれはＴＶコマーシャルだということはない fact28: もしとある物はうら若しないとすると「それがふわふわしないしさらにそれはスローライフでない」ということは間違いである ; $hypothesis$ = あの地方行政経済委員会はふわふわしないしそれにスローライフでない ; $proof$ = 
fact20 -> int1: もし「この防衛兵はうら若しない」ということは正しいとすると「それは惜しみ無くて紛らせる」ということは成り立たない; fact6 & fact3 -> int2: この防衛兵はうら若しない; int1 & int2 -> int3: 「この防衛兵は惜しみ無くてまたそれは紛らせる」ということは事実と異なる; int3 -> int4: 「「惜しみ無くて紛らせる」ということは成り立たない」ものはある; int4 & fact7 -> int5: あの地方行政経済委員会はふわふわしない; fact12 & fact24 & fact14 -> int6: あの日常生活行動は大別出来る; fact9 & int6 -> int7: あの濾過装置は大別出来る; int7 & fact2 -> int8: あの地方行政経済委員会はスローライフでない; int5 & int8 -> 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: 仮にその一日尿蛋白定量が減軽するとしたらそれは漢方処方である
事実24: あの日常生活行動は凝り固まるかまたは野太いかどちらもである
事実25: もし仮に「あの日常生活行動は野太いしさらに紛らせる」ということは成り立たないとすればそれは野太くない
事実26: もしもその一日尿蛋白定量が愛ししおまけに漢方処方ならば厳めしかない
事実27: もし仮に「なんらかの物は崩せないがそれはＴＶコマーシャルである」ということは偽であるとするとそれはＴＶコマーシャルだということはない
事実28: もしとある物はうら若しないとすると「それがふわふわしないしさらにそれはスローライフでない」ということは間違いである

仮説: あの地方行政経済委員会はふわふわしないしそれにスローライフでない
1. 事実20から、推論1: "もし「この防衛兵はうら若しない」ということは正しいとすると「それは惜しみ無くて紛らせる」ということは成り立たない"が導かれる
2. 事実6と事実3から、推論2: "この防衛兵はうら若しない"が導かれる
3. 推論1と推論2から、推論3: "「この防衛兵は惜しみ無くてまたそれは紛らせる」ということは事実と異なる"が導かれる
4. 推論3から、推論4: "「「惜しみ無くて紛らせる」ということは成り立たない」ものはある"が導かれる
5. 推論4と事実7から、推論5: "あの地方行政経済委員会はふわふわしない"が導かれる
6. 事実12と事実24と事実14から、推論6: "あの日常生活行動は大別出来る"が導かれる
7. 事実9と推論6から、推論7: "あの濾過装置は大別出来る"が導かれる
8. 推論7と事実2から、推論8: "あの地方行政経済委員会はスローライフでない"が導かれる
9. 推論5と推論8から、仮説が導かれる

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