あの上階は感知しないしその上さり気無くない
fact1: もしなにかは独裁政権でないならば「感知しなくてそれはさり気無くない」ということは真実でない fact2: もしも「独裁政権である」物があるとしたらあの上階は感知しないしまたさり気無くない fact3: その国費留学生はモータスクレーパでなくてそれは独裁政権でない fact4: 華々しくないものは分かり合うしおまけに独裁政権だ fact5: なんらかのものは独裁政権だ fact6: もし仮にこのＣワンＲが憎しがしかし千九百九十年頃でないとしたらあの絶対条件は華々しくない fact7: 仮に「さり気無い」ものがあるならあの上階は感知しない fact8: もしあの絶対条件が分かり合うしそれにそれが独裁政権であるならばあの上階は独裁政権でない fact9: とあるものは感知する
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
「あの上階は感知しないしさり気無くない」ということは間違いである
fact11 -> int1: もしあの上階は独裁政権だということはないなら「感知しないしそれにさり気無くない」ということは成り立たない; fact12 -> int2: もし「あの絶対条件は華々しくない」ということは本当なら分かり合うしそれに独裁政権だ;
$facts$ = fact1: もしなにかは独裁政権でないならば「感知しなくてそれはさり気無くない」ということは真実でない fact2: もしも「独裁政権である」物があるとしたらあの上階は感知しないしまたさり気無くない fact3: その国費留学生はモータスクレーパでなくてそれは独裁政権でない fact4: 華々しくないものは分かり合うしおまけに独裁政権だ fact5: なんらかのものは独裁政権だ fact6: もし仮にこのＣワンＲが憎しがしかし千九百九十年頃でないとしたらあの絶対条件は華々しくない fact7: 仮に「さり気無い」ものがあるならあの上階は感知しない fact8: もしあの絶対条件が分かり合うしそれにそれが独裁政権であるならばあの上階は独裁政権でない fact9: とあるものは感知する ; $hypothesis$ = あの上階は感知しないしその上さり気無くない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: もしなにかは独裁政権でないならば「感知しなくてそれはさり気無くない」ということは真実でない
事実2: もしも「独裁政権である」物があるとしたらあの上階は感知しないしまたさり気無くない
事実3: その国費留学生はモータスクレーパでなくてそれは独裁政権でない
事実4: 華々しくないものは分かり合うしおまけに独裁政権だ
事実5: なんらかのものは独裁政権だ
事実6: もし仮にこのＣワンＲが憎しがしかし千九百九十年頃でないとしたらあの絶対条件は華々しくない
事実7: 仮に「さり気無い」ものがあるならあの上階は感知しない
事実8: もしあの絶対条件が分かり合うしそれにそれが独裁政権であるならばあの上階は独裁政権でない
事実9: とあるものは感知する

仮説: あの上階は感知しないしその上さり気無くない
1. 事実5と事実2から、仮説が導かれる

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