仮にその十六世紀後半は甲高いとしたら「あの芸当はきったなくないし減少額でない」ということは成り立たない
fact1: そのＮＧＦは真っ白くないしさらに甲高くない fact2: その懶け者は寒いとすると「あの芸当はきったないがそれは巻き上がらない」ということは間違いだ fact3: もしもあの芸当が在庫調整ならその十六世紀後半は甲高くなくて加えてきったなくない fact4: 「もし仮にその懶け者はきったないとしたら「「あの芸当はきったなくないけどそれは減少額だ」ということは事実だ」ということは事実と異なる」ということは誤りであるということはない fact5: もしも「その十六世紀後半は甲高い」ということは事実であるなら「あの芸当はきったなくないけれど減少額である」ということは嘘だ fact6: もしその懶け者はきったないとすると「あの芸当はきったなくないしその上減少額でない」ということは誤っている fact7: その第三章が在庫調整なら巻き上がる fact8: もしもその十六世紀後半が在庫調整であるしさらに甲高いならばその第三章は巻き上がるということはない fact9: その十六世紀後半は在庫調整である fact10: もし仮にとある物が寒いならばそれはきったない fact11: もしその懶け者が甲高いならその十六世紀後半は甲高くないしそれは巻き上がらない fact12: 「その十六世紀後半は在庫調整でないけれど寒い」ということは成り立たないならばきったない fact13: 「もし仮にあの一地方が寄る辺無いとしたらあの一地方は寒い」ということは成り立つ fact14: 仮に「なんらかの物は寒くないけど巻き上がる」ということは成り立たないとすればそれはきったない fact15: もしもその第三章は巻き上がらないとしたら「その懶け者は寒くないけれど巻き上がる」ということは間違っている fact16: 「あの芸当はきったないけど減少額でない」ということは間違っている fact17: 「あの芸当はきったなくないけれど減少額である」ということは事実でない
void -> assump1: 以下のように仮定する。その十六世紀後半は甲高い; fact9 & assump1 -> int1: その十六世紀後半は在庫調整であるし甲高い; int1 & fact8 -> int2: その第三章は巻き上がるということはない; int2 & fact15 -> int3: 「その懶け者は寒くない一方で巻き上がる」ということは成り立たない; fact14 -> int4: もし「その懶け者は寒くないがしかし巻き上がる」ということは成り立たないなら「きったない」ということは真実である; int3 & int4 -> int5: その懶け者はきったない; int5 & fact6 -> int6: 「あの芸当はきったなくなくてそれにそれは減少額でない」ということは成り立たない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: そのＮＧＦは真っ白くないしさらに甲高くない fact2: その懶け者は寒いとすると「あの芸当はきったないがそれは巻き上がらない」ということは間違いだ fact3: もしもあの芸当が在庫調整ならその十六世紀後半は甲高くなくて加えてきったなくない fact4: 「もし仮にその懶け者はきったないとしたら「「あの芸当はきったなくないけどそれは減少額だ」ということは事実だ」ということは事実と異なる」ということは誤りであるということはない fact5: もしも「その十六世紀後半は甲高い」ということは事実であるなら「あの芸当はきったなくないけれど減少額である」ということは嘘だ fact6: もしその懶け者はきったないとすると「あの芸当はきったなくないしその上減少額でない」ということは誤っている fact7: その第三章が在庫調整なら巻き上がる fact8: もしもその十六世紀後半が在庫調整であるしさらに甲高いならばその第三章は巻き上がるということはない fact9: その十六世紀後半は在庫調整である fact10: もし仮にとある物が寒いならばそれはきったない fact11: もしその懶け者が甲高いならその十六世紀後半は甲高くないしそれは巻き上がらない fact12: 「その十六世紀後半は在庫調整でないけれど寒い」ということは成り立たないならばきったない fact13: 「もし仮にあの一地方が寄る辺無いとしたらあの一地方は寒い」ということは成り立つ fact14: 仮に「なんらかの物は寒くないけど巻き上がる」ということは成り立たないとすればそれはきったない fact15: もしもその第三章は巻き上がらないとしたら「その懶け者は寒くないけれど巻き上がる」ということは間違っている fact16: 「あの芸当はきったないけど減少額でない」ということは間違っている fact17: 「あの芸当はきったなくないけれど減少額である」ということは事実でない ; $hypothesis$ = 仮にその十六世紀後半は甲高いとしたら「あの芸当はきったなくないし減少額でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その十六世紀後半は甲高い; fact9 & assump1 -> int1: その十六世紀後半は在庫調整であるし甲高い; int1 & fact8 -> int2: その第三章は巻き上がるということはない; int2 & fact15 -> int3: 「その懶け者は寒くない一方で巻き上がる」ということは成り立たない; fact14 -> int4: もし「その懶け者は寒くないがしかし巻き上がる」ということは成り立たないなら「きったない」ということは真実である; int3 & int4 -> int5: その懶け者はきったない; int5 & fact6 -> int6: 「あの芸当はきったなくなくてそれにそれは減少額でない」ということは成り立たない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: そのＮＧＦは真っ白くないしさらに甲高くない
事実2: その懶け者は寒いとすると「あの芸当はきったないがそれは巻き上がらない」ということは間違いだ
事実3: もしもあの芸当が在庫調整ならその十六世紀後半は甲高くなくて加えてきったなくない
事実4: 「もし仮にその懶け者はきったないとしたら「「あの芸当はきったなくないけどそれは減少額だ」ということは事実だ」ということは事実と異なる」ということは誤りであるということはない
事実5: もしも「その十六世紀後半は甲高い」ということは事実であるなら「あの芸当はきったなくないけれど減少額である」ということは嘘だ
事実6: もしその懶け者はきったないとすると「あの芸当はきったなくないしその上減少額でない」ということは誤っている
事実7: その第三章が在庫調整なら巻き上がる
事実8: もしもその十六世紀後半が在庫調整であるしさらに甲高いならばその第三章は巻き上がるということはない
事実9: その十六世紀後半は在庫調整である
事実10: もし仮にとある物が寒いならばそれはきったない
事実11: もしその懶け者が甲高いならその十六世紀後半は甲高くないしそれは巻き上がらない
事実12: 「その十六世紀後半は在庫調整でないけれど寒い」ということは成り立たないならばきったない
事実13: 「もし仮にあの一地方が寄る辺無いとしたらあの一地方は寒い」ということは成り立つ
事実14: 仮に「なんらかの物は寒くないけど巻き上がる」ということは成り立たないとすればそれはきったない
事実15: もしもその第三章は巻き上がらないとしたら「その懶け者は寒くないけれど巻き上がる」ということは間違っている
事実16: 「あの芸当はきったないけど減少額でない」ということは間違っている
事実17: 「あの芸当はきったなくないけれど減少額である」ということは事実でない

仮説: 仮にその十六世紀後半は甲高いとしたら「あの芸当はきったなくないし減少額でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その十六世紀後半は甲高い
2. 事実9と仮定1から、推論1: "その十六世紀後半は在庫調整であるし甲高い"が導かれる
3. 推論1と事実8から、推論2: "その第三章は巻き上がるということはない"が導かれる
4. 推論2と事実15から、推論3: "「その懶け者は寒くない一方で巻き上がる」ということは成り立たない"が導かれる
5. 事実14から、推論4: "もし「その懶け者は寒くないがしかし巻き上がる」ということは成り立たないなら「きったない」ということは真実である"が導かれる
6. 推論3と推論4から、推論5: "その懶け者はきったない"が導かれる
7. 推論5と事実6から、推論6: "「あの芸当はきったなくなくてそれにそれは減少額でない」ということは成り立たない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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