「そのローカルレベルはし辛くない一方で信心深い」ということは成り立つ
fact1: 「そのリソースレコードはし辛くない一方でそれは選り取る」ということは間違いだ fact2: 「「そのローカルレベルはし辛くないけれどそれは信心深い」ということは事実と異なる」ということは成り立つとするとその馬小屋は選り取る fact3: 「何かは起草する」ということは確かであるとしたら「それは信心深い」ということは事実だ fact4: 「そのローカルレベルは青黒い」ということは真実だ fact5: もし仮にその馬小屋はし辛いなら「「そのローカルレベルはし辛くて信心深い」ということは事実である」ということは間違いだ fact6: 「そのローカルレベルは信心深くて日の丸地名である」ということは成り立つということはない fact7: 仮に「そのリソースレコードは選り取らないけどそれは日の丸地名だ」ということは誤りであるとするとその馬小屋はし辛い fact8: 「そのリソースレコードはし辛くて選り取る」ということは成り立たない fact9: 「そのローカルレベルはし辛いし加えて信心深い」ということは誤りだ fact10: そのローカルレベルは負債合計でない fact11: 「その馬小屋は日の丸地名である」ということは偽でないとしたらそのリソースレコードはし辛い fact12: もし仮に「そのリソースレコードはし辛い」ということは真実だとすれば「そのローカルレベルはし辛くないけれど日の丸地名である」ということは成り立たない fact13: その馬小屋はし辛いとすると「そのローカルレベルはし辛くない一方で信心深い」ということは誤っている fact14: そのリソースレコードはコンディクティオであるということはないしさらに起草するということはないなら「そのローカルレベルは起草する」ということは嘘でない fact15: 「そのリソースレコードは選り取らないけど日の丸地名である」ということは正しくない fact16: もし仮に青黒いものは負債合計でないならばし辛くない fact17: 「そのローカルレベルは信心深くてまたそれは選り取る」ということは間違いである
fact7 & fact15 -> int1: その馬小屋はし辛い; int1 & fact13 -> hypothesis;
fact7 & fact15 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
そのローカルレベルはし辛くない一方で信心深い
fact21 -> int2: 仮にそのローカルレベルは青黒い一方で負債合計でないとするとし辛くない; fact22 & fact19 -> int3: そのローカルレベルは青黒い一方で負債合計であるということはない; int2 & int3 -> int4: そのローカルレベルはし辛いということはない; fact20 -> int5: もしもそのローカルレベルが起草するとすればそれは信心深い;
$facts$ = fact1: 「そのリソースレコードはし辛くない一方でそれは選り取る」ということは間違いだ fact2: 「「そのローカルレベルはし辛くないけれどそれは信心深い」ということは事実と異なる」ということは成り立つとするとその馬小屋は選り取る fact3: 「何かは起草する」ということは確かであるとしたら「それは信心深い」ということは事実だ fact4: 「そのローカルレベルは青黒い」ということは真実だ fact5: もし仮にその馬小屋はし辛いなら「「そのローカルレベルはし辛くて信心深い」ということは事実である」ということは間違いだ fact6: 「そのローカルレベルは信心深くて日の丸地名である」ということは成り立つということはない fact7: 仮に「そのリソースレコードは選り取らないけどそれは日の丸地名だ」ということは誤りであるとするとその馬小屋はし辛い fact8: 「そのリソースレコードはし辛くて選り取る」ということは成り立たない fact9: 「そのローカルレベルはし辛いし加えて信心深い」ということは誤りだ fact10: そのローカルレベルは負債合計でない fact11: 「その馬小屋は日の丸地名である」ということは偽でないとしたらそのリソースレコードはし辛い fact12: もし仮に「そのリソースレコードはし辛い」ということは真実だとすれば「そのローカルレベルはし辛くないけれど日の丸地名である」ということは成り立たない fact13: その馬小屋はし辛いとすると「そのローカルレベルはし辛くない一方で信心深い」ということは誤っている fact14: そのリソースレコードはコンディクティオであるということはないしさらに起草するということはないなら「そのローカルレベルは起草する」ということは嘘でない fact15: 「そのリソースレコードは選り取らないけど日の丸地名である」ということは正しくない fact16: もし仮に青黒いものは負債合計でないならばし辛くない fact17: 「そのローカルレベルは信心深くてまたそれは選り取る」ということは間違いである ; $hypothesis$ = 「そのローカルレベルはし辛くない一方で信心深い」ということは成り立つ ; $proof$ = 
fact7 & fact15 -> int1: その馬小屋はし辛い; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 「そのリソースレコードはし辛くない一方でそれは選り取る」ということは間違いだ
事実2: 「「そのローカルレベルはし辛くないけれどそれは信心深い」ということは事実と異なる」ということは成り立つとするとその馬小屋は選り取る
事実3: 「何かは起草する」ということは確かであるとしたら「それは信心深い」ということは事実だ
事実4: 「そのローカルレベルは青黒い」ということは真実だ
事実5: もし仮にその馬小屋はし辛いなら「「そのローカルレベルはし辛くて信心深い」ということは事実である」ということは間違いだ
事実6: 「そのローカルレベルは信心深くて日の丸地名である」ということは成り立つということはない
事実7: 仮に「そのリソースレコードは選り取らないけどそれは日の丸地名だ」ということは誤りであるとするとその馬小屋はし辛い
事実8: 「そのリソースレコードはし辛くて選り取る」ということは成り立たない
事実9: 「そのローカルレベルはし辛いし加えて信心深い」ということは誤りだ
事実10: そのローカルレベルは負債合計でない
事実11: 「その馬小屋は日の丸地名である」ということは偽でないとしたらそのリソースレコードはし辛い
事実12: もし仮に「そのリソースレコードはし辛い」ということは真実だとすれば「そのローカルレベルはし辛くないけれど日の丸地名である」ということは成り立たない
事実13: その馬小屋はし辛いとすると「そのローカルレベルはし辛くない一方で信心深い」ということは誤っている
事実14: そのリソースレコードはコンディクティオであるということはないしさらに起草するということはないなら「そのローカルレベルは起草する」ということは嘘でない
事実15: 「そのリソースレコードは選り取らないけど日の丸地名である」ということは正しくない
事実16: もし仮に青黒いものは負債合計でないならばし辛くない
事実17: 「そのローカルレベルは信心深くてまたそれは選り取る」ということは間違いである

仮説: 「そのローカルレベルはし辛くない一方で信心深い」ということは成り立つ
1. 事実7と事実15から、推論1: "その馬小屋はし辛い"が導かれる
2. 推論1と事実13から、仮説が否定される

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