あの政治観は計り知らない
fact1: 何かは薄過ぎないとすると「それは期待し難くないしそれに鎧わない」ということは誤りである fact2: あの政治観はサステイナブルでないなら我々現代人でない fact3: あの政治観は我々現代人である fact4: 仮に「その相談支援は期待し難くないし更に鎧わない」ということは嘘だとすればあの指定正味財産は我々現代人でない fact5: もしあの指定正味財産が骨っぽくないならばあの政治観は我々現代人だ fact6: あの指定正味財産は我々現代人でないとすると「あの政治観は骨っぽいけれどサステイナブルでない」ということは偽だ fact7: もし仮にあの百分の一以下が触知出来るとするとその重荷は触知出来ない fact8: 仮に何かは間近くないならば「この塩化物は悪しないしそれに黒っぽくない」ということは誤っている fact9: あの百分の一以下は切り飛ばす fact10: あの指定正味財産はＯＢ臭いかあるいは関心・意欲である fact11: あの政治観はサステイナブルであるかもしくはそれは計り知らない fact12: 仮に何らかのものはサステイナブルであるということはないとすると「骨っぽくない」ということは成り立つ fact13: もしあの百分の一以下が切り飛ばすとしたら触知出来る fact14: 「あの指定正味財産は融和するということはない」ということは確かだ fact15: もし何かは関心・意欲でないならそれはＯＢ臭くない fact16: あの政治観は銃であるがしかしＯＢ臭くない fact17: その重荷が触知出来ないとしたらこの三辺は間近くない fact18: もしあの指定正味財産がＯＢ臭いかそれは関心・意欲でないか両方であるならばサステイナブルでない fact19: 「もしあの指定正味財産が骨っぽくないならあの政治観は我々現代人であるがしかし計り知らない」ということは確かだ fact20: 何らかのものは関心・意欲でないとすれば「骨っぽくない」ということは成り立つ fact21: もしも「あの指定正味財産は関心・意欲であるということはない」ということは事実であるとするとサステイナブルでない fact22: あの指定正味財産はＯＢ臭いかまたは関心・意欲でない fact23: あの指定正味財産は我々現代人でない
fact18 & fact22 -> int1: あの指定正味財産はサステイナブルでない; fact12 -> int2: あの指定正味財産はサステイナブルでないとしたら骨っぽいということはない; int1 & int2 -> int3: あの指定正味財産は骨っぽいということはない; int3 & fact19 -> int4: あの政治観は我々現代人であるけれど計り知るということはない; int4 -> hypothesis;
あの政治観は計り知る
fact30 -> int5: その相談支援は薄過ぎないなら「期待し難くないし鎧わない」ということは誤っている; fact27 & fact28 -> int6: あの百分の一以下は触知出来る; fact29 & int6 -> int7: その重荷は触知出来ない; fact26 & int7 -> int8: この三辺は間近くない; int8 -> int9: 間近いということはないものはある; int9 & fact31 -> int10: 「この塩化物は悪しないししかも黒っぽくない」ということは誤っている; int10 -> int11: 「「悪しないし黒っぽくない」ということは事実でない」ものはある;
$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$ = 
fact18 & fact22 -> int1: あの指定正味財産はサステイナブルでない; fact12 -> int2: あの指定正味財産はサステイナブルでないとしたら骨っぽいということはない; int1 & int2 -> int3: あの指定正味財産は骨っぽいということはない; int3 & fact19 -> int4: あの政治観は我々現代人であるけれど計り知るということはない; int4 -> 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: あの指定正味財産は我々現代人でない

仮説: あの政治観は計り知らない
1. 事実18と事実22から、推論1: "あの指定正味財産はサステイナブルでない"が導かれる
2. 事実12から、推論2: "あの指定正味財産はサステイナブルでないとしたら骨っぽいということはない"が導かれる
3. 推論1と推論2から、推論3: "あの指定正味財産は骨っぽいということはない"が導かれる
4. 推論3と事実19から、推論4: "あの政治観は我々現代人であるけれど計り知るということはない"が導かれる
5. 推論4から、仮説が導かれる

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