あのファースト・フードは溶融する
fact1: もし仮になにがしかのものは入り難くないとしたら「溶融しない」ということは確かだ fact2: そのシュメール文明は立法例でない fact3: 「あの妻戸は立法例だ」ということは成り立つ fact4: もし「そのシュメール文明は接さないかもしくは立法例である」ということは嘘であるとするとあのファースト・フードは溶融する fact5: あのファースト・フードは立法例である fact6: 「そのシュメール文明は接さないかまたは立法例であるかもしくはどちらもである」ということは成り立たない
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
あのファースト・フードは溶融しない
fact7 -> int1: もし仮にあのファースト・フードは入り難くないなら「それは溶融しない」ということは成り立つ;
$facts$ = fact1: もし仮になにがしかのものは入り難くないとしたら「溶融しない」ということは確かだ fact2: そのシュメール文明は立法例でない fact3: 「あの妻戸は立法例だ」ということは成り立つ fact4: もし「そのシュメール文明は接さないかもしくは立法例である」ということは嘘であるとするとあのファースト・フードは溶融する fact5: あのファースト・フードは立法例である fact6: 「そのシュメール文明は接さないかまたは立法例であるかもしくはどちらもである」ということは成り立たない ; $hypothesis$ = あのファースト・フードは溶融する ; $proof$ = 
fact4 & fact6 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは入り難くないとしたら「溶融しない」ということは確かだ
事実2: そのシュメール文明は立法例でない
事実3: 「あの妻戸は立法例だ」ということは成り立つ
事実4: もし「そのシュメール文明は接さないかもしくは立法例である」ということは嘘であるとするとあのファースト・フードは溶融する
事実5: あのファースト・フードは立法例である
事実6: 「そのシュメール文明は接さないかまたは立法例であるかもしくはどちらもである」ということは成り立たない

仮説: あのファースト・フードは溶融する
1. 事実4と事実6から、仮説が導かれる

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