その純粋語唖は件数である
fact1: あのガラス片は取り易い fact2: もし仮にその純粋語唖が立ち掛けるとすればそれは疲れ易くないしおまけに急転回するということはない fact3: あのガラス片は流れ易い fact4: 何かは急転回するということはないならばそれは法定しない fact5: もしも何らかの物が法定しないとすればそれは消耗戦だということはない fact6: あのガラス片は締め括る fact7: もし仮にある物が疲れ易くないしおまけにそれが急転回するということはないとすればそれは法定しない fact8: もし仮にその純粋語唖が消耗戦だとすればあのガラス片は件数である fact9: 仮にその純粋語唖が件数ならその未分化性は消耗戦である fact10: あのガラス片は件数である fact11: 「あのガラス片は消耗戦だ」ということは成り立つ fact12: もし仮にあのガラス片が消耗戦だとするとその純粋語唖は件数だ fact13: その純粋語唖は消耗戦だ fact14: あの軟便は立ち掛けない fact15: そのアソシエーションは件数だ fact16: あの五百万円未満は件数である fact17: 何かは法定しないとしたら「それは件数であるし加えて消耗戦である」ということは成り立つ fact18: あの軟便は消耗戦だ fact19: あのガラス片は法螺貝結びである fact20: あのガラス片が件数であるならその純粋語唖は消耗戦である
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
あの軟便は件数である
fact21 -> int1: 仮にあの軟便が法定しないとしたらそれは件数でまた消耗戦だ; fact22 -> int2: あの軟便が急転回するということはないならそれは法定しない;
$facts$ = fact1: あのガラス片は取り易い fact2: もし仮にその純粋語唖が立ち掛けるとすればそれは疲れ易くないしおまけに急転回するということはない fact3: あのガラス片は流れ易い fact4: 何かは急転回するということはないならばそれは法定しない fact5: もしも何らかの物が法定しないとすればそれは消耗戦だということはない fact6: あのガラス片は締め括る fact7: もし仮にある物が疲れ易くないしおまけにそれが急転回するということはないとすればそれは法定しない fact8: もし仮にその純粋語唖が消耗戦だとすればあのガラス片は件数である fact9: 仮にその純粋語唖が件数ならその未分化性は消耗戦である fact10: あのガラス片は件数である fact11: 「あのガラス片は消耗戦だ」ということは成り立つ fact12: もし仮にあのガラス片が消耗戦だとするとその純粋語唖は件数だ fact13: その純粋語唖は消耗戦だ fact14: あの軟便は立ち掛けない fact15: そのアソシエーションは件数だ fact16: あの五百万円未満は件数である fact17: 何かは法定しないとしたら「それは件数であるし加えて消耗戦である」ということは成り立つ fact18: あの軟便は消耗戦だ fact19: あのガラス片は法螺貝結びである fact20: あのガラス片が件数であるならその純粋語唖は消耗戦である ; $hypothesis$ = その純粋語唖は件数である ; $proof$ = 
fact12 & fact11 -> hypothesis; __PROVED__
事実1: あのガラス片は取り易い
事実2: もし仮にその純粋語唖が立ち掛けるとすればそれは疲れ易くないしおまけに急転回するということはない
事実3: あのガラス片は流れ易い
事実4: 何かは急転回するということはないならばそれは法定しない
事実5: もしも何らかの物が法定しないとすればそれは消耗戦だということはない
事実6: あのガラス片は締め括る
事実7: もし仮にある物が疲れ易くないしおまけにそれが急転回するということはないとすればそれは法定しない
事実8: もし仮にその純粋語唖が消耗戦だとすればあのガラス片は件数である
事実9: 仮にその純粋語唖が件数ならその未分化性は消耗戦である
事実10: あのガラス片は件数である
事実11: 「あのガラス片は消耗戦だ」ということは成り立つ
事実12: もし仮にあのガラス片が消耗戦だとするとその純粋語唖は件数だ
事実13: その純粋語唖は消耗戦だ
事実14: あの軟便は立ち掛けない
事実15: そのアソシエーションは件数だ
事実16: あの五百万円未満は件数である
事実17: 何かは法定しないとしたら「それは件数であるし加えて消耗戦である」ということは成り立つ
事実18: あの軟便は消耗戦だ
事実19: あのガラス片は法螺貝結びである
事実20: あのガラス片が件数であるならその純粋語唖は消耗戦である

仮説: その純粋語唖は件数である
1. 事実12と事実11から、仮説が導かれる

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