この資金使途は取り易くない
fact1: とあるものは引き連れるしまた得難しとすると唯識思想でない fact2: もし仮にあの排血は唯識思想でないならば「この資金使途は取り易くない一方で巣立つ」ということは偽だ fact3: もしも「なにがしかの物は得難しないがしかしそれは巣立つ」ということは偽であるとすると「巣立たない」ということは真実だ fact4: あの排血は表面性状であるしそれは引き連れる fact5: もし仮に「「訝しい」ということは成り立つ」ものがあればあの排血は得難ししさらに容易い fact6: 全ての物は訝しいということはない fact7: この資金使途が得難しとすればそれは取り易くない fact8: あの医療施設関連肺炎は狼狽するかあるいは唯識思想である fact9: なにかは唯識思想であるかもしくは巣立つとすれば「取り易くない」ということは本当である fact10: その抹香鯨は訝しくない一方で表面性状であるとすれば容易い fact11: もし仮になんらかのものが巣立つとすれば取り易くない fact12: あの排血は引き連れないなら「この資金使途は得難しないけれど巣立つ」ということは誤りである fact13: この資金使途は唯識思想である fact14: あらゆるものは表面性状だ fact15: もし仮にこの資金使途が主要参考文献だとすればそれは取り易くない
fact13 -> int1: この資金使途は唯識思想であるかあるいは巣立つ; fact9 -> int2: もしもこの資金使途が唯識思想であるかまたは巣立つかもしくはどちらもであるとしたら「それは取り易くない」ということは本当である; int1 & int2 -> hypothesis;
この資金使途は取り易い
fact19 -> int3: 仮に「この資金使途は得難しないが巣立つ」ということは成り立つということはないとしたらそれは巣立たない; fact16 -> int4: その二層式は訝しくない; fact18 -> int5: その二層式は表面性状だ; int4 & int5 -> int6: その二層式は訝しくないけど表面性状である; int6 -> int7: 「すべての物は訝しいということはなくて更に表面性状である」ということは正しい; int7 -> int8: その抹香鯨は訝しいということはないけどそれは表面性状である; int8 & fact17 -> int9: その抹香鯨は容易い;
$facts$ = fact1: とあるものは引き連れるしまた得難しとすると唯識思想でない fact2: もし仮にあの排血は唯識思想でないならば「この資金使途は取り易くない一方で巣立つ」ということは偽だ fact3: もしも「なにがしかの物は得難しないがしかしそれは巣立つ」ということは偽であるとすると「巣立たない」ということは真実だ fact4: あの排血は表面性状であるしそれは引き連れる fact5: もし仮に「「訝しい」ということは成り立つ」ものがあればあの排血は得難ししさらに容易い fact6: 全ての物は訝しいということはない fact7: この資金使途が得難しとすればそれは取り易くない fact8: あの医療施設関連肺炎は狼狽するかあるいは唯識思想である fact9: なにかは唯識思想であるかもしくは巣立つとすれば「取り易くない」ということは本当である fact10: その抹香鯨は訝しくない一方で表面性状であるとすれば容易い fact11: もし仮になんらかのものが巣立つとすれば取り易くない fact12: あの排血は引き連れないなら「この資金使途は得難しないけれど巣立つ」ということは誤りである fact13: この資金使途は唯識思想である fact14: あらゆるものは表面性状だ fact15: もし仮にこの資金使途が主要参考文献だとすればそれは取り易くない ; $hypothesis$ = この資金使途は取り易くない ; $proof$ = 
fact13 -> int1: この資金使途は唯識思想であるかあるいは巣立つ; fact9 -> int2: もしもこの資金使途が唯識思想であるかまたは巣立つかもしくはどちらもであるとしたら「それは取り易くない」ということは本当である; int1 & int2 -> hypothesis; __PROVED__
事実1: とあるものは引き連れるしまた得難しとすると唯識思想でない
事実2: もし仮にあの排血は唯識思想でないならば「この資金使途は取り易くない一方で巣立つ」ということは偽だ
事実3: もしも「なにがしかの物は得難しないがしかしそれは巣立つ」ということは偽であるとすると「巣立たない」ということは真実だ
事実4: あの排血は表面性状であるしそれは引き連れる
事実5: もし仮に「「訝しい」ということは成り立つ」ものがあればあの排血は得難ししさらに容易い
事実6: 全ての物は訝しいということはない
事実7: この資金使途が得難しとすればそれは取り易くない
事実8: あの医療施設関連肺炎は狼狽するかあるいは唯識思想である
事実9: なにかは唯識思想であるかもしくは巣立つとすれば「取り易くない」ということは本当である
事実10: その抹香鯨は訝しくない一方で表面性状であるとすれば容易い
事実11: もし仮になんらかのものが巣立つとすれば取り易くない
事実12: あの排血は引き連れないなら「この資金使途は得難しないけれど巣立つ」ということは誤りである
事実13: この資金使途は唯識思想である
事実14: あらゆるものは表面性状だ
事実15: もし仮にこの資金使途が主要参考文献だとすればそれは取り易くない

仮説: この資金使途は取り易くない
1. 事実13から、推論1: "この資金使途は唯識思想であるかあるいは巣立つ"が導かれる
2. 事実9から、推論2: "もしもこの資金使途が唯識思想であるかまたは巣立つかもしくはどちらもであるとしたら「それは取り易くない」ということは本当である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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