この中国各地は外出着だ
fact1: とあるものが左折しないとするとそれは役職者でない fact2: 仮にあるものが正比例しないとすればそれは心置き無くない fact3: 「もし仮に「何かは骨っぽくないかあるいはそれは懐かしないかまたは両方だ」ということは誤りだとしたらそれはし始めない」ということは本当である fact4: あの入り出場情報は役職者でない一方でそれは正比例する fact5: もしもこの中国各地が外出着でないがしかしそれは正比例するとしたら「その利益額は心置き無い」ということは正しいということはない fact6: もし仮にあの入り出場情報が心置き無くないかもしくはそれが役職者であるかまたは両方ともであるとするとあの官位叙任は役職者でない fact7: もしも「この中国各地は正比例するしさらに外出着である」ということは成り立てばその利益額は心置き無くない fact8: もしもなにがしかのものが心置き無いけど正比例するということはないとしたらこの中国各地は外出着でない fact9: もしあの入り出場情報が役職者でないがそれが左折すればその利益額は正比例するということはない fact10: 骨っぽいものは外出着である fact11: もし「その利益額は正比例しない」ということは誤りでないなら心置き無くない fact12: あの入り出場情報は役職者でないけど左折する fact13: 仮にその利益額はし始めないししかも心置き無くないならばあの中国各地は骨っぽい fact14: この中国各地は抜き難い fact15: あの入り出場情報は役職者でない fact16: もしもその利益額が左折するということはないしそれが役職者でないならあの入り出場情報はし始める fact17: なにがしかのものが正比例するということはないならそれはし始めないし心置き無くない
fact9 & fact12 -> int1: その利益額は正比例するということはない; fact17 -> int2: もしもその利益額が正比例するということはないならし始めないしさらに心置き無いということはない; int1 & int2 -> int3: その利益額がし始めるということはないしさらにそれは心置き無いということはない; int3 & fact13 -> int4: この中国各地は骨っぽい; fact10 -> int5: もし仮にこの中国各地が骨っぽいならば外出着である; int4 & int5 -> hypothesis;
あの官位叙任は役職者でない
$facts$ = fact1: とあるものが左折しないとするとそれは役職者でない fact2: 仮にあるものが正比例しないとすればそれは心置き無くない fact3: 「もし仮に「何かは骨っぽくないかあるいはそれは懐かしないかまたは両方だ」ということは誤りだとしたらそれはし始めない」ということは本当である fact4: あの入り出場情報は役職者でない一方でそれは正比例する fact5: もしもこの中国各地が外出着でないがしかしそれは正比例するとしたら「その利益額は心置き無い」ということは正しいということはない fact6: もし仮にあの入り出場情報が心置き無くないかもしくはそれが役職者であるかまたは両方ともであるとするとあの官位叙任は役職者でない fact7: もしも「この中国各地は正比例するしさらに外出着である」ということは成り立てばその利益額は心置き無くない fact8: もしもなにがしかのものが心置き無いけど正比例するということはないとしたらこの中国各地は外出着でない fact9: もしあの入り出場情報が役職者でないがそれが左折すればその利益額は正比例するということはない fact10: 骨っぽいものは外出着である fact11: もし「その利益額は正比例しない」ということは誤りでないなら心置き無くない fact12: あの入り出場情報は役職者でないけど左折する fact13: 仮にその利益額はし始めないししかも心置き無くないならばあの中国各地は骨っぽい fact14: この中国各地は抜き難い fact15: あの入り出場情報は役職者でない fact16: もしもその利益額が左折するということはないしそれが役職者でないならあの入り出場情報はし始める fact17: なにがしかのものが正比例するということはないならそれはし始めないし心置き無くない ; $hypothesis$ = この中国各地は外出着だ ; $proof$ = 
fact9 & fact12 -> int1: その利益額は正比例するということはない; fact17 -> int2: もしもその利益額が正比例するということはないならし始めないしさらに心置き無いということはない; int1 & int2 -> int3: その利益額がし始めるということはないしさらにそれは心置き無いということはない; int3 & fact13 -> int4: この中国各地は骨っぽい; fact10 -> int5: もし仮にこの中国各地が骨っぽいならば外出着である; int4 & int5 -> hypothesis; __PROVED__
事実1: とあるものが左折しないとするとそれは役職者でない
事実2: 仮にあるものが正比例しないとすればそれは心置き無くない
事実3: 「もし仮に「何かは骨っぽくないかあるいはそれは懐かしないかまたは両方だ」ということは誤りだとしたらそれはし始めない」ということは本当である
事実4: あの入り出場情報は役職者でない一方でそれは正比例する
事実5: もしもこの中国各地が外出着でないがしかしそれは正比例するとしたら「その利益額は心置き無い」ということは正しいということはない
事実6: もし仮にあの入り出場情報が心置き無くないかもしくはそれが役職者であるかまたは両方ともであるとするとあの官位叙任は役職者でない
事実7: もしも「この中国各地は正比例するしさらに外出着である」ということは成り立てばその利益額は心置き無くない
事実8: もしもなにがしかのものが心置き無いけど正比例するということはないとしたらこの中国各地は外出着でない
事実9: もしあの入り出場情報が役職者でないがそれが左折すればその利益額は正比例するということはない
事実10: 骨っぽいものは外出着である
事実11: もし「その利益額は正比例しない」ということは誤りでないなら心置き無くない
事実12: あの入り出場情報は役職者でないけど左折する
事実13: 仮にその利益額はし始めないししかも心置き無くないならばあの中国各地は骨っぽい
事実14: この中国各地は抜き難い
事実15: あの入り出場情報は役職者でない
事実16: もしもその利益額が左折するということはないしそれが役職者でないならあの入り出場情報はし始める
事実17: なにがしかのものが正比例するということはないならそれはし始めないし心置き無くない

仮説: この中国各地は外出着だ
1. 事実9と事実12から、推論1: "その利益額は正比例するということはない"が導かれる
2. 事実17から、推論2: "もしもその利益額が正比例するということはないならし始めないしさらに心置き無いということはない"が導かれる
3. 推論1と推論2から、推論3: "その利益額がし始めるということはないしさらにそれは心置き無いということはない"が導かれる
4. 推論3と事実13から、推論4: "この中国各地は骨っぽい"が導かれる
5. 事実10から、推論5: "もし仮にこの中国各地が骨っぽいならば外出着である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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