「その芝居はランデブーでなくてそれに登録会計事務所でない」ということは事実と異なる
fact1: もし仮にそのバーチャルリアリティが新潟県中越地震だけどそれが竜王祭でないとしたらこの三本上は癌治療でない fact2: そのバーチャルリアリティは癌治療だ fact3: 「竜王祭は切り難い」ということは正しい fact4: 「その芝居は癌治療だがそれはランデブーだということはない」ということは偽である fact5: この三本上は癌治療でない fact6: そのバーチャルリアリティは新潟県中越地震だ fact7: もしもこの再生ファイルが仕舞い易くないけれど切り難いとしたらこの光波はランデブーでない fact8: 「なにがしかのものは新潟県中越地震である」ということは嘘でない fact9: もしも「そのバーチャルリアリティは切り難いかまたはそれは竜王祭であるということはない」ということは真実であるならあの宿主側は竜王祭でない fact10: もしもこの三本上が仕舞い易くないならばそのバーチャルリアリティは切り難いかもしくは竜王祭でない fact11: この三本上が切り難いならこの再生ファイルは仕舞い易くないしその上切り難くない fact12: もしもこの再生ファイルが仕舞い易くなくてまた切り難くないとしたらこの光波はランデブーでない fact13: 「その芝居はランデブーでないが登録会計事務所である」ということは偽である fact14: もし仮に「そのバーチャルリアリティは新潟県中越地震でないかもしくはそれはランデブーでないかもしくはどちらもだ」ということは誤りであるとするとその芝居はランデブーでない fact15: この光波はランデブーでないとしたら「その芝居はランデブーでなくてその上登録会計事務所でない」ということは成り立たない fact16: もし仮に何らかの物が癌治療であるししかも新潟県中越地震であるならこの三本上は竜王祭である fact17: もし仮にこの三本上が登録会計事務所であるとするとそれは仕舞い易くなくてその上それはランデブーである
fact2 & fact6 -> int1: そのバーチャルリアリティは癌治療であるしかつ新潟県中越地震だ; int1 -> int2: 「癌治療でまた新潟県中越地震な」物はある; int2 & fact16 -> int3: この三本上は竜王祭だ; fact3 -> int4: もしこの三本上が竜王祭だとすれば切り難い; int3 & int4 -> int5: この三本上は切り難い; int5 & fact11 -> int6: この再生ファイルは仕舞い易いということはないしそれは切り難いということはない; int6 & fact12 -> int7: この光波はランデブーでない; int7 & fact15 -> hypothesis;
その芝居はランデブーでなくてそれに登録会計事務所でない
$facts$ = fact1: もし仮にそのバーチャルリアリティが新潟県中越地震だけどそれが竜王祭でないとしたらこの三本上は癌治療でない fact2: そのバーチャルリアリティは癌治療だ fact3: 「竜王祭は切り難い」ということは正しい fact4: 「その芝居は癌治療だがそれはランデブーだということはない」ということは偽である fact5: この三本上は癌治療でない fact6: そのバーチャルリアリティは新潟県中越地震だ fact7: もしもこの再生ファイルが仕舞い易くないけれど切り難いとしたらこの光波はランデブーでない fact8: 「なにがしかのものは新潟県中越地震である」ということは嘘でない fact9: もしも「そのバーチャルリアリティは切り難いかまたはそれは竜王祭であるということはない」ということは真実であるならあの宿主側は竜王祭でない fact10: もしもこの三本上が仕舞い易くないならばそのバーチャルリアリティは切り難いかもしくは竜王祭でない fact11: この三本上が切り難いならこの再生ファイルは仕舞い易くないしその上切り難くない fact12: もしもこの再生ファイルが仕舞い易くなくてまた切り難くないとしたらこの光波はランデブーでない fact13: 「その芝居はランデブーでないが登録会計事務所である」ということは偽である fact14: もし仮に「そのバーチャルリアリティは新潟県中越地震でないかもしくはそれはランデブーでないかもしくはどちらもだ」ということは誤りであるとするとその芝居はランデブーでない fact15: この光波はランデブーでないとしたら「その芝居はランデブーでなくてその上登録会計事務所でない」ということは成り立たない fact16: もし仮に何らかの物が癌治療であるししかも新潟県中越地震であるならこの三本上は竜王祭である fact17: もし仮にこの三本上が登録会計事務所であるとするとそれは仕舞い易くなくてその上それはランデブーである ; $hypothesis$ = 「その芝居はランデブーでなくてそれに登録会計事務所でない」ということは事実と異なる ; $proof$ = 
fact2 & fact6 -> int1: そのバーチャルリアリティは癌治療であるしかつ新潟県中越地震だ; int1 -> int2: 「癌治療でまた新潟県中越地震な」物はある; int2 & fact16 -> int3: この三本上は竜王祭だ; fact3 -> int4: もしこの三本上が竜王祭だとすれば切り難い; int3 & int4 -> int5: この三本上は切り難い; int5 & fact11 -> int6: この再生ファイルは仕舞い易いということはないしそれは切り難いということはない; int6 & fact12 -> int7: この光波はランデブーでない; int7 & fact15 -> hypothesis; __PROVED__
事実1: もし仮にそのバーチャルリアリティが新潟県中越地震だけどそれが竜王祭でないとしたらこの三本上は癌治療でない
事実2: そのバーチャルリアリティは癌治療だ
事実3: 「竜王祭は切り難い」ということは正しい
事実4: 「その芝居は癌治療だがそれはランデブーだということはない」ということは偽である
事実5: この三本上は癌治療でない
事実6: そのバーチャルリアリティは新潟県中越地震だ
事実7: もしもこの再生ファイルが仕舞い易くないけれど切り難いとしたらこの光波はランデブーでない
事実8: 「なにがしかのものは新潟県中越地震である」ということは嘘でない
事実9: もしも「そのバーチャルリアリティは切り難いかまたはそれは竜王祭であるということはない」ということは真実であるならあの宿主側は竜王祭でない
事実10: もしもこの三本上が仕舞い易くないならばそのバーチャルリアリティは切り難いかもしくは竜王祭でない
事実11: この三本上が切り難いならこの再生ファイルは仕舞い易くないしその上切り難くない
事実12: もしもこの再生ファイルが仕舞い易くなくてまた切り難くないとしたらこの光波はランデブーでない
事実13: 「その芝居はランデブーでないが登録会計事務所である」ということは偽である
事実14: もし仮に「そのバーチャルリアリティは新潟県中越地震でないかもしくはそれはランデブーでないかもしくはどちらもだ」ということは誤りであるとするとその芝居はランデブーでない
事実15: この光波はランデブーでないとしたら「その芝居はランデブーでなくてその上登録会計事務所でない」ということは成り立たない
事実16: もし仮に何らかの物が癌治療であるししかも新潟県中越地震であるならこの三本上は竜王祭である
事実17: もし仮にこの三本上が登録会計事務所であるとするとそれは仕舞い易くなくてその上それはランデブーである

仮説: 「その芝居はランデブーでなくてそれに登録会計事務所でない」ということは事実と異なる
1. 事実2と事実6から、推論1: "そのバーチャルリアリティは癌治療であるしかつ新潟県中越地震だ"が導かれる
2. 推論1から、推論2: "「癌治療でまた新潟県中越地震な」物はある"が導かれる
3. 推論2と事実16から、推論3: "この三本上は竜王祭だ"が導かれる
4. 事実3から、推論4: "もしこの三本上が竜王祭だとすれば切り難い"が導かれる
5. 推論3と推論4から、推論5: "この三本上は切り難い"が導かれる
6. 推論5と事実11から、推論6: "この再生ファイルは仕舞い易いということはないしそれは切り難いということはない"が導かれる
7. 推論6と事実12から、推論7: "この光波はランデブーでない"が導かれる
8. 推論7と事実15から、仮説が導かれる

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