この草野球は独立性確保だ
fact1: もしなにかは成り始めないなら「凛々しくないけれど仕える」ということは正しくない fact2: 「あの行政権限は肉屋だということはないけれど清々しい」ということは事実と異なる fact3: この草野球は仕える fact4: この草野球は仕えるしそれは独立性確保である fact5: もし「「肉屋でないし清々しい」ということは嘘である」物があるならその分割法人は形成され易い fact6: 煩くない物は成り始めないがしかし煎じ詰める fact7: もし仮にその分割法人が形成され易いとすればこの肌トラブルは煩くない
fact4 -> hypothesis;
fact4 -> hypothesis;
「「この草野球は独立性確保である」ということは確かである」ということは成り立たない
fact11 -> int1: 「この肌トラブルは成り始めない」ということは事実であるとしたら「凛々しくなくてそれは仕える」ということは誤りである; fact9 -> int2: もし仮に「この肌トラブルは煩くない」ということは事実ならばそれは成り始めないが煎じ詰める; fact8 -> int3: 「「肉屋でなくておまけに清々しい」ということは間違っている」物はある; int3 & fact12 -> int4: その分割法人は形成され易い; fact10 & int4 -> int5: この肌トラブルは煩くない; int2 & int5 -> int6: この肌トラブルは成り始めないけれどそれは煎じ詰める; int6 -> int7: この肌トラブルは成り始めない; int1 & int7 -> int8: 「この肌トラブルは凛々しくないけれど仕える」ということは誤りである; int8 -> int9: 「「凛々しくないし更に仕える」ということは成り立つということはない」ものはある;
$facts$ = fact1: もしなにかは成り始めないなら「凛々しくないけれど仕える」ということは正しくない fact2: 「あの行政権限は肉屋だということはないけれど清々しい」ということは事実と異なる fact3: この草野球は仕える fact4: この草野球は仕えるしそれは独立性確保である fact5: もし「「肉屋でないし清々しい」ということは嘘である」物があるならその分割法人は形成され易い fact6: 煩くない物は成り始めないがしかし煎じ詰める fact7: もし仮にその分割法人が形成され易いとすればこの肌トラブルは煩くない ; $hypothesis$ = この草野球は独立性確保だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしなにかは成り始めないなら「凛々しくないけれど仕える」ということは正しくない
事実2: 「あの行政権限は肉屋だということはないけれど清々しい」ということは事実と異なる
事実3: この草野球は仕える
事実4: この草野球は仕えるしそれは独立性確保である
事実5: もし「「肉屋でないし清々しい」ということは嘘である」物があるならその分割法人は形成され易い
事実6: 煩くない物は成り始めないがしかし煎じ詰める
事実7: もし仮にその分割法人が形成され易いとすればこの肌トラブルは煩くない

仮説: この草野球は独立性確保だ
1. 事実4から、仮説が導かれる

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