その各科目毎は第一次大戦だ
fact1: もし仮にその腰砕けが賛成し難いならこの安全弁は左前方である fact2: もしもこのポートフォリオ全体が晴々しいならばあの天文学論考は晴々しい fact3: もし仮にこのポートフォリオ全体が決め難いとしたらそれは晴々しい fact4: もし仮に「このポートフォリオ全体はＩＭＧタグだ」ということは成り立つとすればそれは決め難い fact5: その各科目毎はたゆたわない fact6: もしそのＣ‐ＳＰＣが違くないとすればその各科目毎は冷め難いということはない fact7: もし仮にその天文学論考が晴々しいならその腰砕けは賛成し難い fact8: その当て馬はたゆたわない fact9: 仮にこの安全弁が左前方だとしたらそのＣ‐ＳＰＣは左前方でない fact10: もし仮に「その各科目毎はたゆたわなくてそれに第一次大戦でない」ということは事実と異なるなら第一次大戦だ fact11: あの民族衣装は第一次大戦だ fact12: 「その各科目毎はたゆたわないが第一次大戦である」ということは偽だ fact13: なにがしかの物はたゆたうなら「そのＥＣＧは第一次大戦でないがしかし歓迎する」ということは成り立たない fact14: もし仮にその各科目毎が美しくないならばそれは冷め難いがしかし違いということはない fact15: 冷め難くないものはたゆたうし加えて形容し難い fact16: 仮になにがしかの物は形容し難くないなら「たゆたわないし加えてそれは第一次大戦だということはない」ということは誤りである fact17: もしもなんらかの物は左前方だということはないとすると「それは議論出来るしかつ美しくない」ということは間違っている fact18: 仮に「とあるものは議論出来るがしかし美しくない」ということは成り立たないとするとそれは違いということはない
void -> assump1: 以下のように仮定する。その各科目毎は第一次大戦である; fact5 & assump1 -> int1: その各科目毎はたゆたうということはないがそれは第一次大戦だ; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {B}{a}; fact5 & assump1 -> int1: (¬{A}{a} & {B}{a}); int1 & fact12 -> int2: #F#; [assump1] & int2 -> hypothesis;
その各科目毎は第一次大戦である
fact20 -> int3: その各科目毎は形容し難くないなら「それがたゆたわないしさらにそれは第一次大戦でない」ということは嘘だ;
$facts$ = fact1: もし仮にその腰砕けが賛成し難いならこの安全弁は左前方である fact2: もしもこのポートフォリオ全体が晴々しいならばあの天文学論考は晴々しい fact3: もし仮にこのポートフォリオ全体が決め難いとしたらそれは晴々しい fact4: もし仮に「このポートフォリオ全体はＩＭＧタグだ」ということは成り立つとすればそれは決め難い fact5: その各科目毎はたゆたわない fact6: もしそのＣ‐ＳＰＣが違くないとすればその各科目毎は冷め難いということはない fact7: もし仮にその天文学論考が晴々しいならその腰砕けは賛成し難い fact8: その当て馬はたゆたわない fact9: 仮にこの安全弁が左前方だとしたらそのＣ‐ＳＰＣは左前方でない fact10: もし仮に「その各科目毎はたゆたわなくてそれに第一次大戦でない」ということは事実と異なるなら第一次大戦だ fact11: あの民族衣装は第一次大戦だ fact12: 「その各科目毎はたゆたわないが第一次大戦である」ということは偽だ fact13: なにがしかの物はたゆたうなら「そのＥＣＧは第一次大戦でないがしかし歓迎する」ということは成り立たない fact14: もし仮にその各科目毎が美しくないならばそれは冷め難いがしかし違いということはない fact15: 冷め難くないものはたゆたうし加えて形容し難い fact16: 仮になにがしかの物は形容し難くないなら「たゆたわないし加えてそれは第一次大戦だということはない」ということは誤りである fact17: もしもなんらかの物は左前方だということはないとすると「それは議論出来るしかつ美しくない」ということは間違っている fact18: 仮に「とあるものは議論出来るがしかし美しくない」ということは成り立たないとするとそれは違いということはない ; $hypothesis$ = その各科目毎は第一次大戦だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その各科目毎は第一次大戦である; fact5 & assump1 -> int1: その各科目毎はたゆたうということはないがそれは第一次大戦だ; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその腰砕けが賛成し難いならこの安全弁は左前方である
事実2: もしもこのポートフォリオ全体が晴々しいならばあの天文学論考は晴々しい
事実3: もし仮にこのポートフォリオ全体が決め難いとしたらそれは晴々しい
事実4: もし仮に「このポートフォリオ全体はＩＭＧタグだ」ということは成り立つとすればそれは決め難い
事実5: その各科目毎はたゆたわない
事実6: もしそのＣ‐ＳＰＣが違くないとすればその各科目毎は冷め難いということはない
事実7: もし仮にその天文学論考が晴々しいならその腰砕けは賛成し難い
事実8: その当て馬はたゆたわない
事実9: 仮にこの安全弁が左前方だとしたらそのＣ‐ＳＰＣは左前方でない
事実10: もし仮に「その各科目毎はたゆたわなくてそれに第一次大戦でない」ということは事実と異なるなら第一次大戦だ
事実11: あの民族衣装は第一次大戦だ
事実12: 「その各科目毎はたゆたわないが第一次大戦である」ということは偽だ
事実13: なにがしかの物はたゆたうなら「そのＥＣＧは第一次大戦でないがしかし歓迎する」ということは成り立たない
事実14: もし仮にその各科目毎が美しくないならばそれは冷め難いがしかし違いということはない
事実15: 冷め難くないものはたゆたうし加えて形容し難い
事実16: 仮になにがしかの物は形容し難くないなら「たゆたわないし加えてそれは第一次大戦だということはない」ということは誤りである
事実17: もしもなんらかの物は左前方だということはないとすると「それは議論出来るしかつ美しくない」ということは間違っている
事実18: 仮に「とあるものは議論出来るがしかし美しくない」ということは成り立たないとするとそれは違いということはない

仮説: その各科目毎は第一次大戦だ
1. 仮定1: 以下のように仮定する。その各科目毎は第一次大戦である
2. 事実5と仮定1から、推論1: "その各科目毎はたゆたうということはないがそれは第一次大戦だ"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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