「もし仮にあのＶＩＰルームが御若いならこの電気洗濯機は大吟醸だ」ということは誤りだ
fact1: 「あのＶＩＰルームは各派閥である」ということは正しい fact2: 「あのＶＩＰルームは其れらしい」ということは誤っていない fact3: 仮に「あのＶＩＰルームは御若い」ということは本当であるとするとこの他形は移動先である fact4: この電気洗濯機は御若い fact5: この他形が移動先だとしたらこの電気洗濯機は大吟醸だ fact6: もしもこの他形が御若いとしたらあのＶＩＰルームは移動先だ fact7: もし仮に「この電気洗濯機は移動先である」ということは事実だとすればあの他形は大吟醸だ fact8: 仮にあのＶＩＰルームが移動先だとしたらこの他形は御若い fact9: あのＶＩＰルームは大吟醸だ fact10: 仮にこの他形が大吟醸だとしたらこの電気洗濯機は移動先だ
void -> assump1: 以下のように仮定する。あのＶＩＰルームは御若い; fact3 & assump1 -> int1: この他形は移動先だ; int1 & fact5 -> int2: この電気洗濯機は大吟醸である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「あのＶＩＰルームは各派閥である」ということは正しい fact2: 「あのＶＩＰルームは其れらしい」ということは誤っていない fact3: 仮に「あのＶＩＰルームは御若い」ということは本当であるとするとこの他形は移動先である fact4: この電気洗濯機は御若い fact5: この他形が移動先だとしたらこの電気洗濯機は大吟醸だ fact6: もしもこの他形が御若いとしたらあのＶＩＰルームは移動先だ fact7: もし仮に「この電気洗濯機は移動先である」ということは事実だとすればあの他形は大吟醸だ fact8: 仮にあのＶＩＰルームが移動先だとしたらこの他形は御若い fact9: あのＶＩＰルームは大吟醸だ fact10: 仮にこの他形が大吟醸だとしたらこの電気洗濯機は移動先だ ; $hypothesis$ = 「もし仮にあのＶＩＰルームが御若いならこの電気洗濯機は大吟醸だ」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＶＩＰルームは御若い; fact3 & assump1 -> int1: この他形は移動先だ; int1 & fact5 -> int2: この電気洗濯機は大吟醸である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「あのＶＩＰルームは各派閥である」ということは正しい
事実2: 「あのＶＩＰルームは其れらしい」ということは誤っていない
事実3: 仮に「あのＶＩＰルームは御若い」ということは本当であるとするとこの他形は移動先である
事実4: この電気洗濯機は御若い
事実5: この他形が移動先だとしたらこの電気洗濯機は大吟醸だ
事実6: もしもこの他形が御若いとしたらあのＶＩＰルームは移動先だ
事実7: もし仮に「この電気洗濯機は移動先である」ということは事実だとすればあの他形は大吟醸だ
事実8: 仮にあのＶＩＰルームが移動先だとしたらこの他形は御若い
事実9: あのＶＩＰルームは大吟醸だ
事実10: 仮にこの他形が大吟醸だとしたらこの電気洗濯機は移動先だ

仮説: 「もし仮にあのＶＩＰルームが御若いならこの電気洗濯機は大吟醸だ」ということは誤りだ
1. 仮定1: 以下のように仮定する。あのＶＩＰルームは御若い
2. 事実3と仮定1から、推論1: "この他形は移動先だ"が導かれる
3. 推論1と事実5から、推論2: "この電気洗濯機は大吟醸である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。