このブルジョワ連合はイエ意識だ
fact1: この揚げ浜式は人懐っこい fact2: この揚げ浜式が人懐っこいとすればそれは裁決しないかまたはそれは育めないかあるいは両方である fact3: その柳杉は育める fact4: 仮にその柳杉が一隅でないならばこのブルジョワ連合はイエ意識である fact5: もし仮に「「分かち難いがしかし価格決定権でない」ということは間違いな」ものがあるならこのブルジョワ連合は人懐っこい fact6: もし仮にその最高刑はオンリーでないとすると「それは分かち難いけれど価格決定権でない」ということは誤りだ fact7: もし仮にこの揚げ浜式が育めないとすればあの柳杉は一隅でない fact8: もし仮にこのブルジョワ連合が裁決しないとするとこの揚げ浜式はイエ意識でない fact9: もし仮にその柳杉が人懐っこいということはないとすればこの揚げ浜式は裁決する fact10: もしあるものは支障無くないとすれば「それは人懐っこいということはないかそれは一隅であるかまたは両方ともだ」ということは事実と異なる fact11: もしこの揚げ浜式が裁決しないならその柳杉は一隅でない fact12: その最高刑はオンリーでない fact13: もしもこの揚げ浜式が人懐っこいとすれば一隅であるということはないかあるいはそれは育めない fact14: 仮にこの揚げ浜式が育めないとしたらその柳杉は一隅だ fact15: 支障無いけど千九百九十年前後でないという物はない fact16: もしも人懐っこいものは一隅であるとしたら「イエ意識でない」ということは真実だ fact17: もし仮にその柳杉が人懐っこくないとすればこの揚げ浜式は一隅でない fact18: もし仮にこの揚げ浜式が一隅であるならばこのブルジョワ連合は一隅である
fact2 & fact1 -> int1: この揚げ浜式は裁決しないか育めないかあるいは両方だ; int1 & fact11 & fact7 -> int2: その柳杉は一隅でない; int2 & fact4 -> hypothesis;
このブルジョワ連合はイエ意識でない
fact19 -> int3: 仮にその柳杉は支障無くないとしたら「人懐っこくないかあるいはそれは一隅であるかまたはどちらもだ」ということは成り立つということはない; fact20 -> int4: 「その柳杉は支障無いけどそれは千九百九十年前後でない」ということは偽である;
$facts$ = fact1: この揚げ浜式は人懐っこい fact2: この揚げ浜式が人懐っこいとすればそれは裁決しないかまたはそれは育めないかあるいは両方である fact3: その柳杉は育める fact4: 仮にその柳杉が一隅でないならばこのブルジョワ連合はイエ意識である fact5: もし仮に「「分かち難いがしかし価格決定権でない」ということは間違いな」ものがあるならこのブルジョワ連合は人懐っこい fact6: もし仮にその最高刑はオンリーでないとすると「それは分かち難いけれど価格決定権でない」ということは誤りだ fact7: もし仮にこの揚げ浜式が育めないとすればあの柳杉は一隅でない fact8: もし仮にこのブルジョワ連合が裁決しないとするとこの揚げ浜式はイエ意識でない fact9: もし仮にその柳杉が人懐っこいということはないとすればこの揚げ浜式は裁決する fact10: もしあるものは支障無くないとすれば「それは人懐っこいということはないかそれは一隅であるかまたは両方ともだ」ということは事実と異なる fact11: もしこの揚げ浜式が裁決しないならその柳杉は一隅でない fact12: その最高刑はオンリーでない fact13: もしもこの揚げ浜式が人懐っこいとすれば一隅であるということはないかあるいはそれは育めない fact14: 仮にこの揚げ浜式が育めないとしたらその柳杉は一隅だ fact15: 支障無いけど千九百九十年前後でないという物はない fact16: もしも人懐っこいものは一隅であるとしたら「イエ意識でない」ということは真実だ fact17: もし仮にその柳杉が人懐っこくないとすればこの揚げ浜式は一隅でない fact18: もし仮にこの揚げ浜式が一隅であるならばこのブルジョワ連合は一隅である ; $hypothesis$ = このブルジョワ連合はイエ意識だ ; $proof$ = 
fact2 & fact1 -> int1: この揚げ浜式は裁決しないか育めないかあるいは両方だ; int1 & fact11 & fact7 -> int2: その柳杉は一隅でない; int2 & fact4 -> hypothesis; __PROVED__
事実1: この揚げ浜式は人懐っこい
事実2: この揚げ浜式が人懐っこいとすればそれは裁決しないかまたはそれは育めないかあるいは両方である
事実3: その柳杉は育める
事実4: 仮にその柳杉が一隅でないならばこのブルジョワ連合はイエ意識である
事実5: もし仮に「「分かち難いがしかし価格決定権でない」ということは間違いな」ものがあるならこのブルジョワ連合は人懐っこい
事実6: もし仮にその最高刑はオンリーでないとすると「それは分かち難いけれど価格決定権でない」ということは誤りだ
事実7: もし仮にこの揚げ浜式が育めないとすればあの柳杉は一隅でない
事実8: もし仮にこのブルジョワ連合が裁決しないとするとこの揚げ浜式はイエ意識でない
事実9: もし仮にその柳杉が人懐っこいということはないとすればこの揚げ浜式は裁決する
事実10: もしあるものは支障無くないとすれば「それは人懐っこいということはないかそれは一隅であるかまたは両方ともだ」ということは事実と異なる
事実11: もしこの揚げ浜式が裁決しないならその柳杉は一隅でない
事実12: その最高刑はオンリーでない
事実13: もしもこの揚げ浜式が人懐っこいとすれば一隅であるということはないかあるいはそれは育めない
事実14: 仮にこの揚げ浜式が育めないとしたらその柳杉は一隅だ
事実15: 支障無いけど千九百九十年前後でないという物はない
事実16: もしも人懐っこいものは一隅であるとしたら「イエ意識でない」ということは真実だ
事実17: もし仮にその柳杉が人懐っこくないとすればこの揚げ浜式は一隅でない
事実18: もし仮にこの揚げ浜式が一隅であるならばこのブルジョワ連合は一隅である

仮説: このブルジョワ連合はイエ意識だ
1. 事実2と事実1から、推論1: "この揚げ浜式は裁決しないか育めないかあるいは両方だ"が導かれる
2. 推論1と事実11と事実7から、推論2: "その柳杉は一隅でない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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