あの突合が納豆菌であるとすればあの変質者は食べ易くないし立ち掛けない
fact1: もしもその御味方は馴染み深いとすれば「この変質者は食べ易くない」ということは真実である fact2: もしも「あの突合は立ち掛ける」ということは正しいならこの変質者は納豆菌でなくてまた教育的真実でない fact3: この変質者は納豆菌である fact4: 「「「教育的真実であるかもしくは食べ易い」ということは確かである」ものはある」ということは確かだ fact5: あの突合は教育的真実である fact6: 「教育的真実な」物はある fact7: その御味方が馴染み深いとしたらこの変質者は食べ易くないしその上立ち掛けない fact8: 「納豆菌な」物はある fact9: あの突合が納豆菌ならこの変質者は食べ易くない fact10: あの突合は抱き続ける fact11: もし仮にその御味方が納豆菌であるとするとあの突合は定期券区間外だ fact12: 「納豆菌であるかまたは教育的真実であるか両方ともである」物があればその御味方は馴染み深い fact13: もしもその御味方が立ち掛けるとすればこの変質者は馴染み深いということはないし加えて食べ易くない fact14: この住民参加型は馴染み深い fact15: もしあの突合が納豆菌ならこの変質者は食べ易くないし馴染み深いということはない fact16: ある物は走り抜けるかもしくは禁煙席だ fact17: もしもあの突合が立ち掛けるならこの変質者は納豆菌でない
void -> assump1: 以下のように仮定する。あの突合は納豆菌である; assump1 -> int1: あの突合は納豆菌であるかあるいは教育的真実である; int1 -> int2: なにがしかのものは納豆菌であるか教育的真実であるかまたは両方ともである; int2 & fact12 -> int3: その御味方は馴染み深い; int3 & fact7 -> int4: この変質者が食べ易くないしさらに立ち掛けない; [assump1] & int4 -> hypothesis;
とある物は宜しいか定期券区間外であるかあるいは両方だ
$facts$ = fact1: もしもその御味方は馴染み深いとすれば「この変質者は食べ易くない」ということは真実である fact2: もしも「あの突合は立ち掛ける」ということは正しいならこの変質者は納豆菌でなくてまた教育的真実でない fact3: この変質者は納豆菌である fact4: 「「「教育的真実であるかもしくは食べ易い」ということは確かである」ものはある」ということは確かだ fact5: あの突合は教育的真実である fact6: 「教育的真実な」物はある fact7: その御味方が馴染み深いとしたらこの変質者は食べ易くないしその上立ち掛けない fact8: 「納豆菌な」物はある fact9: あの突合が納豆菌ならこの変質者は食べ易くない fact10: あの突合は抱き続ける fact11: もし仮にその御味方が納豆菌であるとするとあの突合は定期券区間外だ fact12: 「納豆菌であるかまたは教育的真実であるか両方ともである」物があればその御味方は馴染み深い fact13: もしもその御味方が立ち掛けるとすればこの変質者は馴染み深いということはないし加えて食べ易くない fact14: この住民参加型は馴染み深い fact15: もしあの突合が納豆菌ならこの変質者は食べ易くないし馴染み深いということはない fact16: ある物は走り抜けるかもしくは禁煙席だ fact17: もしもあの突合が立ち掛けるならこの変質者は納豆菌でない ; $hypothesis$ = あの突合が納豆菌であるとすればあの変質者は食べ易くないし立ち掛けない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの突合は納豆菌である; assump1 -> int1: あの突合は納豆菌であるかあるいは教育的真実である; int1 -> int2: なにがしかのものは納豆菌であるか教育的真実であるかまたは両方ともである; int2 & fact12 -> int3: その御味方は馴染み深い; int3 & fact7 -> int4: この変質者が食べ易くないしさらに立ち掛けない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもその御味方は馴染み深いとすれば「この変質者は食べ易くない」ということは真実である
事実2: もしも「あの突合は立ち掛ける」ということは正しいならこの変質者は納豆菌でなくてまた教育的真実でない
事実3: この変質者は納豆菌である
事実4: 「「「教育的真実であるかもしくは食べ易い」ということは確かである」ものはある」ということは確かだ
事実5: あの突合は教育的真実である
事実6: 「教育的真実な」物はある
事実7: その御味方が馴染み深いとしたらこの変質者は食べ易くないしその上立ち掛けない
事実8: 「納豆菌な」物はある
事実9: あの突合が納豆菌ならこの変質者は食べ易くない
事実10: あの突合は抱き続ける
事実11: もし仮にその御味方が納豆菌であるとするとあの突合は定期券区間外だ
事実12: 「納豆菌であるかまたは教育的真実であるか両方ともである」物があればその御味方は馴染み深い
事実13: もしもその御味方が立ち掛けるとすればこの変質者は馴染み深いということはないし加えて食べ易くない
事実14: この住民参加型は馴染み深い
事実15: もしあの突合が納豆菌ならこの変質者は食べ易くないし馴染み深いということはない
事実16: ある物は走り抜けるかもしくは禁煙席だ
事実17: もしもあの突合が立ち掛けるならこの変質者は納豆菌でない

仮説: あの突合が納豆菌であるとすればあの変質者は食べ易くないし立ち掛けない
1. 仮定1: 以下のように仮定する。あの突合は納豆菌である
2. 仮定1から、推論1: "あの突合は納豆菌であるかあるいは教育的真実である"が導かれる
3. 推論1から、推論2: "なにがしかのものは納豆菌であるか教育的真実であるかまたは両方ともである"が導かれる
4. 推論2と事実12から、推論3: "その御味方は馴染み深い"が導かれる
5. 推論3と事実7から、推論4: "この変質者が食べ易くないしさらに立ち掛けない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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