「その芸術化は柔道整復師であるかあるいは押し切らないかまたは両方だ」ということは嘘である
fact1: もしもとある物が柔道整復師であるかまたはそれは押し切らないかもしくは両方であるとするとそれは慎み深い fact2: この事業場は慎み深いか考え深くない fact3: その芸術化は理解し辛いか十二区でない fact4: 「その芸術化は暑いかもしくは押し切らないかもしくは両方ともだ」ということは事実でない fact5: もし仮になにがしかの物は鉱区であるかまたは入り口でないか両方ともだとすれば変わり易い fact6: もしその芸術化は柔道整復師であるか生活し易くないかまたは両方であるとしたらそれは上昇する fact7: もし仮になにがしかのものは競い合うかあるいはウーズレー・ホーネットでないとすれば生け捕る fact8: その芸術化は慎み深くない fact9: あの遺佚は柔道整復師でない fact10: 仮にその芸術化が分析評価しないならばそれは代表種だ fact11: あるものが押し切らないなら慎み深い fact12: この取り引きコストは惨めったらしいかもしくはそれは合宿しないかまたは両方である fact13: とある物が傾注しないならそれは万引きである
fact1 -> int1: もしも「その芸術化は柔道整復師であるか押し切るということはないかもしくはどちらもである」ということは本当であるなら慎み深い; void -> assump1: 以下のように仮定する。その芸術化は柔道整復師であるかもしくは押し切るということはないかどちらもである; int1 & assump1 -> int2: その芸術化は慎み深い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもとある物が柔道整復師であるかまたはそれは押し切らないかもしくは両方であるとするとそれは慎み深い fact2: この事業場は慎み深いか考え深くない fact3: その芸術化は理解し辛いか十二区でない fact4: 「その芸術化は暑いかもしくは押し切らないかもしくは両方ともだ」ということは事実でない fact5: もし仮になにがしかの物は鉱区であるかまたは入り口でないか両方ともだとすれば変わり易い fact6: もしその芸術化は柔道整復師であるか生活し易くないかまたは両方であるとしたらそれは上昇する fact7: もし仮になにがしかのものは競い合うかあるいはウーズレー・ホーネットでないとすれば生け捕る fact8: その芸術化は慎み深くない fact9: あの遺佚は柔道整復師でない fact10: 仮にその芸術化が分析評価しないならばそれは代表種だ fact11: あるものが押し切らないなら慎み深い fact12: この取り引きコストは惨めったらしいかもしくはそれは合宿しないかまたは両方である fact13: とある物が傾注しないならそれは万引きである ; $hypothesis$ = 「その芸術化は柔道整復師であるかあるいは押し切らないかまたは両方だ」ということは嘘である ; $proof$ = 
fact1 -> int1: もしも「その芸術化は柔道整復師であるか押し切るということはないかもしくはどちらもである」ということは本当であるなら慎み深い; void -> assump1: 以下のように仮定する。その芸術化は柔道整復師であるかもしくは押し切るということはないかどちらもである; int1 & assump1 -> int2: その芸術化は慎み深い; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもとある物が柔道整復師であるかまたはそれは押し切らないかもしくは両方であるとするとそれは慎み深い
事実2: この事業場は慎み深いか考え深くない
事実3: その芸術化は理解し辛いか十二区でない
事実4: 「その芸術化は暑いかもしくは押し切らないかもしくは両方ともだ」ということは事実でない
事実5: もし仮になにがしかの物は鉱区であるかまたは入り口でないか両方ともだとすれば変わり易い
事実6: もしその芸術化は柔道整復師であるか生活し易くないかまたは両方であるとしたらそれは上昇する
事実7: もし仮になにがしかのものは競い合うかあるいはウーズレー・ホーネットでないとすれば生け捕る
事実8: その芸術化は慎み深くない
事実9: あの遺佚は柔道整復師でない
事実10: 仮にその芸術化が分析評価しないならばそれは代表種だ
事実11: あるものが押し切らないなら慎み深い
事実12: この取り引きコストは惨めったらしいかもしくはそれは合宿しないかまたは両方である
事実13: とある物が傾注しないならそれは万引きである

仮説: 「その芸術化は柔道整復師であるかあるいは押し切らないかまたは両方だ」ということは嘘である
1. 事実1から、推論1: "もしも「その芸術化は柔道整復師であるか押し切るということはないかもしくはどちらもである」ということは本当であるなら慎み深い"が導かれる
2. 仮定1: 以下のように仮定する。その芸術化は柔道整復師であるかもしくは押し切るということはないかどちらもである
3. 推論1と仮定1から、推論2: "その芸術化は慎み深い"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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