この気構えは古めかしい
fact1: 「あるものは古めかしいということはないがしかしそれは涼感である」ということは成り立たないならそれはすばしこい fact2: もしも「涼感でない」物はあるとしたら「このピストンエンジンは古めかしくないけれど涼感だ」ということは誤りである fact3: もし仮にとある物が現われ難いということはないならそれは我慢し為さらない fact4: その大鉈は回れ右するしおまけに済ま無い fact5: もしその肝臓障害が我慢し為さるしまた掛け難いとしたらそれは植民者でない fact6: もし仮に「何らかのものは我慢し為さらないし震盪培養するということはない」ということは嘘だとするとそれは安っぽい fact7: その用紙全体は涼感である fact8: 「その用紙全体は大阪地判平でない」ということは事実であるとすれば植民者であるし加えてそれは展開し易い fact9: もし「「あの財務活動区分は震盪培養するししかもすばしこい」ということは確かだ」ということは成り立つということはないとしたらこの気構えは古めかしくない fact10: 仮に何かはすばしこいなら「それは我慢し為さらないしその上それは震盪培養しない」ということは成り立たない fact11: 仮になにかは再生しないならばそれは握り易くない fact12: その用紙全体は掛け難くておまけにそれは済ま無い fact13: 仮にその肝臓障害が植民者でないとするとその用紙全体は我慢し為さるしさらにそれは涼感である fact14: 仮にとある物が植民者ならそれは済ま無い fact15: もし仮に「その用紙全体は我慢し為さるし震盪培養する」ということは確かでないならあの財務活動区分は涼感でない fact16: 「あの財務活動区分は涼感でない」ということは成り立つ fact17: 仮に何かは済ま無いとしたらこのピストンエンジンは掛け難くてかつ現われ難い fact18: その肝臓障害は植民者でない fact19: 仮にその用紙全体が震盪培養しないとするとあの財務活動区分は掛け難い fact20: もしも「あの財務活動区分は現われ難くてそれにそれはすばしこい」ということは真実であるとすれば古めかしいということはない fact21: もしもその用紙全体は震盪培養しないなら「あの財務活動区分は震盪培養するしすばしこい」ということは成り立つということはない fact22: もし仮に掛け難い物が震盪培養するとすれば現われ難くない fact23: もし何らかの物が我慢し為さるしさらに古めかしいとしたら震盪培養しない fact24: 「あの財務活動区分は掛け難い」ということは本当だ fact25: その用紙全体は大阪地判平でない
fact12 -> int1: その用紙全体は掛け難い; void -> assump1: 以下のように仮定する。その用紙全体は震盪培養する; int1 & assump1 -> int2: その用紙全体が掛け難いしその上震盪培養する; fact22 -> int3: 「もし仮にその用紙全体が掛け難いししかもそれが震盪培養するとしたらその用紙全体は現われ難くない」ということは間違いでない; int2 & int3 -> int4: その用紙全体は現われ難くない; fact3 -> int5: もしもその用紙全体が現われ難くないならば我慢し為さらない; int4 & int5 -> int6: その用紙全体は我慢し為さらない; fact13 & fact18 -> int7: その用紙全体は我慢し為さるししかも涼感だ; int7 -> int8: 「その用紙全体は我慢し為さる」ということは成り立つ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その用紙全体は震盪培養しない」ということは本当である; int10 & fact21 -> int11: 「あの財務活動区分は震盪培養するしすばしこい」ということは成り立たない; int11 & fact9 -> hypothesis;
このピストンエンジンは現われ難いしさらに安っぽい
fact30 -> int12: 仮にその用紙全体が植民者だとするとそれは済ま無い; fact33 & fact27 -> int13: その用紙全体が植民者だしまたそれは展開し易い; int13 -> int14: その用紙全体は植民者だ; int12 & int14 -> int15: その用紙全体は済ま無い; int15 -> int16: 「済ま無い」ものはある; int16 & fact29 -> int17: このピストンエンジンは掛け難いし現われ難い; int17 -> int18: このピストンエンジンは現われ難い; fact34 -> int19: もしも「このピストンエンジンは我慢し為さらないし更に震盪培養しない」ということは成り立たないとしたら「安っぽい」ということは間違いであるということはない; fact26 -> int20: 仮にこのピストンエンジンはすばしこいとすれば「それは我慢し為さるということはなくてそれに震盪培養しない」ということは嘘である; fact32 -> int21: もしも「このピストンエンジンは古めかしくないけれど涼感だ」ということは真実でないならばそれはすばしこい; fact28 -> int22: 「涼感だということはない」ものはある; int22 & fact31 -> int23: 「このピストンエンジンは古めかしくないけれどそれは涼感である」ということは成り立たない; int21 & int23 -> int24: このピストンエンジンはすばしこい; int20 & int24 -> int25: 「このピストンエンジンは我慢し為さらないし震盪培養するということはない」ということは誤りだ; int19 & int25 -> int26: このピストンエンジンは安っぽい; int18 & int26 -> hypothesis;
$facts$ = fact1: 「あるものは古めかしいということはないがしかしそれは涼感である」ということは成り立たないならそれはすばしこい fact2: もしも「涼感でない」物はあるとしたら「このピストンエンジンは古めかしくないけれど涼感だ」ということは誤りである fact3: もし仮にとある物が現われ難いということはないならそれは我慢し為さらない fact4: その大鉈は回れ右するしおまけに済ま無い fact5: もしその肝臓障害が我慢し為さるしまた掛け難いとしたらそれは植民者でない fact6: もし仮に「何らかのものは我慢し為さらないし震盪培養するということはない」ということは嘘だとするとそれは安っぽい fact7: その用紙全体は涼感である fact8: 「その用紙全体は大阪地判平でない」ということは事実であるとすれば植民者であるし加えてそれは展開し易い fact9: もし「「あの財務活動区分は震盪培養するししかもすばしこい」ということは確かだ」ということは成り立つということはないとしたらこの気構えは古めかしくない fact10: 仮に何かはすばしこいなら「それは我慢し為さらないしその上それは震盪培養しない」ということは成り立たない fact11: 仮になにかは再生しないならばそれは握り易くない fact12: その用紙全体は掛け難くておまけにそれは済ま無い fact13: 仮にその肝臓障害が植民者でないとするとその用紙全体は我慢し為さるしさらにそれは涼感である fact14: 仮にとある物が植民者ならそれは済ま無い fact15: もし仮に「その用紙全体は我慢し為さるし震盪培養する」ということは確かでないならあの財務活動区分は涼感でない fact16: 「あの財務活動区分は涼感でない」ということは成り立つ fact17: 仮に何かは済ま無いとしたらこのピストンエンジンは掛け難くてかつ現われ難い fact18: その肝臓障害は植民者でない fact19: 仮にその用紙全体が震盪培養しないとするとあの財務活動区分は掛け難い fact20: もしも「あの財務活動区分は現われ難くてそれにそれはすばしこい」ということは真実であるとすれば古めかしいということはない fact21: もしもその用紙全体は震盪培養しないなら「あの財務活動区分は震盪培養するしすばしこい」ということは成り立つということはない fact22: もし仮に掛け難い物が震盪培養するとすれば現われ難くない fact23: もし何らかの物が我慢し為さるしさらに古めかしいとしたら震盪培養しない fact24: 「あの財務活動区分は掛け難い」ということは本当だ fact25: その用紙全体は大阪地判平でない ; $hypothesis$ = この気構えは古めかしい ; $proof$ = 
fact12 -> int1: その用紙全体は掛け難い; void -> assump1: 以下のように仮定する。その用紙全体は震盪培養する; int1 & assump1 -> int2: その用紙全体が掛け難いしその上震盪培養する; fact22 -> int3: 「もし仮にその用紙全体が掛け難いししかもそれが震盪培養するとしたらその用紙全体は現われ難くない」ということは間違いでない; int2 & int3 -> int4: その用紙全体は現われ難くない; fact3 -> int5: もしもその用紙全体が現われ難くないならば我慢し為さらない; int4 & int5 -> int6: その用紙全体は我慢し為さらない; fact13 & fact18 -> int7: その用紙全体は我慢し為さるししかも涼感だ; int7 -> int8: 「その用紙全体は我慢し為さる」ということは成り立つ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その用紙全体は震盪培養しない」ということは本当である; int10 & fact21 -> int11: 「あの財務活動区分は震盪培養するしすばしこい」ということは成り立たない; int11 & fact9 -> hypothesis; __DISPROVED__
事実1: 「あるものは古めかしいということはないがしかしそれは涼感である」ということは成り立たないならそれはすばしこい
事実2: もしも「涼感でない」物はあるとしたら「このピストンエンジンは古めかしくないけれど涼感だ」ということは誤りである
事実3: もし仮にとある物が現われ難いということはないならそれは我慢し為さらない
事実4: その大鉈は回れ右するしおまけに済ま無い
事実5: もしその肝臓障害が我慢し為さるしまた掛け難いとしたらそれは植民者でない
事実6: もし仮に「何らかのものは我慢し為さらないし震盪培養するということはない」ということは嘘だとするとそれは安っぽい
事実7: その用紙全体は涼感である
事実8: 「その用紙全体は大阪地判平でない」ということは事実であるとすれば植民者であるし加えてそれは展開し易い
事実9: もし「「あの財務活動区分は震盪培養するししかもすばしこい」ということは確かだ」ということは成り立つということはないとしたらこの気構えは古めかしくない
事実10: 仮に何かはすばしこいなら「それは我慢し為さらないしその上それは震盪培養しない」ということは成り立たない
事実11: 仮になにかは再生しないならばそれは握り易くない
事実12: その用紙全体は掛け難くておまけにそれは済ま無い
事実13: 仮にその肝臓障害が植民者でないとするとその用紙全体は我慢し為さるしさらにそれは涼感である
事実14: 仮にとある物が植民者ならそれは済ま無い
事実15: もし仮に「その用紙全体は我慢し為さるし震盪培養する」ということは確かでないならあの財務活動区分は涼感でない
事実16: 「あの財務活動区分は涼感でない」ということは成り立つ
事実17: 仮に何かは済ま無いとしたらこのピストンエンジンは掛け難くてかつ現われ難い
事実18: その肝臓障害は植民者でない
事実19: 仮にその用紙全体が震盪培養しないとするとあの財務活動区分は掛け難い
事実20: もしも「あの財務活動区分は現われ難くてそれにそれはすばしこい」ということは真実であるとすれば古めかしいということはない
事実21: もしもその用紙全体は震盪培養しないなら「あの財務活動区分は震盪培養するしすばしこい」ということは成り立つということはない
事実22: もし仮に掛け難い物が震盪培養するとすれば現われ難くない
事実23: もし何らかの物が我慢し為さるしさらに古めかしいとしたら震盪培養しない
事実24: 「あの財務活動区分は掛け難い」ということは本当だ
事実25: その用紙全体は大阪地判平でない

仮説: この気構えは古めかしい
1. 事実12から、推論1: "その用紙全体は掛け難い"が導かれる
2. 仮定1: 以下のように仮定する。その用紙全体は震盪培養する
3. 推論1と仮定1から、推論2: "その用紙全体が掛け難いしその上震盪培養する"が導かれる
4. 事実22から、推論3: "「もし仮にその用紙全体が掛け難いししかもそれが震盪培養するとしたらその用紙全体は現われ難くない」ということは間違いでない"が導かれる
5. 推論2と推論3から、推論4: "その用紙全体は現われ難くない"が導かれる
6. 事実3から、推論5: "もしもその用紙全体が現われ難くないならば我慢し為さらない"が導かれる
7. 推論4と推論5から、推論6: "その用紙全体は我慢し為さらない"が導かれる
8. 事実13と事実18から、推論7: "その用紙全体は我慢し為さるししかも涼感だ"が導かれる
9. 推論7から、推論8: "「その用紙全体は我慢し為さる」ということは成り立つ"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「その用紙全体は震盪培養しない」ということは本当である"が導かれる
12. 推論10と事実21から、推論11: "「あの財務活動区分は震盪培養するしすばしこい」ということは成り立たない"が導かれる
13. 推論11と事実9から、仮説が否定される

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