その生命保険会社は機能分化しない
fact1: この芸能者は幼過ぎるししかも義人だ fact2: もし仮にこの侵害不当利得が予納すればこの二重発赤は予納するということはない fact3: 「この芸能者は編み出すということはなくてそれは機能分化しない」ということは偽であるとすればあの生命保険会社は幼過ぎない fact4: もし何らかのものは幼過ぎるとすると「編み出さなくてそれは心置き無くない」ということは成り立たない fact5: もしも「この芸能者は心置き無い」ということは確かであるならばその生命保険会社は機能分化しない fact6: もしこの側頭動脈炎は予納するということはないとすると「それは心置き無くないかあるいは編み出さないかまたは両方である」ということは成り立たない fact7: もし仮に「この芸能者は編み出さないしそれに心置き無くない」ということは成り立たないならばあの生命保険会社は機能分化しない fact8: 仮にこの二重発赤が予納するということはないとするとこの側頭動脈炎は予納しない fact9: 仮に「何らかのものは心置き無くないか編み出すということはないか両方ともだ」ということは成り立たないとしたら幼過ぎない
fact1 -> int1: この芸能者は幼過ぎる; fact4 -> int2: もしもこの芸能者は幼過ぎるとすると「「それは編み出すということはないしそれは心置き無くない」ということは事実だ」ということは偽である; int1 & int2 -> int3: 「この芸能者は編み出さなくてしかも心置き無くない」ということは偽だ; int3 & fact7 -> hypothesis;
「その生命保険会社は機能分化する」ということは真実である
fact11 -> int4: 仮に「この側頭動脈炎は心置き無くないかもしくはそれは編み出さない」ということは成り立たないとすると幼過ぎない;
$facts$ = fact1: この芸能者は幼過ぎるししかも義人だ fact2: もし仮にこの侵害不当利得が予納すればこの二重発赤は予納するということはない fact3: 「この芸能者は編み出すということはなくてそれは機能分化しない」ということは偽であるとすればあの生命保険会社は幼過ぎない fact4: もし何らかのものは幼過ぎるとすると「編み出さなくてそれは心置き無くない」ということは成り立たない fact5: もしも「この芸能者は心置き無い」ということは確かであるならばその生命保険会社は機能分化しない fact6: もしこの側頭動脈炎は予納するということはないとすると「それは心置き無くないかあるいは編み出さないかまたは両方である」ということは成り立たない fact7: もし仮に「この芸能者は編み出さないしそれに心置き無くない」ということは成り立たないならばあの生命保険会社は機能分化しない fact8: 仮にこの二重発赤が予納するということはないとするとこの側頭動脈炎は予納しない fact9: 仮に「何らかのものは心置き無くないか編み出すということはないか両方ともだ」ということは成り立たないとしたら幼過ぎない ; $hypothesis$ = その生命保険会社は機能分化しない ; $proof$ = 
fact1 -> int1: この芸能者は幼過ぎる; fact4 -> int2: もしもこの芸能者は幼過ぎるとすると「「それは編み出すということはないしそれは心置き無くない」ということは事実だ」ということは偽である; int1 & int2 -> int3: 「この芸能者は編み出さなくてしかも心置き無くない」ということは偽だ; int3 & fact7 -> hypothesis; __PROVED__
事実1: この芸能者は幼過ぎるししかも義人だ
事実2: もし仮にこの侵害不当利得が予納すればこの二重発赤は予納するということはない
事実3: 「この芸能者は編み出すということはなくてそれは機能分化しない」ということは偽であるとすればあの生命保険会社は幼過ぎない
事実4: もし何らかのものは幼過ぎるとすると「編み出さなくてそれは心置き無くない」ということは成り立たない
事実5: もしも「この芸能者は心置き無い」ということは確かであるならばその生命保険会社は機能分化しない
事実6: もしこの側頭動脈炎は予納するということはないとすると「それは心置き無くないかあるいは編み出さないかまたは両方である」ということは成り立たない
事実7: もし仮に「この芸能者は編み出さないしそれに心置き無くない」ということは成り立たないならばあの生命保険会社は機能分化しない
事実8: 仮にこの二重発赤が予納するということはないとするとこの側頭動脈炎は予納しない
事実9: 仮に「何らかのものは心置き無くないか編み出すということはないか両方ともだ」ということは成り立たないとしたら幼過ぎない

仮説: その生命保険会社は機能分化しない
1. 事実1から、推論1: "この芸能者は幼過ぎる"が導かれる
2. 事実4から、推論2: "もしもこの芸能者は幼過ぎるとすると「「それは編み出すということはないしそれは心置き無くない」ということは事実だ」ということは偽である"が導かれる
3. 推論1と推論2から、推論3: "「この芸能者は編み出さなくてしかも心置き無くない」ということは偽だ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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