「その毛布は物寂しくない」ということは確かでない
fact1: もし仮に「そのクローゼットは歩みでない」ということは正しいならばその毛布はアジア太平洋地域であるし加えて物寂しい fact2: もしもそのクローゼットが打てるということはないとしたらこの負担区分等は歩みで物寂しい fact3: 「そのクローゼットは勇ましい」ということは間違っていない fact4: その下命は物寂しいということはない fact5: その毛布は敵視しない fact6: この農会は打てる fact7: その毛布は勇ましかない fact8: そのクローゼットはアジア太平洋地域である fact9: この負担区分等は歩みだということはないが打てる fact10: その毛布は歩みでないがしかしそれはアジア太平洋地域だ fact11: その毛布はＸ≅Ｐワンである fact12: もし仮にこの負担区分等が歩みでその上打てればそのクローゼットは物寂しくない fact13: この負担区分等はアジア太平洋地域でない fact14: 仮にこの負担区分等が勇ましいということはないがしかし打てるならばあのクローゼットは歩みでない fact15: もしその毛布が打てるということはないとするとこの負担区分等は物寂しい fact16: この負担区分等は勇ましくらないがしかし打てる
fact14 & fact16 -> int1: そのクローゼットは歩みであるということはない; int1 & fact1 -> int2: その毛布はアジア太平洋地域だし物寂しい; int2 -> hypothesis;
fact14 & fact16 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({C}{c} & {A}{c}); int2 -> hypothesis;
$facts$ = fact1: もし仮に「そのクローゼットは歩みでない」ということは正しいならばその毛布はアジア太平洋地域であるし加えて物寂しい fact2: もしもそのクローゼットが打てるということはないとしたらこの負担区分等は歩みで物寂しい fact3: 「そのクローゼットは勇ましい」ということは間違っていない fact4: その下命は物寂しいということはない fact5: その毛布は敵視しない fact6: この農会は打てる fact7: その毛布は勇ましかない fact8: そのクローゼットはアジア太平洋地域である fact9: この負担区分等は歩みだということはないが打てる fact10: その毛布は歩みでないがしかしそれはアジア太平洋地域だ fact11: その毛布はＸ≅Ｐワンである fact12: もし仮にこの負担区分等が歩みでその上打てればそのクローゼットは物寂しくない fact13: この負担区分等はアジア太平洋地域でない fact14: 仮にこの負担区分等が勇ましいということはないがしかし打てるならばあのクローゼットは歩みでない fact15: もしその毛布が打てるということはないとするとこの負担区分等は物寂しい fact16: この負担区分等は勇ましくらないがしかし打てる ; $hypothesis$ = 「その毛布は物寂しくない」ということは確かでない ; $proof$ = 
fact14 & fact16 -> int1: そのクローゼットは歩みであるということはない; int1 & fact1 -> int2: その毛布はアジア太平洋地域だし物寂しい; int2 -> hypothesis; __PROVED__
事実1: もし仮に「そのクローゼットは歩みでない」ということは正しいならばその毛布はアジア太平洋地域であるし加えて物寂しい
事実2: もしもそのクローゼットが打てるということはないとしたらこの負担区分等は歩みで物寂しい
事実3: 「そのクローゼットは勇ましい」ということは間違っていない
事実4: その下命は物寂しいということはない
事実5: その毛布は敵視しない
事実6: この農会は打てる
事実7: その毛布は勇ましかない
事実8: そのクローゼットはアジア太平洋地域である
事実9: この負担区分等は歩みだということはないが打てる
事実10: その毛布は歩みでないがしかしそれはアジア太平洋地域だ
事実11: その毛布はＸ≅Ｐワンである
事実12: もし仮にこの負担区分等が歩みでその上打てればそのクローゼットは物寂しくない
事実13: この負担区分等はアジア太平洋地域でない
事実14: 仮にこの負担区分等が勇ましいということはないがしかし打てるならばあのクローゼットは歩みでない
事実15: もしその毛布が打てるということはないとするとこの負担区分等は物寂しい
事実16: この負担区分等は勇ましくらないがしかし打てる

仮説: 「その毛布は物寂しくない」ということは確かでない
1. 事実14と事実16から、推論1: "そのクローゼットは歩みであるということはない"が導かれる
2. 推論1と事実1から、推論2: "その毛布はアジア太平洋地域だし物寂しい"が導かれる
3. 推論2から、仮説が導かれる

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