この晩食は締め付けないけれどし居る
fact1: 「あの修理跡は直り難くない一方で王立委員会である」ということは嘘だ fact2: もし「あの修理跡は直り難いということはないがしかし王立委員会である」ということは誤りであるとしたら「その対中援助はオープンＲターンだ」ということは成り立つ fact3: もし仮にその町村制はし居るとすると「この晩食は締め付けるということはないけれどし居る」ということは本当だ fact4: 「あのヘリカルＣＴは見縊るということはないが退屈する」ということは成り立たない fact5: もしもあるものはオープンＲターンであるなら「締め付けないしそれにし居る」ということは誤りだ fact6: もしその対中援助がオープンＲターンであるとするとその町村制はし居る
fact2 & fact1 -> int1: その対中援助はオープンＲターンだ; int1 & fact6 -> int2: その町村制はし居る; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact3 -> hypothesis;
「この晩食は締め付けないがし居る」ということは偽である
fact7 -> int3: この晩食はオープンＲターンであるなら「それは締め付けるということはないがしかしし居る」ということは事実と異なる;
$facts$ = fact1: 「あの修理跡は直り難くない一方で王立委員会である」ということは嘘だ fact2: もし「あの修理跡は直り難いということはないがしかし王立委員会である」ということは誤りであるとしたら「その対中援助はオープンＲターンだ」ということは成り立つ fact3: もし仮にその町村制はし居るとすると「この晩食は締め付けるということはないけれどし居る」ということは本当だ fact4: 「あのヘリカルＣＴは見縊るということはないが退屈する」ということは成り立たない fact5: もしもあるものはオープンＲターンであるなら「締め付けないしそれにし居る」ということは誤りだ fact6: もしその対中援助がオープンＲターンであるとするとその町村制はし居る ; $hypothesis$ = この晩食は締め付けないけれどし居る ; $proof$ = 
fact2 & fact1 -> int1: その対中援助はオープンＲターンだ; int1 & fact6 -> int2: その町村制はし居る; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「あの修理跡は直り難くない一方で王立委員会である」ということは嘘だ
事実2: もし「あの修理跡は直り難いということはないがしかし王立委員会である」ということは誤りであるとしたら「その対中援助はオープンＲターンだ」ということは成り立つ
事実3: もし仮にその町村制はし居るとすると「この晩食は締め付けるということはないけれどし居る」ということは本当だ
事実4: 「あのヘリカルＣＴは見縊るということはないが退屈する」ということは成り立たない
事実5: もしもあるものはオープンＲターンであるなら「締め付けないしそれにし居る」ということは誤りだ
事実6: もしその対中援助がオープンＲターンであるとするとその町村制はし居る

仮説: この晩食は締め付けないけれどし居る
1. 事実2と事実1から、推論1: "その対中援助はオープンＲターンだ"が導かれる
2. 推論1と事実6から、推論2: "その町村制はし居る"が導かれる
3. 推論2と事実3から、仮説が導かれる

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