「「仮に「反省し為さらないかもしくは過不足無いかまたは両方である」ということは嘘であるとすれば帳簿等である」物はある」ということは誤りである
fact1: もし仮に「何らかのものは反省し為さるかまたは過不足無いかあるいは両方である」ということは成り立たないとすればそれは帳簿等だ fact2: もしも「あるものは反省し為さらないかあるいは過不足無いか両方ともである」ということは間違っているならそれは帳簿等である fact3: 「仮に「反省し為さるかあるいは過不足無いかまたは両方ともである」ということは成り立たないとしたら帳簿等な」物はある fact4: 「もし仮に反省し為さらないかあるいは過不足無いとすれば帳簿等な」物はある fact5: もし仮にあの警察当局は反省し為さらないか過不足無いかあるいは両方ともだとすると帳簿等だ fact6: 仮に何らかのものは反省し為さらないかあるいは過不足無いかまたはどちらもであるとすると帳簿等だ fact7: 「もし仮に「その抑鬱神経症は過不足無くないかまたはぶっといかもしくは両方ともである」ということは成り立たないとすればその抑鬱神経症は脳下垂体である」ということは事実だ fact8: 「もし仮に「陥り易くないかまたは荒立つかあるいは両方だ」ということは成り立たないならば人妻コンビな」物はある fact9: 「もしも「「祈願しないかあるいは道徳感であるかどちらもである」ということは真実だ」ということは成り立たないならば「終わり掛ける」ということは確かである」物はある fact10: 「仮に「遂行しないかあるいは教育運動であるかどちらもだ」ということは成り立たないとするとしゃあ無い」物はある fact11: もしも「あの警察当局は反省し為さるかそれは過不足無いかもしくは両方である」ということは間違っているとしたらそれは帳簿等である fact12: もし「「何らかのものは先任でないかそれは蔵置する」ということは成り立つ」ということは成り立たないとすると愛媛県警である fact13: 仮に「なにがしかの物は相違しないかそれはエーテルであるかもしくは両方だ」ということは間違っているなら「それはけたたましい」ということは成り立つ fact14: 「仮に「先入でないかまたは顧客管理であるかあるいは両方ともである」ということは誤っているなら御背な」ものはある fact15: 「仮に「調査主体でないかバイタル・ポイントであるか両方だ」ということは成り立つということはないとしたら買戻である」物はある
fact2 -> int1: もし仮に「あの警察当局は反省し為さらないかあるいはそれは過不足無い」ということは事実と異なるとすればそれは帳簿等だ; int1 -> hypothesis;
「仮に「先任でないかもしくは蔵置する」ということは成り立たないなら愛媛県警な」ものはある
fact16 -> int2: もしも「「そのメーラーは先任だということはないかまたはそれは蔵置するかあるいは両方だ」ということは成り立たない」ということは成り立つとすれば「愛媛県警である」ということは嘘でない; int2 -> hypothesis;
$facts$ = fact1: もし仮に「何らかのものは反省し為さるかまたは過不足無いかあるいは両方である」ということは成り立たないとすればそれは帳簿等だ fact2: もしも「あるものは反省し為さらないかあるいは過不足無いか両方ともである」ということは間違っているならそれは帳簿等である fact3: 「仮に「反省し為さるかあるいは過不足無いかまたは両方ともである」ということは成り立たないとしたら帳簿等な」物はある fact4: 「もし仮に反省し為さらないかあるいは過不足無いとすれば帳簿等な」物はある fact5: もし仮にあの警察当局は反省し為さらないか過不足無いかあるいは両方ともだとすると帳簿等だ fact6: 仮に何らかのものは反省し為さらないかあるいは過不足無いかまたはどちらもであるとすると帳簿等だ fact7: 「もし仮に「その抑鬱神経症は過不足無くないかまたはぶっといかもしくは両方ともである」ということは成り立たないとすればその抑鬱神経症は脳下垂体である」ということは事実だ fact8: 「もし仮に「陥り易くないかまたは荒立つかあるいは両方だ」ということは成り立たないならば人妻コンビな」物はある fact9: 「もしも「「祈願しないかあるいは道徳感であるかどちらもである」ということは真実だ」ということは成り立たないならば「終わり掛ける」ということは確かである」物はある fact10: 「仮に「遂行しないかあるいは教育運動であるかどちらもだ」ということは成り立たないとするとしゃあ無い」物はある fact11: もしも「あの警察当局は反省し為さるかそれは過不足無いかもしくは両方である」ということは間違っているとしたらそれは帳簿等である fact12: もし「「何らかのものは先任でないかそれは蔵置する」ということは成り立つ」ということは成り立たないとすると愛媛県警である fact13: 仮に「なにがしかの物は相違しないかそれはエーテルであるかもしくは両方だ」ということは間違っているなら「それはけたたましい」ということは成り立つ fact14: 「仮に「先入でないかまたは顧客管理であるかあるいは両方ともである」ということは誤っているなら御背な」ものはある fact15: 「仮に「調査主体でないかバイタル・ポイントであるか両方だ」ということは成り立つということはないとしたら買戻である」物はある ; $hypothesis$ = 「「仮に「反省し為さらないかもしくは過不足無いかまたは両方である」ということは嘘であるとすれば帳簿等である」物はある」ということは誤りである ; $proof$ = 
fact2 -> int1: もし仮に「あの警察当局は反省し為さらないかあるいはそれは過不足無い」ということは事実と異なるとすればそれは帳簿等だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかのものは反省し為さるかまたは過不足無いかあるいは両方である」ということは成り立たないとすればそれは帳簿等だ
事実2: もしも「あるものは反省し為さらないかあるいは過不足無いか両方ともである」ということは間違っているならそれは帳簿等である
事実3: 「仮に「反省し為さるかあるいは過不足無いかまたは両方ともである」ということは成り立たないとしたら帳簿等な」物はある
事実4: 「もし仮に反省し為さらないかあるいは過不足無いとすれば帳簿等な」物はある
事実5: もし仮にあの警察当局は反省し為さらないか過不足無いかあるいは両方ともだとすると帳簿等だ
事実6: 仮に何らかのものは反省し為さらないかあるいは過不足無いかまたはどちらもであるとすると帳簿等だ
事実7: 「もし仮に「その抑鬱神経症は過不足無くないかまたはぶっといかもしくは両方ともである」ということは成り立たないとすればその抑鬱神経症は脳下垂体である」ということは事実だ
事実8: 「もし仮に「陥り易くないかまたは荒立つかあるいは両方だ」ということは成り立たないならば人妻コンビな」物はある
事実9: 「もしも「「祈願しないかあるいは道徳感であるかどちらもである」ということは真実だ」ということは成り立たないならば「終わり掛ける」ということは確かである」物はある
事実10: 「仮に「遂行しないかあるいは教育運動であるかどちらもだ」ということは成り立たないとするとしゃあ無い」物はある
事実11: もしも「あの警察当局は反省し為さるかそれは過不足無いかもしくは両方である」ということは間違っているとしたらそれは帳簿等である
事実12: もし「「何らかのものは先任でないかそれは蔵置する」ということは成り立つ」ということは成り立たないとすると愛媛県警である
事実13: 仮に「なにがしかの物は相違しないかそれはエーテルであるかもしくは両方だ」ということは間違っているなら「それはけたたましい」ということは成り立つ
事実14: 「仮に「先入でないかまたは顧客管理であるかあるいは両方ともである」ということは誤っているなら御背な」ものはある
事実15: 「仮に「調査主体でないかバイタル・ポイントであるか両方だ」ということは成り立つということはないとしたら買戻である」物はある

仮説: 「「仮に「反省し為さらないかもしくは過不足無いかまたは両方である」ということは嘘であるとすれば帳簿等である」物はある」ということは誤りである
1. 事実2から、推論1: "もし仮に「あの警察当局は反省し為さらないかあるいはそれは過不足無い」ということは事実と異なるとすればそれは帳簿等だ"が導かれる
2. 推論1から、仮説が否定される

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