もしこの宋側は儚しとすると「その国民資産は企画物であるということはない」ということは真実だ
fact1: この宋側は成り易くてそれは大学内部だ fact2: この宋側は思う fact3: もし「とあるものは儚しないが懐く」ということは誤りだとしたら「「それは儚し」ということは成り立つということはない」ということは成り立たない fact4: この宋側は居残る fact5: もし「この宋側は選任するということはないししかも揺るぎないということはない」ということは偽であるなら「この推進段階は企画物でない」ということは本当でない fact6: あるものは交感するしかつ武道館だ fact7: この監査役全員は懐く fact8: なにがしかのものは物苛めである fact9: 何らかのものが懐くしまた企画物であるならこの宋側は儚しない fact10: もしもなんらかのものが企画物であるし懐けばその国民資産は儚し fact11: この宋側は懐く fact12: もしもこの宋側が儚しとするとその国民資産は企画物だ fact13: その国民資産は儚し fact14: 仮になにがしかのものは企画物なら「儚しということはないしそれは懐く」ということは間違っている fact15: 「「まあるい」ということは成り立つ」ものはある fact16: その国民資産が儚しとするとこの宋側は企画物でない fact17: あのワイシャツは懐く fact18: あのリュックサックは企画物だということはない fact19: もしなにかは懐くし儚しとしたらその国民資産は企画物でない
void -> assump1: 以下のように仮定する。「この宋側は儚し」ということは本当である; fact11 & assump1 -> int1: この宋側は懐くしそれは儚し; int1 -> int2: 「懐くしまた儚し」ものはある; int2 & fact19 -> int3: その国民資産は企画物でない; [assump1] & int3 -> hypothesis;
この推進段階は儚し
fact21 -> int4: 「この推進段階は儚しないがそれは懐く」ということは偽であるとしたらそれは儚し; fact20 -> int5: もし「この推進段階は企画物だ」ということは確かだとしたら「儚しないがしかし懐く」ということは嘘だ;
$facts$ = fact1: この宋側は成り易くてそれは大学内部だ fact2: この宋側は思う fact3: もし「とあるものは儚しないが懐く」ということは誤りだとしたら「「それは儚し」ということは成り立つということはない」ということは成り立たない fact4: この宋側は居残る fact5: もし「この宋側は選任するということはないししかも揺るぎないということはない」ということは偽であるなら「この推進段階は企画物でない」ということは本当でない fact6: あるものは交感するしかつ武道館だ fact7: この監査役全員は懐く fact8: なにがしかのものは物苛めである fact9: 何らかのものが懐くしまた企画物であるならこの宋側は儚しない fact10: もしもなんらかのものが企画物であるし懐けばその国民資産は儚し fact11: この宋側は懐く fact12: もしもこの宋側が儚しとするとその国民資産は企画物だ fact13: その国民資産は儚し fact14: 仮になにがしかのものは企画物なら「儚しということはないしそれは懐く」ということは間違っている fact15: 「「まあるい」ということは成り立つ」ものはある fact16: その国民資産が儚しとするとこの宋側は企画物でない fact17: あのワイシャツは懐く fact18: あのリュックサックは企画物だということはない fact19: もしなにかは懐くし儚しとしたらその国民資産は企画物でない ; $hypothesis$ = もしこの宋側は儚しとすると「その国民資産は企画物であるということはない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この宋側は儚し」ということは本当である; fact11 & assump1 -> int1: この宋側は懐くしそれは儚し; int1 -> int2: 「懐くしまた儚し」ものはある; int2 & fact19 -> int3: その国民資産は企画物でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この宋側は成り易くてそれは大学内部だ
事実2: この宋側は思う
事実3: もし「とあるものは儚しないが懐く」ということは誤りだとしたら「「それは儚し」ということは成り立つということはない」ということは成り立たない
事実4: この宋側は居残る
事実5: もし「この宋側は選任するということはないししかも揺るぎないということはない」ということは偽であるなら「この推進段階は企画物でない」ということは本当でない
事実6: あるものは交感するしかつ武道館だ
事実7: この監査役全員は懐く
事実8: なにがしかのものは物苛めである
事実9: 何らかのものが懐くしまた企画物であるならこの宋側は儚しない
事実10: もしもなんらかのものが企画物であるし懐けばその国民資産は儚し
事実11: この宋側は懐く
事実12: もしもこの宋側が儚しとするとその国民資産は企画物だ
事実13: その国民資産は儚し
事実14: 仮になにがしかのものは企画物なら「儚しということはないしそれは懐く」ということは間違っている
事実15: 「「まあるい」ということは成り立つ」ものはある
事実16: その国民資産が儚しとするとこの宋側は企画物でない
事実17: あのワイシャツは懐く
事実18: あのリュックサックは企画物だということはない
事実19: もしなにかは懐くし儚しとしたらその国民資産は企画物でない

仮説: もしこの宋側は儚しとすると「その国民資産は企画物であるということはない」ということは真実だ
1. 仮定1: 以下のように仮定する。「この宋側は儚し」ということは本当である
2. 事実11と仮定1から、推論1: "この宋側は懐くしそれは儚し"が導かれる
3. 推論1から、推論2: "「懐くしまた儚し」ものはある"が導かれる
4. 推論2と事実19から、推論3: "その国民資産は企画物でない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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