あの物質面は突撃する
fact1: とあるものは益無しないとしたら「それは突撃するしおまけにそれは与し易い」ということは偽だ fact2: もし仮にとあるものが与し易いとしたらそれは突撃する fact3: 見境無くない物は益無ししまた陥り易い fact4: もしもその御主人が与し易いとするとそれは変奏する fact5: 「仮にその代金は感じ易いしそれに避くとしたら「あの別記は見境無くない」ということは確かだ」ということは真実だ fact6: なんらかの物が益無しないとするとそれは与し易いしかつそれは突撃する fact7: 仮になんらかのものが突撃するとすればそれは遅れ易い fact8: もし「あの物質面はちょろい一方で遅れ易くない」ということは成り立たないとすると与し易い fact9: 「あの物質面はちょろいがしかしそれは遅れ易くない」ということは成り立たない fact10: もし仮にあの物質面がちょろくないとすれば与し易い fact11: 仮に「なんらかの物は突撃するしそれは与し易い」ということは成り立たないとしたらそれは突撃しない fact12: もし仮にあの別記が益無ししおまけにそれが陥り易いならばあの物質面は益無しない
fact8 & fact9 -> int1: あの物質面は与し易い; fact2 -> int2: もしもあの物質面が与し易いとしたらそれは突撃する; int1 & int2 -> hypothesis;
fact8 & fact9 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
「あの大統領は突撃する」ということは成り立つ
fact13 -> int3: あの大統領が益無しないとすると与し易いし突撃する;
$facts$ = fact1: とあるものは益無しないとしたら「それは突撃するしおまけにそれは与し易い」ということは偽だ fact2: もし仮にとあるものが与し易いとしたらそれは突撃する fact3: 見境無くない物は益無ししまた陥り易い fact4: もしもその御主人が与し易いとするとそれは変奏する fact5: 「仮にその代金は感じ易いしそれに避くとしたら「あの別記は見境無くない」ということは確かだ」ということは真実だ fact6: なんらかの物が益無しないとするとそれは与し易いしかつそれは突撃する fact7: 仮になんらかのものが突撃するとすればそれは遅れ易い fact8: もし「あの物質面はちょろい一方で遅れ易くない」ということは成り立たないとすると与し易い fact9: 「あの物質面はちょろいがしかしそれは遅れ易くない」ということは成り立たない fact10: もし仮にあの物質面がちょろくないとすれば与し易い fact11: 仮に「なんらかの物は突撃するしそれは与し易い」ということは成り立たないとしたらそれは突撃しない fact12: もし仮にあの別記が益無ししおまけにそれが陥り易いならばあの物質面は益無しない ; $hypothesis$ = あの物質面は突撃する ; $proof$ = 
fact8 & fact9 -> int1: あの物質面は与し易い; fact2 -> int2: もしもあの物質面が与し易いとしたらそれは突撃する; int1 & int2 -> hypothesis; __PROVED__
事実1: とあるものは益無しないとしたら「それは突撃するしおまけにそれは与し易い」ということは偽だ
事実2: もし仮にとあるものが与し易いとしたらそれは突撃する
事実3: 見境無くない物は益無ししまた陥り易い
事実4: もしもその御主人が与し易いとするとそれは変奏する
事実5: 「仮にその代金は感じ易いしそれに避くとしたら「あの別記は見境無くない」ということは確かだ」ということは真実だ
事実6: なんらかの物が益無しないとするとそれは与し易いしかつそれは突撃する
事実7: 仮になんらかのものが突撃するとすればそれは遅れ易い
事実8: もし「あの物質面はちょろい一方で遅れ易くない」ということは成り立たないとすると与し易い
事実9: 「あの物質面はちょろいがしかしそれは遅れ易くない」ということは成り立たない
事実10: もし仮にあの物質面がちょろくないとすれば与し易い
事実11: 仮に「なんらかの物は突撃するしそれは与し易い」ということは成り立たないとしたらそれは突撃しない
事実12: もし仮にあの別記が益無ししおまけにそれが陥り易いならばあの物質面は益無しない

仮説: あの物質面は突撃する
1. 事実8と事実9から、推論1: "あの物質面は与し易い"が導かれる
2. 事実2から、推論2: "もしもあの物質面が与し易いとしたらそれは突撃する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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