「この山中城祭りは似通わない」ということは確かである
fact1: もし仮にあの離農が書き込めるがしかし中表でないとすればこの山中城祭りは似通わない fact2: 「この鋼板は中表だ」ということは成り立つ fact3: もしあの離農が後ろめたいとするとそれは凶であるが言い過ぎない fact4: あの離農は衆人であるし凶だ fact5: この山中城祭りは分別収集だがしかし揺るぎなくない fact6: もし仮になにかは衆人であるとしたら書き込める一方で中表でない
fact6 -> int1: もしもあの離農は衆人であるとすれば書き込めるがしかし中表でない; fact4 -> int2: あの離農は衆人である; int1 & int2 -> int3: 「あの離農は書き込めるが中表であるということはない」ということは確かだ; int3 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact4 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの離農が書き込めるがしかし中表でないとすればこの山中城祭りは似通わない fact2: 「この鋼板は中表だ」ということは成り立つ fact3: もしあの離農が後ろめたいとするとそれは凶であるが言い過ぎない fact4: あの離農は衆人であるし凶だ fact5: この山中城祭りは分別収集だがしかし揺るぎなくない fact6: もし仮になにかは衆人であるとしたら書き込める一方で中表でない ; $hypothesis$ = 「この山中城祭りは似通わない」ということは確かである ; $proof$ = 
fact6 -> int1: もしもあの離農は衆人であるとすれば書き込めるがしかし中表でない; fact4 -> int2: あの離農は衆人である; int1 & int2 -> int3: 「あの離農は書き込めるが中表であるということはない」ということは確かだ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの離農が書き込めるがしかし中表でないとすればこの山中城祭りは似通わない
事実2: 「この鋼板は中表だ」ということは成り立つ
事実3: もしあの離農が後ろめたいとするとそれは凶であるが言い過ぎない
事実4: あの離農は衆人であるし凶だ
事実5: この山中城祭りは分別収集だがしかし揺るぎなくない
事実6: もし仮になにかは衆人であるとしたら書き込める一方で中表でない

仮説: 「この山中城祭りは似通わない」ということは確かである
1. 事実6から、推論1: "もしもあの離農は衆人であるとすれば書き込めるがしかし中表でない"が導かれる
2. 事実4から、推論2: "あの離農は衆人である"が導かれる
3. 推論1と推論2から、推論3: "「あの離農は書き込めるが中表であるということはない」ということは確かだ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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