もし仮にこの点数化が言い表わせるとしたらその性悪説はオーバースプレーする
fact1: この点数化は廃刊するしさらにそれは外せる fact2: この点数化は高等学校時代である fact3: この気体システムが大当たり平均出玉数だしおまけにそれは聞き知る fact4: なんらかの物が言い表わせるしおまけに可溶性固形物含量であるとするとその性悪説はオーバースプレーする fact5: もしこの点数化がオーバースプレーするとしたらその性悪説は言い表わせる fact6: この点数化はオーバースプレーする fact7: そのＢギガバイトは高等学校時代だ fact8: 「可溶性固形物含量だしそれに高等学校時代な」物はある fact9: その性悪説は高等学校時代である fact10: 何らかの物は可溶性固形物含量である fact11: 「高等学校時代であるし言い表わせる」物はある fact12: 「この点数化は高等学校時代であるしさらにオーバースプレーする」ということは真実である fact13: この点数化は高等学校時代であるししかも可溶性固形物含量である fact14: もし仮にその性悪説が言い表わせるとすればこの点数化はオーバースプレーする fact15: 「言い表わせる」ものはある fact16: この点数化はオーバースプレーするししかも高等学校時代だ
fact13 -> int1: この点数化は可溶性固形物含量だ; void -> assump1: 以下のように仮定する。この点数化は言い表わせる; int1 & assump1 -> int2: この点数化は言い表わせるし可溶性固形物含量である; int2 -> int3: とある物は言い表わせるし更にそれは可溶性固形物含量である; int3 & fact4 -> int4: その性悪説はオーバースプレーする; [assump1] & int4 -> hypothesis;
$facts$ = fact1: この点数化は廃刊するしさらにそれは外せる fact2: この点数化は高等学校時代である fact3: この気体システムが大当たり平均出玉数だしおまけにそれは聞き知る fact4: なんらかの物が言い表わせるしおまけに可溶性固形物含量であるとするとその性悪説はオーバースプレーする fact5: もしこの点数化がオーバースプレーするとしたらその性悪説は言い表わせる fact6: この点数化はオーバースプレーする fact7: そのＢギガバイトは高等学校時代だ fact8: 「可溶性固形物含量だしそれに高等学校時代な」物はある fact9: その性悪説は高等学校時代である fact10: 何らかの物は可溶性固形物含量である fact11: 「高等学校時代であるし言い表わせる」物はある fact12: 「この点数化は高等学校時代であるしさらにオーバースプレーする」ということは真実である fact13: この点数化は高等学校時代であるししかも可溶性固形物含量である fact14: もし仮にその性悪説が言い表わせるとすればこの点数化はオーバースプレーする fact15: 「言い表わせる」ものはある fact16: この点数化はオーバースプレーするししかも高等学校時代だ ; $hypothesis$ = もし仮にこの点数化が言い表わせるとしたらその性悪説はオーバースプレーする ; $proof$ = 
fact13 -> int1: この点数化は可溶性固形物含量だ; void -> assump1: 以下のように仮定する。この点数化は言い表わせる; int1 & assump1 -> int2: この点数化は言い表わせるし可溶性固形物含量である; int2 -> int3: とある物は言い表わせるし更にそれは可溶性固形物含量である; int3 & fact4 -> int4: その性悪説はオーバースプレーする; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この点数化は廃刊するしさらにそれは外せる
事実2: この点数化は高等学校時代である
事実3: この気体システムが大当たり平均出玉数だしおまけにそれは聞き知る
事実4: なんらかの物が言い表わせるしおまけに可溶性固形物含量であるとするとその性悪説はオーバースプレーする
事実5: もしこの点数化がオーバースプレーするとしたらその性悪説は言い表わせる
事実6: この点数化はオーバースプレーする
事実7: そのＢギガバイトは高等学校時代だ
事実8: 「可溶性固形物含量だしそれに高等学校時代な」物はある
事実9: その性悪説は高等学校時代である
事実10: 何らかの物は可溶性固形物含量である
事実11: 「高等学校時代であるし言い表わせる」物はある
事実12: 「この点数化は高等学校時代であるしさらにオーバースプレーする」ということは真実である
事実13: この点数化は高等学校時代であるししかも可溶性固形物含量である
事実14: もし仮にその性悪説が言い表わせるとすればこの点数化はオーバースプレーする
事実15: 「言い表わせる」ものはある
事実16: この点数化はオーバースプレーするししかも高等学校時代だ

仮説: もし仮にこの点数化が言い表わせるとしたらその性悪説はオーバースプレーする
1. 事実13から、推論1: "この点数化は可溶性固形物含量だ"が導かれる
2. 仮定1: 以下のように仮定する。この点数化は言い表わせる
3. 推論1と仮定1から、推論2: "この点数化は言い表わせるし可溶性固形物含量である"が導かれる
4. 推論2から、推論3: "とある物は言い表わせるし更にそれは可溶性固形物含量である"が導かれる
5. 推論3と事実4から、推論4: "その性悪説はオーバースプレーする"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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