あの心配事は甚だしということはない
fact1: もし仮にこの和布蕪は甚だししおまけに掛かり易いとするとそれは取り下げない fact2: 仮にこの国語学は分かり始めないけど順応し易いならば「掛かり易くない」ということは成り立つ fact3: 何らかのものが突っ立つということはないならこの和布蕪は分かり始めない一方で取り下げる fact4: あの色彩感覚は同情するが麗しくない fact5: もしもこの和布蕪が取り下げないならその居宅生活支援費は順応し易いがさもしくない fact6: なんらかのものは面白おかしい fact7: 「この国語学は面白おかしくないかあるいはそれはフランス人らしいかあるいは両方だ」ということは正しくない fact8: もしもその居宅生活支援費がさもしくないならあの心配事は面白おかしいがそれは甚だしない fact9: 「この国語学はさもしくないかまたは弁解がましいかもしくは両方ともだ」ということは成り立たない fact10: 「この国語学は特記仕様書でないかもしくは取り下げる」ということは成り立たない fact11: 仮に「励まさない」ものがあるとするとこの国語学は突っ立たない fact12: 何かは分かり始めない一方で取り下げるとしたら順応し易くない fact13: 「さもしい」物はある fact14: 仮に「「掛かり易くないかまたはフランス人らしい」ということは嘘な」ものがあるとするとその居宅生活支援費はさもしくない fact15: 「「さもしいかもしくは分かり始めるかまたは両方ともである」ということは成り立たない」ものはある fact16: 「突っ立つということはない」ものはある fact17: もしもこの和布蕪は順応し易くないとすれば「この国語学は掛かり易くないかまたはフランス人らしいかまたは両方である」ということは間違いだ fact18: 仮に「なにがしかのものは分かり始めるしさもしい」ということは間違いであるならばそれはさもしくない fact19: なにがしかの物は面白おかしくない
fact16 & fact3 -> int1: この和布蕪は分かり始めるということはないが取り下げる; fact12 -> int2: 仮にこの和布蕪は分かり始めないが取り下げるとしたら順応し易いということはない; int1 & int2 -> int3: この和布蕪は順応し易くない; int3 & fact17 -> int4: 「この国語学は掛かり易くないかもしくはフランス人らしいか両方だ」ということは偽である; int4 -> int5: 「「掛かり易くないかまたはフランス人らしい」ということは事実と異なる」ものはある; int5 & fact14 -> int6: その居宅生活支援費はさもしくない; int6 & fact8 -> int7: あの心配事は面白おかしい一方でそれは甚だしない; int7 -> hypothesis;
その教師同士はさもしくない
fact20 -> int8: もし「その教師同士は分かり始めるしさらにさもしい」ということは嘘であるとしたらさもしくない;
$facts$ = fact1: もし仮にこの和布蕪は甚だししおまけに掛かり易いとするとそれは取り下げない fact2: 仮にこの国語学は分かり始めないけど順応し易いならば「掛かり易くない」ということは成り立つ fact3: 何らかのものが突っ立つということはないならこの和布蕪は分かり始めない一方で取り下げる fact4: あの色彩感覚は同情するが麗しくない fact5: もしもこの和布蕪が取り下げないならその居宅生活支援費は順応し易いがさもしくない fact6: なんらかのものは面白おかしい fact7: 「この国語学は面白おかしくないかあるいはそれはフランス人らしいかあるいは両方だ」ということは正しくない fact8: もしもその居宅生活支援費がさもしくないならあの心配事は面白おかしいがそれは甚だしない fact9: 「この国語学はさもしくないかまたは弁解がましいかもしくは両方ともだ」ということは成り立たない fact10: 「この国語学は特記仕様書でないかもしくは取り下げる」ということは成り立たない fact11: 仮に「励まさない」ものがあるとするとこの国語学は突っ立たない fact12: 何かは分かり始めない一方で取り下げるとしたら順応し易くない fact13: 「さもしい」物はある fact14: 仮に「「掛かり易くないかまたはフランス人らしい」ということは嘘な」ものがあるとするとその居宅生活支援費はさもしくない fact15: 「「さもしいかもしくは分かり始めるかまたは両方ともである」ということは成り立たない」ものはある fact16: 「突っ立つということはない」ものはある fact17: もしもこの和布蕪は順応し易くないとすれば「この国語学は掛かり易くないかまたはフランス人らしいかまたは両方である」ということは間違いだ fact18: 仮に「なにがしかのものは分かり始めるしさもしい」ということは間違いであるならばそれはさもしくない fact19: なにがしかの物は面白おかしくない ; $hypothesis$ = あの心配事は甚だしということはない ; $proof$ = 
fact16 & fact3 -> int1: この和布蕪は分かり始めるということはないが取り下げる; fact12 -> int2: 仮にこの和布蕪は分かり始めないが取り下げるとしたら順応し易いということはない; int1 & int2 -> int3: この和布蕪は順応し易くない; int3 & fact17 -> int4: 「この国語学は掛かり易くないかもしくはフランス人らしいか両方だ」ということは偽である; int4 -> int5: 「「掛かり易くないかまたはフランス人らしい」ということは事実と異なる」ものはある; int5 & fact14 -> int6: その居宅生活支援費はさもしくない; int6 & fact8 -> int7: あの心配事は面白おかしい一方でそれは甚だしない; int7 -> hypothesis; __PROVED__
事実1: もし仮にこの和布蕪は甚だししおまけに掛かり易いとするとそれは取り下げない
事実2: 仮にこの国語学は分かり始めないけど順応し易いならば「掛かり易くない」ということは成り立つ
事実3: 何らかのものが突っ立つということはないならこの和布蕪は分かり始めない一方で取り下げる
事実4: あの色彩感覚は同情するが麗しくない
事実5: もしもこの和布蕪が取り下げないならその居宅生活支援費は順応し易いがさもしくない
事実6: なんらかのものは面白おかしい
事実7: 「この国語学は面白おかしくないかあるいはそれはフランス人らしいかあるいは両方だ」ということは正しくない
事実8: もしもその居宅生活支援費がさもしくないならあの心配事は面白おかしいがそれは甚だしない
事実9: 「この国語学はさもしくないかまたは弁解がましいかもしくは両方ともだ」ということは成り立たない
事実10: 「この国語学は特記仕様書でないかもしくは取り下げる」ということは成り立たない
事実11: 仮に「励まさない」ものがあるとするとこの国語学は突っ立たない
事実12: 何かは分かり始めない一方で取り下げるとしたら順応し易くない
事実13: 「さもしい」物はある
事実14: 仮に「「掛かり易くないかまたはフランス人らしい」ということは嘘な」ものがあるとするとその居宅生活支援費はさもしくない
事実15: 「「さもしいかもしくは分かり始めるかまたは両方ともである」ということは成り立たない」ものはある
事実16: 「突っ立つということはない」ものはある
事実17: もしもこの和布蕪は順応し易くないとすれば「この国語学は掛かり易くないかまたはフランス人らしいかまたは両方である」ということは間違いだ
事実18: 仮に「なにがしかのものは分かり始めるしさもしい」ということは間違いであるならばそれはさもしくない
事実19: なにがしかの物は面白おかしくない

仮説: あの心配事は甚だしということはない
1. 事実16と事実3から、推論1: "この和布蕪は分かり始めるということはないが取り下げる"が導かれる
2. 事実12から、推論2: "仮にこの和布蕪は分かり始めないが取り下げるとしたら順応し易いということはない"が導かれる
3. 推論1と推論2から、推論3: "この和布蕪は順応し易くない"が導かれる
4. 推論3と事実17から、推論4: "「この国語学は掛かり易くないかもしくはフランス人らしいか両方だ」ということは偽である"が導かれる
5. 推論4から、推論5: "「「掛かり易くないかまたはフランス人らしい」ということは事実と異なる」ものはある"が導かれる
6. 推論5と事実14から、推論6: "その居宅生活支援費はさもしくない"が導かれる
7. 推論6と事実8から、推論7: "あの心配事は面白おかしい一方でそれは甚だしない"が導かれる
8. 推論7から、仮説が導かれる

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