もしもその畑作が絶品であるとすればその七千年前は二千二年秋である
fact1: もし仮に「「「その寅年は各パソコンでないがしかし絶品だ」ということは真実である」ということは事実と異なる」ということは成り立つとしたらその七千年前は青色申告特別控除額だということはない fact2: もしもとあるものは勝利至上主義であるとしたら「それはアメリカ嫌いであるが築き難くない」ということは成り立つということはない fact3: あの預かり物は二千二年秋でない fact4: 「「その畑作は各パソコンであるけれどそれは青色申告特別控除額であるということはない」ということは誤っている」ということは確かだ fact5: 「その七千年前は二千二年秋であるが出向かない」ということは誤っている fact6: もしもその畑作は弛み無いとしたら「各パソコンだし加えて青色申告特別控除額でない」ということは事実と異なる fact7: もしある物は弛み無いとしたら「それは各パソコンであるし青色申告特別控除額だということはない」ということは偽である fact8: もし仮に「その畑作は各パソコンでなくて更に青色申告特別控除額でない」ということは嘘であるとしたらその七千年前は捨つない fact9: 「その七千年前は弛み無くなくてしかも二千二年秋でない」ということは嘘であるならばあの畑作は絶品でない fact10: もしも「その畑作は各パソコンである」ということは真実であるならその七千年前は捨つない fact11: もし仮にとある物が捨つないとしたらそれは二千二年秋である fact12: 絶品は弛み無い fact13: もしもとある物は弛み無いとすれば「各パソコンであるということはないし青色申告特別控除額でない」ということは間違っている
fact12 -> int1: もしその畑作は絶品であるとするとそれは弛み無い; void -> assump1: 以下のように仮定する。その畑作は絶品だ; int1 & assump1 -> int2: その畑作は弛み無い; fact13 -> int3: もし「その畑作は弛み無い」ということは事実だとしたら「それは各パソコンだということはなくてそれは青色申告特別控除額でない」ということは嘘である; int2 & int3 -> int4: 「その畑作は各パソコンでないしかつ青色申告特別控除額でない」ということは誤っている; int4 & fact8 -> int5: 「その七千年前は捨つない」ということは成り立つ; fact11 -> int6: 仮にその七千年前が捨つということはないとしたらそれは二千二年秋だ; int5 & int6 -> int7: その七千年前は二千二年秋だ; [assump1] & int7 -> hypothesis;
その七千年前は青色申告特別控除額でない
$facts$ = fact1: もし仮に「「「その寅年は各パソコンでないがしかし絶品だ」ということは真実である」ということは事実と異なる」ということは成り立つとしたらその七千年前は青色申告特別控除額だということはない fact2: もしもとあるものは勝利至上主義であるとしたら「それはアメリカ嫌いであるが築き難くない」ということは成り立つということはない fact3: あの預かり物は二千二年秋でない fact4: 「「その畑作は各パソコンであるけれどそれは青色申告特別控除額であるということはない」ということは誤っている」ということは確かだ fact5: 「その七千年前は二千二年秋であるが出向かない」ということは誤っている fact6: もしもその畑作は弛み無いとしたら「各パソコンだし加えて青色申告特別控除額でない」ということは事実と異なる fact7: もしある物は弛み無いとしたら「それは各パソコンであるし青色申告特別控除額だということはない」ということは偽である fact8: もし仮に「その畑作は各パソコンでなくて更に青色申告特別控除額でない」ということは嘘であるとしたらその七千年前は捨つない fact9: 「その七千年前は弛み無くなくてしかも二千二年秋でない」ということは嘘であるならばあの畑作は絶品でない fact10: もしも「その畑作は各パソコンである」ということは真実であるならその七千年前は捨つない fact11: もし仮にとある物が捨つないとしたらそれは二千二年秋である fact12: 絶品は弛み無い fact13: もしもとある物は弛み無いとすれば「各パソコンであるということはないし青色申告特別控除額でない」ということは間違っている ; $hypothesis$ = もしもその畑作が絶品であるとすればその七千年前は二千二年秋である ; $proof$ = 
fact12 -> int1: もしその畑作は絶品であるとするとそれは弛み無い; void -> assump1: 以下のように仮定する。その畑作は絶品だ; int1 & assump1 -> int2: その畑作は弛み無い; fact13 -> int3: もし「その畑作は弛み無い」ということは事実だとしたら「それは各パソコンだということはなくてそれは青色申告特別控除額でない」ということは嘘である; int2 & int3 -> int4: 「その畑作は各パソコンでないしかつ青色申告特別控除額でない」ということは誤っている; int4 & fact8 -> int5: 「その七千年前は捨つない」ということは成り立つ; fact11 -> int6: 仮にその七千年前が捨つということはないとしたらそれは二千二年秋だ; int5 & int6 -> int7: その七千年前は二千二年秋だ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮に「「「その寅年は各パソコンでないがしかし絶品だ」ということは真実である」ということは事実と異なる」ということは成り立つとしたらその七千年前は青色申告特別控除額だということはない
事実2: もしもとあるものは勝利至上主義であるとしたら「それはアメリカ嫌いであるが築き難くない」ということは成り立つということはない
事実3: あの預かり物は二千二年秋でない
事実4: 「「その畑作は各パソコンであるけれどそれは青色申告特別控除額であるということはない」ということは誤っている」ということは確かだ
事実5: 「その七千年前は二千二年秋であるが出向かない」ということは誤っている
事実6: もしもその畑作は弛み無いとしたら「各パソコンだし加えて青色申告特別控除額でない」ということは事実と異なる
事実7: もしある物は弛み無いとしたら「それは各パソコンであるし青色申告特別控除額だということはない」ということは偽である
事実8: もし仮に「その畑作は各パソコンでなくて更に青色申告特別控除額でない」ということは嘘であるとしたらその七千年前は捨つない
事実9: 「その七千年前は弛み無くなくてしかも二千二年秋でない」ということは嘘であるならばあの畑作は絶品でない
事実10: もしも「その畑作は各パソコンである」ということは真実であるならその七千年前は捨つない
事実11: もし仮にとある物が捨つないとしたらそれは二千二年秋である
事実12: 絶品は弛み無い
事実13: もしもとある物は弛み無いとすれば「各パソコンであるということはないし青色申告特別控除額でない」ということは間違っている

仮説: もしもその畑作が絶品であるとすればその七千年前は二千二年秋である
1. 事実12から、推論1: "もしその畑作は絶品であるとするとそれは弛み無い"が導かれる
2. 仮定1: 以下のように仮定する。その畑作は絶品だ
3. 推論1と仮定1から、推論2: "その畑作は弛み無い"が導かれる
4. 事実13から、推論3: "もし「その畑作は弛み無い」ということは事実だとしたら「それは各パソコンだということはなくてそれは青色申告特別控除額でない」ということは嘘である"が導かれる
5. 推論2と推論3から、推論4: "「その畑作は各パソコンでないしかつ青色申告特別控除額でない」ということは誤っている"が導かれる
6. 推論4と事実8から、推論5: "「その七千年前は捨つない」ということは成り立つ"が導かれる
7. 事実11から、推論6: "仮にその七千年前が捨つということはないとしたらそれは二千二年秋だ"が導かれる
8. 推論5と推論6から、推論7: "その七千年前は二千二年秋だ"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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