この全会一致はトイトイでなくて加えて出し過ぎない
fact1: その主要産業は広げる fact2: 仮にこの存在診断は添付すとすれば「この全会一致は添付すらないかあるいは何気無いかもしくは両方ともである」ということは誤っている fact3: もしもこの雌雄異体が鬣であるならばこの存在診断は添付す fact4: この雌雄異体は添付すらない fact5: もし仮に「何かは壊れ易くないししかも添付すらない」ということは間違いであるとすると鬣でない fact6: もしも「何かは添付すということはないかそれは何気無いかどちらもだ」ということは成り立たないとすると出し過ぎない fact7: もしもこの存在診断は易しくないとしたら「この雌雄異体は広げるしおまけに何気無い」ということは間違いである fact8: 「もしもこの雌雄異体が壊れ易いとするとこの存在診断は添付す」ということは確かだ fact9: もしなにかは何気無くないとすると「それは壊れ易いということはないししかも添付すらない」ということは成り立たない fact10: 「「易しいが一心斎だということはない」ということは成り立つということはない」ものはある fact11: 仮に「その主要産業は鬣である」ということは間違っているということはないならこの雌雄異体は易しい fact12: もしも「何かは広げるしそれにそれは何気無い」ということは間違っているなら「何気無くない」ということは成り立つ fact13: もし仮にその主要産業が広げるがしかし易しくないとすればあの全会一致はトイトイでない fact14: もし「「易しい一方で一心斎でない」ということは嘘な」ものがあればその主要産業は易しくない fact15: この雌雄異体は鬣であるかまたは壊れ易い fact16: その満身は広げる
fact15 & fact3 & fact8 -> int1: 「この存在診断は添付す」ということは本当だ; int1 & fact2 -> int2: 「この全会一致は添付すらないか何気無いかもしくはどちらもである」ということは偽だ; fact6 -> int3: 「この全会一致は添付すらないかまたは何気無いか両方だ」ということは成り立たないならば出し過ぎない; int2 & int3 -> int4: この全会一致は出し過ぎない; fact10 & fact14 -> int5: 「その主要産業は易しくない」ということは正しい; fact1 & int5 -> int6: その主要産業は広げるけどそれは易しくない; int6 & fact13 -> int7: 「この全会一致はトイトイでない」ということは確かだ; int4 & int7 -> hypothesis;
この存在診断は薄明るいかまたは御門であるかあるいは両方だ
fact17 -> int8: 「添付すということはない」ものはある;
$facts$ = fact1: その主要産業は広げる fact2: 仮にこの存在診断は添付すとすれば「この全会一致は添付すらないかあるいは何気無いかもしくは両方ともである」ということは誤っている fact3: もしもこの雌雄異体が鬣であるならばこの存在診断は添付す fact4: この雌雄異体は添付すらない fact5: もし仮に「何かは壊れ易くないししかも添付すらない」ということは間違いであるとすると鬣でない fact6: もしも「何かは添付すということはないかそれは何気無いかどちらもだ」ということは成り立たないとすると出し過ぎない fact7: もしもこの存在診断は易しくないとしたら「この雌雄異体は広げるしおまけに何気無い」ということは間違いである fact8: 「もしもこの雌雄異体が壊れ易いとするとこの存在診断は添付す」ということは確かだ fact9: もしなにかは何気無くないとすると「それは壊れ易いということはないししかも添付すらない」ということは成り立たない fact10: 「「易しいが一心斎だということはない」ということは成り立つということはない」ものはある fact11: 仮に「その主要産業は鬣である」ということは間違っているということはないならこの雌雄異体は易しい fact12: もしも「何かは広げるしそれにそれは何気無い」ということは間違っているなら「何気無くない」ということは成り立つ fact13: もし仮にその主要産業が広げるがしかし易しくないとすればあの全会一致はトイトイでない fact14: もし「「易しい一方で一心斎でない」ということは嘘な」ものがあればその主要産業は易しくない fact15: この雌雄異体は鬣であるかまたは壊れ易い fact16: その満身は広げる ; $hypothesis$ = この全会一致はトイトイでなくて加えて出し過ぎない ; $proof$ = 
fact15 & fact3 & fact8 -> int1: 「この存在診断は添付す」ということは本当だ; int1 & fact2 -> int2: 「この全会一致は添付すらないか何気無いかもしくはどちらもである」ということは偽だ; fact6 -> int3: 「この全会一致は添付すらないかまたは何気無いか両方だ」ということは成り立たないならば出し過ぎない; int2 & int3 -> int4: この全会一致は出し過ぎない; fact10 & fact14 -> int5: 「その主要産業は易しくない」ということは正しい; fact1 & int5 -> int6: その主要産業は広げるけどそれは易しくない; int6 & fact13 -> int7: 「この全会一致はトイトイでない」ということは確かだ; int4 & int7 -> hypothesis; __PROVED__
事実1: その主要産業は広げる
事実2: 仮にこの存在診断は添付すとすれば「この全会一致は添付すらないかあるいは何気無いかもしくは両方ともである」ということは誤っている
事実3: もしもこの雌雄異体が鬣であるならばこの存在診断は添付す
事実4: この雌雄異体は添付すらない
事実5: もし仮に「何かは壊れ易くないししかも添付すらない」ということは間違いであるとすると鬣でない
事実6: もしも「何かは添付すということはないかそれは何気無いかどちらもだ」ということは成り立たないとすると出し過ぎない
事実7: もしもこの存在診断は易しくないとしたら「この雌雄異体は広げるしおまけに何気無い」ということは間違いである
事実8: 「もしもこの雌雄異体が壊れ易いとするとこの存在診断は添付す」ということは確かだ
事実9: もしなにかは何気無くないとすると「それは壊れ易いということはないししかも添付すらない」ということは成り立たない
事実10: 「「易しいが一心斎だということはない」ということは成り立つということはない」ものはある
事実11: 仮に「その主要産業は鬣である」ということは間違っているということはないならこの雌雄異体は易しい
事実12: もしも「何かは広げるしそれにそれは何気無い」ということは間違っているなら「何気無くない」ということは成り立つ
事実13: もし仮にその主要産業が広げるがしかし易しくないとすればあの全会一致はトイトイでない
事実14: もし「「易しい一方で一心斎でない」ということは嘘な」ものがあればその主要産業は易しくない
事実15: この雌雄異体は鬣であるかまたは壊れ易い
事実16: その満身は広げる

仮説: この全会一致はトイトイでなくて加えて出し過ぎない
1. 事実15と事実3と事実8から、推論1: "「この存在診断は添付す」ということは本当だ"が導かれる
2. 推論1と事実2から、推論2: "「この全会一致は添付すらないか何気無いかもしくはどちらもである」ということは偽だ"が導かれる
3. 事実6から、推論3: "「この全会一致は添付すらないかまたは何気無いか両方だ」ということは成り立たないならば出し過ぎない"が導かれる
4. 推論2と推論3から、推論4: "この全会一致は出し過ぎない"が導かれる
5. 事実10と事実14から、推論5: "「その主要産業は易しくない」ということは正しい"が導かれる
6. 事実1と推論5から、推論6: "その主要産業は広げるけどそれは易しくない"が導かれる
7. 推論6と事実13から、推論7: "「この全会一致はトイトイでない」ということは確かだ"が導かれる
8. 推論4と推論7から、仮説が導かれる

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