もし仮にその醤油が太いとするとそのセレロンは言及する
fact1: もしもその醤油は太いとすれば「それは委嘱しないし心強い」ということは誤りである fact2: もし仮になにがしかの物が太いならば心強い fact3: 仮に「その醤油は委嘱しない一方で心強い」ということは成り立つということはないならそのセレロンは言及する fact4: あらゆる物は炊き上がるししかも明るい fact5: もし仮にとあるものは炊き上がるとすると「言及する一方でレコーディングしない」ということは嘘である fact6: この二図は言及する
void -> assump1: 以下のように仮定する。その醤油は太い; fact1 & assump1 -> int1: 「その醤油は委嘱しないが心強い」ということは正しくない; int1 & fact3 -> int2: そのセレロンは言及する; [assump1] & int2 -> hypothesis;
この吸水性は心強い
fact8 -> int3: 「仮にこの吸水性が太いとしたらこの吸水性は心強い」ということは成り立つ; fact9 -> int4: もしも「その醤油は炊き上がる」ということは成り立つとしたら「それは言及するけれどレコーディングしない」ということは誤っている; fact7 -> int5: その醤油は炊き上がるしそれは明るい; int5 -> int6: その醤油は炊き上がる; int4 & int6 -> int7: 「その醤油は言及するがそれはレコーディングしない」ということは成り立たない; int7 -> int8: 「「言及するしレコーディングしない」ということは成り立たない」物はある;
$facts$ = fact1: もしもその醤油は太いとすれば「それは委嘱しないし心強い」ということは誤りである fact2: もし仮になにがしかの物が太いならば心強い fact3: 仮に「その醤油は委嘱しない一方で心強い」ということは成り立つということはないならそのセレロンは言及する fact4: あらゆる物は炊き上がるししかも明るい fact5: もし仮にとあるものは炊き上がるとすると「言及する一方でレコーディングしない」ということは嘘である fact6: この二図は言及する ; $hypothesis$ = もし仮にその醤油が太いとするとそのセレロンは言及する ; $proof$ = 
void -> assump1: 以下のように仮定する。その醤油は太い; fact1 & assump1 -> int1: 「その醤油は委嘱しないが心強い」ということは正しくない; int1 & fact3 -> int2: そのセレロンは言及する; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもその醤油は太いとすれば「それは委嘱しないし心強い」ということは誤りである
事実2: もし仮になにがしかの物が太いならば心強い
事実3: 仮に「その醤油は委嘱しない一方で心強い」ということは成り立つということはないならそのセレロンは言及する
事実4: あらゆる物は炊き上がるししかも明るい
事実5: もし仮にとあるものは炊き上がるとすると「言及する一方でレコーディングしない」ということは嘘である
事実6: この二図は言及する

仮説: もし仮にその醤油が太いとするとそのセレロンは言及する
1. 仮定1: 以下のように仮定する。その醤油は太い
2. 事実1と仮定1から、推論1: "「その醤油は委嘱しないが心強い」ということは正しくない"が導かれる
3. 推論1と事実3から、推論2: "そのセレロンは言及する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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