「面白がらないなら「社会文化的要因だということはないかまたは気まずいかもしくは両方ともだ」ということは偽である」物はある
fact1: 仮にあの発現減少が副流煙でないとしたらそれは聞き及ばないかもしくは炎天であるかもしくは両方である fact2: もしもあのコネクターが面白がらないならば社会文化的要因だということはないかそれは気まずい fact3: 「もし参禅しないなら「溶け難くない」ということは事実な」ものはある fact4: もしもなにかは甘酸っぱくないとすると「それは敷きであるということはないかまたは気まずいかもしくは両方ともである」ということは真実でない fact5: もしもあのコネクターは面白がるということはないなら「社会文化的要因でないかあるいは気まずいかもしくは両方ともだ」ということは誤りだ fact6: その若党は転送するとすると「それは額面株式でないかあるいは貰うかまたはどちらもだ」ということは嘘である fact7: 「「面白がらない」ということは事実であるならば気まずくない」物はある fact8: あのコネクターが面白がらないならば苛々し易い
fact5 -> hypothesis;
もしもこの画風は甘酸っぱくないとすると「敷きでないかもしくは気まずいかあるいは両方ともである」ということは誤っている
fact9 -> hypothesis;
$facts$ = fact1: 仮にあの発現減少が副流煙でないとしたらそれは聞き及ばないかもしくは炎天であるかもしくは両方である fact2: もしもあのコネクターが面白がらないならば社会文化的要因だということはないかそれは気まずい fact3: 「もし参禅しないなら「溶け難くない」ということは事実な」ものはある fact4: もしもなにかは甘酸っぱくないとすると「それは敷きであるということはないかまたは気まずいかもしくは両方ともである」ということは真実でない fact5: もしもあのコネクターは面白がるということはないなら「社会文化的要因でないかあるいは気まずいかもしくは両方ともだ」ということは誤りだ fact6: その若党は転送するとすると「それは額面株式でないかあるいは貰うかまたはどちらもだ」ということは嘘である fact7: 「「面白がらない」ということは事実であるならば気まずくない」物はある fact8: あのコネクターが面白がらないならば苛々し易い ; $hypothesis$ = 「面白がらないなら「社会文化的要因だということはないかまたは気まずいかもしくは両方ともだ」ということは偽である」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮にあの発現減少が副流煙でないとしたらそれは聞き及ばないかもしくは炎天であるかもしくは両方である
事実2: もしもあのコネクターが面白がらないならば社会文化的要因だということはないかそれは気まずい
事実3: 「もし参禅しないなら「溶け難くない」ということは事実な」ものはある
事実4: もしもなにかは甘酸っぱくないとすると「それは敷きであるということはないかまたは気まずいかもしくは両方ともである」ということは真実でない
事実5: もしもあのコネクターは面白がるということはないなら「社会文化的要因でないかあるいは気まずいかもしくは両方ともだ」ということは誤りだ
事実6: その若党は転送するとすると「それは額面株式でないかあるいは貰うかまたはどちらもだ」ということは嘘である
事実7: 「「面白がらない」ということは事実であるならば気まずくない」物はある
事実8: あのコネクターが面白がらないならば苛々し易い

仮説: 「面白がらないなら「社会文化的要因だということはないかまたは気まずいかもしくは両方ともだ」ということは偽である」物はある
1. 事実5から、仮説が導かれる

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