この楽隠居は第二集でない
fact1: 仮にこのＶＲ空間は乱れるなら「それは久し振りだ」ということは成り立つ fact2: このＶＲ空間は乱れる fact3: もし「何らかの物は乱れるがそれは第二集でない」ということは偽であるとすると「それは第二集である」ということは成り立つ fact4: この札幌市時計台は乱れる fact5: もし仮にこのＶＲ空間が第二集ならばこの楽隠居は第二集だ fact6: もしあの大競争が栄養素トランスポーターであるけど起こり易くないならあの制裁はサルファ剤でない fact7: もしこのＶＲ空間が久し振りであるならこの楽隠居は第二集でない fact8: もしも何かは久し振りでないとしたら「それは乱れるけど第二集でない」ということは成り立たない fact9: もし仮になんらかのものがサルファ剤でないとすれば執り行なわないしそれは監視である
fact1 & fact2 -> int1: このＶＲ空間は久し振りだ; int1 & fact7 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact7 -> hypothesis;
この楽隠居は第二集である
fact10 -> int2: もし「このＶＲ空間は乱れるが第二集でない」ということは事実と異なるとすると第二集である; fact14 -> int3: もしもこのＶＲ空間は久し振りでないとすれば「それは乱れるけど第二集だということはない」ということは嘘だ; fact11 -> int4: 仮にあの制裁がサルファ剤でないとしたらそれは執り行なわなくてかつそれは監視である;
$facts$ = fact1: 仮にこのＶＲ空間は乱れるなら「それは久し振りだ」ということは成り立つ fact2: このＶＲ空間は乱れる fact3: もし「何らかの物は乱れるがそれは第二集でない」ということは偽であるとすると「それは第二集である」ということは成り立つ fact4: この札幌市時計台は乱れる fact5: もし仮にこのＶＲ空間が第二集ならばこの楽隠居は第二集だ fact6: もしあの大競争が栄養素トランスポーターであるけど起こり易くないならあの制裁はサルファ剤でない fact7: もしこのＶＲ空間が久し振りであるならこの楽隠居は第二集でない fact8: もしも何かは久し振りでないとしたら「それは乱れるけど第二集でない」ということは成り立たない fact9: もし仮になんらかのものがサルファ剤でないとすれば執り行なわないしそれは監視である ; $hypothesis$ = この楽隠居は第二集でない ; $proof$ = 
fact1 & fact2 -> int1: このＶＲ空間は久し振りだ; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこのＶＲ空間は乱れるなら「それは久し振りだ」ということは成り立つ
事実2: このＶＲ空間は乱れる
事実3: もし「何らかの物は乱れるがそれは第二集でない」ということは偽であるとすると「それは第二集である」ということは成り立つ
事実4: この札幌市時計台は乱れる
事実5: もし仮にこのＶＲ空間が第二集ならばこの楽隠居は第二集だ
事実6: もしあの大競争が栄養素トランスポーターであるけど起こり易くないならあの制裁はサルファ剤でない
事実7: もしこのＶＲ空間が久し振りであるならこの楽隠居は第二集でない
事実8: もしも何かは久し振りでないとしたら「それは乱れるけど第二集でない」ということは成り立たない
事実9: もし仮になんらかのものがサルファ剤でないとすれば執り行なわないしそれは監視である

仮説: この楽隠居は第二集でない
1. 事実1と事実2から、推論1: "このＶＲ空間は久し振りだ"が導かれる
2. 推論1と事実7から、仮説が導かれる

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