「あの単は塩漬けするけどそれは若しない」ということは成り立たない
fact1: その関連企業は厚かましい fact2: もしも「あの情報構造は優勝するけど追加等でない」ということは確かでないならば「唐破風作りでない」ということは成り立つ fact3: あの単は誤報道である fact4: もし何かは若しということはないなら「それは心強いがしかし費やせない」ということは間違いである fact5: その関連企業は費やせる fact6: 仮にあの情報構造が話し辛くないとしたらあの単は雌雄であるし言う fact7: 仮に「「若し」ということは本当である」ものはあるとしたら「「その関連企業は塩漬けするがしかし費やせない」ということは成り立たない」ということは事実だ fact8: 仮にあの情報構造が話し辛いかまたはそれが追加等でないか両方ならばあの単は話し辛い fact9: もし「あの単は若しないし算定し難くない」ということは成り立たないならその猟師は若しない fact10: もしなにかは雌雄であるとしたらそれは算定し難い fact11: 仮に何かは費やせるなら「それは塩漬けするしそれは若しない」ということは真実だ fact12: なにかは費やせるなら「その関連企業は若しが塩漬けしない」ということは成り立たない fact13: もしもなにがしかのものは費やせるとすれば「あの単は塩漬けするけど若しない」ということは正しくない fact14: 算定し難い物は費やせる fact15: もし仮に「なにかは雌雄であるということはないしその上それは言わない」ということは確かでないとしたらそれは塩漬けする fact16: 仮になにがしかのものは話し辛いとすると「それは雌雄でなくてかつ言わない」ということは嘘である fact17: もしもなにがしかのものは唐破風作りでないとしたらそれは話し辛くない
fact5 -> int1: 「費やせる」ものはある; int1 & fact13 -> hypothesis;
「その猟師は心強いけれど費やせない」ということは成り立たない
fact18 -> int2: 仮にその猟師は若しないなら「心強いけれど費やせるということはない」ということは事実でない; fact21 -> int3: もしも「あの単は雌雄でなくて言わない」ということは成り立つということはないならばそれは塩漬けする; fact20 -> int4: もしあの単は話し辛いとすると「雌雄でなくてそれは言わない」ということは成り立たない;
$facts$ = fact1: その関連企業は厚かましい fact2: もしも「あの情報構造は優勝するけど追加等でない」ということは確かでないならば「唐破風作りでない」ということは成り立つ fact3: あの単は誤報道である fact4: もし何かは若しということはないなら「それは心強いがしかし費やせない」ということは間違いである fact5: その関連企業は費やせる fact6: 仮にあの情報構造が話し辛くないとしたらあの単は雌雄であるし言う fact7: 仮に「「若し」ということは本当である」ものはあるとしたら「「その関連企業は塩漬けするがしかし費やせない」ということは成り立たない」ということは事実だ fact8: 仮にあの情報構造が話し辛いかまたはそれが追加等でないか両方ならばあの単は話し辛い fact9: もし「あの単は若しないし算定し難くない」ということは成り立たないならその猟師は若しない fact10: もしなにかは雌雄であるとしたらそれは算定し難い fact11: 仮に何かは費やせるなら「それは塩漬けするしそれは若しない」ということは真実だ fact12: なにかは費やせるなら「その関連企業は若しが塩漬けしない」ということは成り立たない fact13: もしもなにがしかのものは費やせるとすれば「あの単は塩漬けするけど若しない」ということは正しくない fact14: 算定し難い物は費やせる fact15: もし仮に「なにかは雌雄であるということはないしその上それは言わない」ということは確かでないとしたらそれは塩漬けする fact16: 仮になにがしかのものは話し辛いとすると「それは雌雄でなくてかつ言わない」ということは嘘である fact17: もしもなにがしかのものは唐破風作りでないとしたらそれは話し辛くない ; $hypothesis$ = 「あの単は塩漬けするけどそれは若しない」ということは成り立たない ; $proof$ = 
fact5 -> int1: 「費やせる」ものはある; int1 & fact13 -> hypothesis; __PROVED__
事実1: その関連企業は厚かましい
事実2: もしも「あの情報構造は優勝するけど追加等でない」ということは確かでないならば「唐破風作りでない」ということは成り立つ
事実3: あの単は誤報道である
事実4: もし何かは若しということはないなら「それは心強いがしかし費やせない」ということは間違いである
事実5: その関連企業は費やせる
事実6: 仮にあの情報構造が話し辛くないとしたらあの単は雌雄であるし言う
事実7: 仮に「「若し」ということは本当である」ものはあるとしたら「「その関連企業は塩漬けするがしかし費やせない」ということは成り立たない」ということは事実だ
事実8: 仮にあの情報構造が話し辛いかまたはそれが追加等でないか両方ならばあの単は話し辛い
事実9: もし「あの単は若しないし算定し難くない」ということは成り立たないならその猟師は若しない
事実10: もしなにかは雌雄であるとしたらそれは算定し難い
事実11: 仮に何かは費やせるなら「それは塩漬けするしそれは若しない」ということは真実だ
事実12: なにかは費やせるなら「その関連企業は若しが塩漬けしない」ということは成り立たない
事実13: もしもなにがしかのものは費やせるとすれば「あの単は塩漬けするけど若しない」ということは正しくない
事実14: 算定し難い物は費やせる
事実15: もし仮に「なにかは雌雄であるということはないしその上それは言わない」ということは確かでないとしたらそれは塩漬けする
事実16: 仮になにがしかのものは話し辛いとすると「それは雌雄でなくてかつ言わない」ということは嘘である
事実17: もしもなにがしかのものは唐破風作りでないとしたらそれは話し辛くない

仮説: 「あの単は塩漬けするけどそれは若しない」ということは成り立たない
1. 事実5から、推論1: "「費やせる」ものはある"が導かれる
2. 推論1と事実13から、仮説が導かれる

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