もしあの日本館が空けるということはないとすればこの処理法は住宅用家屋でない
fact1: この処理法は黄色くない fact2: 「仮にその照明灯が光メモリならその照明灯は空けない」ということは正しい fact3: もしあの日本館が住宅用家屋であるし加えて服属すればこの処理法はＣＴ研究会でない fact4: もしもこの処理法が黄色くないならあの日本館はＣＴ研究会である fact5: もしこの処理法が空けないとしたらあの日本館は住宅用家屋だ fact6: もしもある物が空けるということはないならばそれは黄色くない fact7: あの日本館が服属しないがＣＴ研究会であるなら「この処理法は住宅用家屋だ」ということは成り立つ fact8: もし仮にあの日本館が服属するということはないけれどそれがＣＴ研究会だとしたらこの処理法は住宅用家屋でない fact9: 黄色くない物は服属しないけどＣＴ研究会である
fact6 -> int1: 仮にあの日本館が空けないとするとそれは黄色くない; void -> assump1: 以下のように仮定する。あの日本館は空けない; int1 & assump1 -> int2: あの日本館は黄色いということはない; fact9 -> int3: もしもあの日本館は黄色くないとすれば「それは服属しない一方でＣＴ研究会である」ということは正しい; int2 & int3 -> int4: あの日本館は服属しないがしかしＣＴ研究会だ; int4 & fact8 -> int5: この処理法は住宅用家屋でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この処理法は黄色くない fact2: 「仮にその照明灯が光メモリならその照明灯は空けない」ということは正しい fact3: もしあの日本館が住宅用家屋であるし加えて服属すればこの処理法はＣＴ研究会でない fact4: もしもこの処理法が黄色くないならあの日本館はＣＴ研究会である fact5: もしこの処理法が空けないとしたらあの日本館は住宅用家屋だ fact6: もしもある物が空けるということはないならばそれは黄色くない fact7: あの日本館が服属しないがＣＴ研究会であるなら「この処理法は住宅用家屋だ」ということは成り立つ fact8: もし仮にあの日本館が服属するということはないけれどそれがＣＴ研究会だとしたらこの処理法は住宅用家屋でない fact9: 黄色くない物は服属しないけどＣＴ研究会である ; $hypothesis$ = もしあの日本館が空けるということはないとすればこの処理法は住宅用家屋でない ; $proof$ = 
fact6 -> int1: 仮にあの日本館が空けないとするとそれは黄色くない; void -> assump1: 以下のように仮定する。あの日本館は空けない; int1 & assump1 -> int2: あの日本館は黄色いということはない; fact9 -> int3: もしもあの日本館は黄色くないとすれば「それは服属しない一方でＣＴ研究会である」ということは正しい; int2 & int3 -> int4: あの日本館は服属しないがしかしＣＴ研究会だ; int4 & fact8 -> int5: この処理法は住宅用家屋でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この処理法は黄色くない
事実2: 「仮にその照明灯が光メモリならその照明灯は空けない」ということは正しい
事実3: もしあの日本館が住宅用家屋であるし加えて服属すればこの処理法はＣＴ研究会でない
事実4: もしもこの処理法が黄色くないならあの日本館はＣＴ研究会である
事実5: もしこの処理法が空けないとしたらあの日本館は住宅用家屋だ
事実6: もしもある物が空けるということはないならばそれは黄色くない
事実7: あの日本館が服属しないがＣＴ研究会であるなら「この処理法は住宅用家屋だ」ということは成り立つ
事実8: もし仮にあの日本館が服属するということはないけれどそれがＣＴ研究会だとしたらこの処理法は住宅用家屋でない
事実9: 黄色くない物は服属しないけどＣＴ研究会である

仮説: もしあの日本館が空けるということはないとすればこの処理法は住宅用家屋でない
1. 事実6から、推論1: "仮にあの日本館が空けないとするとそれは黄色くない"が導かれる
2. 仮定1: 以下のように仮定する。あの日本館は空けない
3. 推論1と仮定1から、推論2: "あの日本館は黄色いということはない"が導かれる
4. 事実9から、推論3: "もしもあの日本館は黄色くないとすれば「それは服属しない一方でＣＴ研究会である」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "あの日本館は服属しないがしかしＣＴ研究会だ"が導かれる
6. 推論4と事実8から、推論5: "この処理法は住宅用家屋でない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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