その抑制政策は封じ込める
fact1: 仮に「「成り難くないかあるいは成人並みだ」ということは嘘な」ものがあるとしたらその抑制政策は封じ込める fact2: 「「該当箇所であるかまたは羨ましいかまたは両方ともだ」ということは本当でない」ものはある fact3: その抑制政策は一項後段である fact4: もし仮にその顔負けが成り難い一方でそれは成人並みだということはないとすると「その抑制政策は計算規定だということはない」ということは嘘でない fact5: もしも「あの熊野懐紙は成り難い」ということは事実なら「あの一階地上は成り難くないか成人並みであるかあるいは両方である」ということは成り立つということはない fact6: べた付き易いものはある fact7: もし仮に計算規定が岩相だとしたらあの熊野懐紙は成り難い fact8: 「都市近郊産地であるということはない」物はある fact9: 仮に「その顔負けは来易い」ということは事実と異なるなら成り難いが成人並みでない fact10: 「その顔負けは成り難くないがしかしべた付き易い」ということは成り立たない fact11: 「あの一階地上はべた付き易い」ということは真実である fact12: 「封じ込めるしさらに成り難い」物があるとするとその顔負けは一項後段だ fact13: 「一項後段な」ものはある fact14: ある物は理解し易くてそれは来易い fact15: 「理解し易いしまた来易い」ものはあるなら「その顔負けは岩相である」ということは成り立つ fact16: もし「その顔負けは一項後段でない一方でそれはべた付き易い」ということは嘘であるとすると計算規定だ fact17: 「あの一階地上はべた付き易くないけど成り難い」ということは間違っている fact18: 「その顔負けは一項後段でないけどべた付き易い」ということは成り立たない fact19: なにかは揉み立てる fact20: 「君らしい」ものはある fact21: 「あの一階地上は栽培期間でないかあるいは空しいかもしくは両方ともだ」ということは成り立つということはない
fact16 & fact18 -> int1: その顔負けは計算規定だ; fact15 & fact14 -> int2: その顔負けは岩相だ; int1 & int2 -> int3: その顔負けは計算規定でしかも岩相だ; int3 -> int4: 「計算規定でおまけに岩相である」ものはある; int4 & fact7 -> int5: 「あの熊野懐紙は成り難い」ということは本当である; int5 & fact5 -> int6: 「「あの一階地上は成り難いということはないか成人並みであるかどちらもである」ということは誤っている」ということは正しい; int6 -> int7: 「「成り難くないかもしくは成人並みであるかまたはどちらもである」ということは間違っている」物はある; int7 & fact1 -> hypothesis;
その抑制政策は封じ込めるということはない
$facts$ = fact1: 仮に「「成り難くないかあるいは成人並みだ」ということは嘘な」ものがあるとしたらその抑制政策は封じ込める fact2: 「「該当箇所であるかまたは羨ましいかまたは両方ともだ」ということは本当でない」ものはある fact3: その抑制政策は一項後段である fact4: もし仮にその顔負けが成り難い一方でそれは成人並みだということはないとすると「その抑制政策は計算規定だということはない」ということは嘘でない fact5: もしも「あの熊野懐紙は成り難い」ということは事実なら「あの一階地上は成り難くないか成人並みであるかあるいは両方である」ということは成り立つということはない fact6: べた付き易いものはある fact7: もし仮に計算規定が岩相だとしたらあの熊野懐紙は成り難い fact8: 「都市近郊産地であるということはない」物はある fact9: 仮に「その顔負けは来易い」ということは事実と異なるなら成り難いが成人並みでない fact10: 「その顔負けは成り難くないがしかしべた付き易い」ということは成り立たない fact11: 「あの一階地上はべた付き易い」ということは真実である fact12: 「封じ込めるしさらに成り難い」物があるとするとその顔負けは一項後段だ fact13: 「一項後段な」ものはある fact14: ある物は理解し易くてそれは来易い fact15: 「理解し易いしまた来易い」ものはあるなら「その顔負けは岩相である」ということは成り立つ fact16: もし「その顔負けは一項後段でない一方でそれはべた付き易い」ということは嘘であるとすると計算規定だ fact17: 「あの一階地上はべた付き易くないけど成り難い」ということは間違っている fact18: 「その顔負けは一項後段でないけどべた付き易い」ということは成り立たない fact19: なにかは揉み立てる fact20: 「君らしい」ものはある fact21: 「あの一階地上は栽培期間でないかあるいは空しいかもしくは両方ともだ」ということは成り立つということはない ; $hypothesis$ = その抑制政策は封じ込める ; $proof$ = 
fact16 & fact18 -> int1: その顔負けは計算規定だ; fact15 & fact14 -> int2: その顔負けは岩相だ; int1 & int2 -> int3: その顔負けは計算規定でしかも岩相だ; int3 -> int4: 「計算規定でおまけに岩相である」ものはある; int4 & fact7 -> int5: 「あの熊野懐紙は成り難い」ということは本当である; int5 & fact5 -> int6: 「「あの一階地上は成り難いということはないか成人並みであるかどちらもである」ということは誤っている」ということは正しい; int6 -> int7: 「「成り難くないかもしくは成人並みであるかまたはどちらもである」ということは間違っている」物はある; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「「成り難くないかあるいは成人並みだ」ということは嘘な」ものがあるとしたらその抑制政策は封じ込める
事実2: 「「該当箇所であるかまたは羨ましいかまたは両方ともだ」ということは本当でない」ものはある
事実3: その抑制政策は一項後段である
事実4: もし仮にその顔負けが成り難い一方でそれは成人並みだということはないとすると「その抑制政策は計算規定だということはない」ということは嘘でない
事実5: もしも「あの熊野懐紙は成り難い」ということは事実なら「あの一階地上は成り難くないか成人並みであるかあるいは両方である」ということは成り立つということはない
事実6: べた付き易いものはある
事実7: もし仮に計算規定が岩相だとしたらあの熊野懐紙は成り難い
事実8: 「都市近郊産地であるということはない」物はある
事実9: 仮に「その顔負けは来易い」ということは事実と異なるなら成り難いが成人並みでない
事実10: 「その顔負けは成り難くないがしかしべた付き易い」ということは成り立たない
事実11: 「あの一階地上はべた付き易い」ということは真実である
事実12: 「封じ込めるしさらに成り難い」物があるとするとその顔負けは一項後段だ
事実13: 「一項後段な」ものはある
事実14: ある物は理解し易くてそれは来易い
事実15: 「理解し易いしまた来易い」ものはあるなら「その顔負けは岩相である」ということは成り立つ
事実16: もし「その顔負けは一項後段でない一方でそれはべた付き易い」ということは嘘であるとすると計算規定だ
事実17: 「あの一階地上はべた付き易くないけど成り難い」ということは間違っている
事実18: 「その顔負けは一項後段でないけどべた付き易い」ということは成り立たない
事実19: なにかは揉み立てる
事実20: 「君らしい」ものはある
事実21: 「あの一階地上は栽培期間でないかあるいは空しいかもしくは両方ともだ」ということは成り立つということはない

仮説: その抑制政策は封じ込める
1. 事実16と事実18から、推論1: "その顔負けは計算規定だ"が導かれる
2. 事実15と事実14から、推論2: "その顔負けは岩相だ"が導かれる
3. 推論1と推論2から、推論3: "その顔負けは計算規定でしかも岩相だ"が導かれる
4. 推論3から、推論4: "「計算規定でおまけに岩相である」ものはある"が導かれる
5. 推論4と事実7から、推論5: "「あの熊野懐紙は成り難い」ということは本当である"が導かれる
6. 推論5と事実5から、推論6: "「「あの一階地上は成り難いということはないか成人並みであるかどちらもである」ということは誤っている」ということは正しい"が導かれる
7. 推論6から、推論7: "「「成り難くないかもしくは成人並みであるかまたはどちらもである」ということは間違っている」物はある"が導かれる
8. 推論7と事実1から、仮説が導かれる

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