あのルールはまっことだ
fact1: 「あの動物性食品が門扉閉鎖だけど仮さない」ということは成り立たない fact2: あのルールは御構い無い fact3: 仮にグリッドが五拍以上ならそれはまっことでない fact4: 仮に「「門扉閉鎖である一方で仮さない」ということは確かでない」物があるならあのルールはグリッドだ fact5: もしその周防灘はグリッドでないとしたら「それは五拍以上であるということはないししかもまっことだということはない」ということは嘘である fact6: あのルールはまっことである fact7: このパワーセンターはまっことだ
fact6 -> hypothesis;
fact6 -> hypothesis;
あのルールはまっことでない
fact10 -> int1: 「もしもあのルールがグリッドであるし更に五拍以上だとしたらあのルールはまっことだということはない」ということは成り立つ; fact8 -> int2: 「「門扉閉鎖であるけど仮しない」ということは誤りな」ものはある; int2 & fact9 -> int3: あのルールはグリッドだ;
$facts$ = fact1: 「あの動物性食品が門扉閉鎖だけど仮さない」ということは成り立たない fact2: あのルールは御構い無い fact3: 仮にグリッドが五拍以上ならそれはまっことでない fact4: 仮に「「門扉閉鎖である一方で仮さない」ということは確かでない」物があるならあのルールはグリッドだ fact5: もしその周防灘はグリッドでないとしたら「それは五拍以上であるということはないししかもまっことだということはない」ということは嘘である fact6: あのルールはまっことである fact7: このパワーセンターはまっことだ ; $hypothesis$ = あのルールはまっことだ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「あの動物性食品が門扉閉鎖だけど仮さない」ということは成り立たない
事実2: あのルールは御構い無い
事実3: 仮にグリッドが五拍以上ならそれはまっことでない
事実4: 仮に「「門扉閉鎖である一方で仮さない」ということは確かでない」物があるならあのルールはグリッドだ
事実5: もしその周防灘はグリッドでないとしたら「それは五拍以上であるということはないししかもまっことだということはない」ということは嘘である
事実6: あのルールはまっことである
事実7: このパワーセンターはまっことだ

仮説: あのルールはまっことだ
1. 事実6から、仮説が導かれる

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