「そのカミングは中流家庭でない」ということは正しい
fact1: 仮に「その僅差は信仰深い」ということは誤っていないとすればそのカミングは中流家庭だ fact2: 「全てはちぎれ易い」ということは誤りだということはない fact3: もしも「その僅差は中流家庭である」ということは事実だとしたらそのカミングは御固い fact4: この検分は脂っぽくないしそれは逃れ難くない fact5: すっごくないかリクエストするかどちらもであるという物はない fact6: 「その印章はフィフティーでないかまたは御固い」ということは間違っている fact7: 「それはフィフティーでないかそれは名状し難いか両方だ」ということは成り立つという物はない fact8: どれもこれもはフィフティーだ fact9: 御固い物は信仰深い fact10: 仮に「その印章はフィフティーであるかそれは名状し難いかあるいは両方である」ということは誤っているとしたらそれはボーアである fact11: もし「逃れ難くない」ものはあるとすれば「あの指定は信仰深くないしまた御固くない」ということは事実と異なる fact12: 仮にその僅差が中流家庭だ一方でボーアでないとするとこのＶＦＡは中流家庭である fact13: もしその印章がボーアだとすればその僅差は御固い fact14: 「何らかのものはフィフティーでないか名状し難いかまたは両方である」ということは偽ならばそれはボーアである
fact14 -> int1: もし「その印章はフィフティーでないかあるいは名状し難いかあるいはどちらもである」ということは嘘であるとしたらそれはボーアだ; fact7 -> int2: 「その印章はフィフティーでないかあるいは名状し難いかまたは両方である」ということは誤っている; int1 & int2 -> int3: その印章はボーアである; int3 & fact13 -> int4: その僅差は御固い; fact9 -> int5: もしもその僅差が御固いならば信仰深い; int4 & int5 -> int6: その僅差は信仰深い; int6 & fact1 -> hypothesis;
このＶＦＡは中流家庭だ
fact16 -> int7: この検分は逃れ難くない; int7 -> int8: 「逃れ難くない」ものはある; int8 & fact17 -> int9: 「あの指定は信仰深いということはなくてそれに御固くない」ということは嘘だ; int9 -> int10: 「「信仰深いということはなくて御固くない」ということは成り立たない」ものはある;
$facts$ = fact1: 仮に「その僅差は信仰深い」ということは誤っていないとすればそのカミングは中流家庭だ fact2: 「全てはちぎれ易い」ということは誤りだということはない fact3: もしも「その僅差は中流家庭である」ということは事実だとしたらそのカミングは御固い fact4: この検分は脂っぽくないしそれは逃れ難くない fact5: すっごくないかリクエストするかどちらもであるという物はない fact6: 「その印章はフィフティーでないかまたは御固い」ということは間違っている fact7: 「それはフィフティーでないかそれは名状し難いか両方だ」ということは成り立つという物はない fact8: どれもこれもはフィフティーだ fact9: 御固い物は信仰深い fact10: 仮に「その印章はフィフティーであるかそれは名状し難いかあるいは両方である」ということは誤っているとしたらそれはボーアである fact11: もし「逃れ難くない」ものはあるとすれば「あの指定は信仰深くないしまた御固くない」ということは事実と異なる fact12: 仮にその僅差が中流家庭だ一方でボーアでないとするとこのＶＦＡは中流家庭である fact13: もしその印章がボーアだとすればその僅差は御固い fact14: 「何らかのものはフィフティーでないか名状し難いかまたは両方である」ということは偽ならばそれはボーアである ; $hypothesis$ = 「そのカミングは中流家庭でない」ということは正しい ; $proof$ = 
fact14 -> int1: もし「その印章はフィフティーでないかあるいは名状し難いかあるいはどちらもである」ということは嘘であるとしたらそれはボーアだ; fact7 -> int2: 「その印章はフィフティーでないかあるいは名状し難いかまたは両方である」ということは誤っている; int1 & int2 -> int3: その印章はボーアである; int3 & fact13 -> int4: その僅差は御固い; fact9 -> int5: もしもその僅差が御固いならば信仰深い; int4 & int5 -> int6: その僅差は信仰深い; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「その僅差は信仰深い」ということは誤っていないとすればそのカミングは中流家庭だ
事実2: 「全てはちぎれ易い」ということは誤りだということはない
事実3: もしも「その僅差は中流家庭である」ということは事実だとしたらそのカミングは御固い
事実4: この検分は脂っぽくないしそれは逃れ難くない
事実5: すっごくないかリクエストするかどちらもであるという物はない
事実6: 「その印章はフィフティーでないかまたは御固い」ということは間違っている
事実7: 「それはフィフティーでないかそれは名状し難いか両方だ」ということは成り立つという物はない
事実8: どれもこれもはフィフティーだ
事実9: 御固い物は信仰深い
事実10: 仮に「その印章はフィフティーであるかそれは名状し難いかあるいは両方である」ということは誤っているとしたらそれはボーアである
事実11: もし「逃れ難くない」ものはあるとすれば「あの指定は信仰深くないしまた御固くない」ということは事実と異なる
事実12: 仮にその僅差が中流家庭だ一方でボーアでないとするとこのＶＦＡは中流家庭である
事実13: もしその印章がボーアだとすればその僅差は御固い
事実14: 「何らかのものはフィフティーでないか名状し難いかまたは両方である」ということは偽ならばそれはボーアである

仮説: 「そのカミングは中流家庭でない」ということは正しい
1. 事実14から、推論1: "もし「その印章はフィフティーでないかあるいは名状し難いかあるいはどちらもである」ということは嘘であるとしたらそれはボーアだ"が導かれる
2. 事実7から、推論2: "「その印章はフィフティーでないかあるいは名状し難いかまたは両方である」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "その印章はボーアである"が導かれる
4. 推論3と事実13から、推論4: "その僅差は御固い"が導かれる
5. 事実9から、推論5: "もしもその僅差が御固いならば信仰深い"が導かれる
6. 推論4と推論5から、推論6: "その僅差は信仰深い"が導かれる
7. 推論6と事実1から、仮説が否定される

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