「補題であるししかも大人気無い」物はある
fact1: その茸ちゃんはセットする fact2: この遠投は没入するかあるいは補題であるかもしくはどちらもだ fact3: もしその茸ちゃんが補題であるならこの遠投は大人気無い fact4: もしもこの遠投が没入するとすればあの茸ちゃんは補題だ fact5: この道徳観念はセットする fact6: この遠投は読み難い fact7: なにがしかの物はカロテンでその上安っぽい fact8: その茸ちゃんは結び付き難い fact9: この遠投が補題であるとするとその茸ちゃんは補題である fact10: 「大人気無い」ものはある fact11: この遠投は補題であるかあるいは大人気無い fact12: もしこの遠投がセットするとすればその茸ちゃんはセットする fact13: なにがしかの物は波及するし主にする fact14: 「補題な」ものはある fact15: もしその茸ちゃんがセットすればそれは大人気無い
fact15 & fact1 -> int1: その茸ちゃんは大人気無い; fact9 & fact4 & fact2 -> int2: その茸ちゃんは補題だ; int1 & int2 -> int3: その茸ちゃんは補題であるしそれに大人気無い; int3 -> hypothesis;
fact15 & fact1 -> int1: {B}{a}; fact9 & fact4 & fact2 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 -> hypothesis;
$facts$ = fact1: その茸ちゃんはセットする fact2: この遠投は没入するかあるいは補題であるかもしくはどちらもだ fact3: もしその茸ちゃんが補題であるならこの遠投は大人気無い fact4: もしもこの遠投が没入するとすればあの茸ちゃんは補題だ fact5: この道徳観念はセットする fact6: この遠投は読み難い fact7: なにがしかの物はカロテンでその上安っぽい fact8: その茸ちゃんは結び付き難い fact9: この遠投が補題であるとするとその茸ちゃんは補題である fact10: 「大人気無い」ものはある fact11: この遠投は補題であるかあるいは大人気無い fact12: もしこの遠投がセットするとすればその茸ちゃんはセットする fact13: なにがしかの物は波及するし主にする fact14: 「補題な」ものはある fact15: もしその茸ちゃんがセットすればそれは大人気無い ; $hypothesis$ = 「補題であるししかも大人気無い」物はある ; $proof$ = 
fact15 & fact1 -> int1: その茸ちゃんは大人気無い; fact9 & fact4 & fact2 -> int2: その茸ちゃんは補題だ; int1 & int2 -> int3: その茸ちゃんは補題であるしそれに大人気無い; int3 -> hypothesis; __PROVED__
事実1: その茸ちゃんはセットする
事実2: この遠投は没入するかあるいは補題であるかもしくはどちらもだ
事実3: もしその茸ちゃんが補題であるならこの遠投は大人気無い
事実4: もしもこの遠投が没入するとすればあの茸ちゃんは補題だ
事実5: この道徳観念はセットする
事実6: この遠投は読み難い
事実7: なにがしかの物はカロテンでその上安っぽい
事実8: その茸ちゃんは結び付き難い
事実9: この遠投が補題であるとするとその茸ちゃんは補題である
事実10: 「大人気無い」ものはある
事実11: この遠投は補題であるかあるいは大人気無い
事実12: もしこの遠投がセットするとすればその茸ちゃんはセットする
事実13: なにがしかの物は波及するし主にする
事実14: 「補題な」ものはある
事実15: もしその茸ちゃんがセットすればそれは大人気無い

仮説: 「補題であるししかも大人気無い」物はある
1. 事実15と事実1から、推論1: "その茸ちゃんは大人気無い"が導かれる
2. 事実9と事実4と事実2から、推論2: "その茸ちゃんは補題だ"が導かれる
3. 推論1と推論2から、推論3: "その茸ちゃんは補題であるしそれに大人気無い"が導かれる
4. 推論3から、仮説が導かれる

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