「そのＨＲは溜まり易いがしかし展開し易くない」ということは偽である
fact1: 「そのＨＲは溜まり易くて展開し易い」ということは間違っている fact2: 仮にこのモダニズム論は貯金するなら「そのＨＲは重畳しなくて加えて児童扶養手当て法でない」ということは誤りである fact3: 「あの入輿は齣数であるけれど懐こいということはない」ということは成り立たない fact4: なんらかの物はアクションクエリでないとすると溜まり易いが展開し易くない fact5: もしもとあるものはアクションクエリであるということはないなら「それは恐れ多くて加えてそれは展開し易くない」ということは成り立たない fact6: 「そのＨＲは溜まり易いけれど展開し易くない」ということは事実でない fact7: 仮に「なにがしかの物は児童扶養手当て法であるしかつそれは重畳する」ということは事実でないとするとアクションクエリであるということはない fact8: 「そのＨＲは展開し易いけれど救い難くない」ということは事実と異なる fact9: 「この高槻市内は認識出来るけれどそれは白眼視しない」ということは真実でない
fact6 -> hypothesis;
fact6 -> hypothesis;
「「そのＨＲは恐れ多いけれど展開し易くない」ということは成り立たない」ということは偽でない
fact11 -> int1: 「そのＨＲはアクションクエリである」ということは誤りだとしたら「恐れ多いし展開し易くない」ということは間違いである; fact10 -> int2: 仮に「そのＨＲは児童扶養手当て法であるしそれは重畳する」ということは誤りだとしたらそれはアクションクエリでない;
$facts$ = fact1: 「そのＨＲは溜まり易くて展開し易い」ということは間違っている fact2: 仮にこのモダニズム論は貯金するなら「そのＨＲは重畳しなくて加えて児童扶養手当て法でない」ということは誤りである fact3: 「あの入輿は齣数であるけれど懐こいということはない」ということは成り立たない fact4: なんらかの物はアクションクエリでないとすると溜まり易いが展開し易くない fact5: もしもとあるものはアクションクエリであるということはないなら「それは恐れ多くて加えてそれは展開し易くない」ということは成り立たない fact6: 「そのＨＲは溜まり易いけれど展開し易くない」ということは事実でない fact7: 仮に「なにがしかの物は児童扶養手当て法であるしかつそれは重畳する」ということは事実でないとするとアクションクエリであるということはない fact8: 「そのＨＲは展開し易いけれど救い難くない」ということは事実と異なる fact9: 「この高槻市内は認識出来るけれどそれは白眼視しない」ということは真実でない ; $hypothesis$ = 「そのＨＲは溜まり易いがしかし展開し易くない」ということは偽である ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「そのＨＲは溜まり易くて展開し易い」ということは間違っている
事実2: 仮にこのモダニズム論は貯金するなら「そのＨＲは重畳しなくて加えて児童扶養手当て法でない」ということは誤りである
事実3: 「あの入輿は齣数であるけれど懐こいということはない」ということは成り立たない
事実4: なんらかの物はアクションクエリでないとすると溜まり易いが展開し易くない
事実5: もしもとあるものはアクションクエリであるということはないなら「それは恐れ多くて加えてそれは展開し易くない」ということは成り立たない
事実6: 「そのＨＲは溜まり易いけれど展開し易くない」ということは事実でない
事実7: 仮に「なにがしかの物は児童扶養手当て法であるしかつそれは重畳する」ということは事実でないとするとアクションクエリであるということはない
事実8: 「そのＨＲは展開し易いけれど救い難くない」ということは事実と異なる
事実9: 「この高槻市内は認識出来るけれどそれは白眼視しない」ということは真実でない

仮説: 「そのＨＲは溜まり易いがしかし展開し易くない」ということは偽である
1. 事実6から、仮説が導かれる

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