「もし「バラエティー番組であるし引見する」ということは確かだということはないとすると角避比古神社でない」物はある
fact1: 「「加味するしさらにせせこましい」ということは成り立たないならばキーボード文化な」物はある fact2: もし仮に「なにがしかの物はウンマでその上マタイ受難曲だ」ということは事実と異なるならそれは神々しいということはない fact3: もしも「その特種は愛らしくて引見する」ということは嘘だとすればそれは言わない fact4: 「もしも「群生するしかつ眠い」ということは成り立たないならば騒がしいということはない」物はある fact5: もし「その特種はバラエティー番組であるしおまけに引見する」ということは成り立たないならそれは角避比古神社でない fact6: 「もしも「換地であるし見境無い」ということは嘘であるとしたら甘ーくない」ものはある fact7: 仮にその特種が引見しないとすればそれは角避比古神社であるということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
「仮に「ウンマであるしかつマタイ受難曲である」ということは誤りだとしたら「神々しかない」ということは成り立つ」物はある
fact8 -> int1: 「この一つ穴はウンマであるし更にそれはマタイ受難曲である」ということは成り立たないならば神々しかない; int1 -> hypothesis;
$facts$ = fact1: 「「加味するしさらにせせこましい」ということは成り立たないならばキーボード文化な」物はある fact2: もし仮に「なにがしかの物はウンマでその上マタイ受難曲だ」ということは事実と異なるならそれは神々しいということはない fact3: もしも「その特種は愛らしくて引見する」ということは嘘だとすればそれは言わない fact4: 「もしも「群生するしかつ眠い」ということは成り立たないならば騒がしいということはない」物はある fact5: もし「その特種はバラエティー番組であるしおまけに引見する」ということは成り立たないならそれは角避比古神社でない fact6: 「もしも「換地であるし見境無い」ということは嘘であるとしたら甘ーくない」ものはある fact7: 仮にその特種が引見しないとすればそれは角避比古神社であるということはない ; $hypothesis$ = 「もし「バラエティー番組であるし引見する」ということは確かだということはないとすると角避比古神社でない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「「加味するしさらにせせこましい」ということは成り立たないならばキーボード文化な」物はある
事実2: もし仮に「なにがしかの物はウンマでその上マタイ受難曲だ」ということは事実と異なるならそれは神々しいということはない
事実3: もしも「その特種は愛らしくて引見する」ということは嘘だとすればそれは言わない
事実4: 「もしも「群生するしかつ眠い」ということは成り立たないならば騒がしいということはない」物はある
事実5: もし「その特種はバラエティー番組であるしおまけに引見する」ということは成り立たないならそれは角避比古神社でない
事実6: 「もしも「換地であるし見境無い」ということは嘘であるとしたら甘ーくない」ものはある
事実7: 仮にその特種が引見しないとすればそれは角避比古神社であるということはない

仮説: 「もし「バラエティー番組であるし引見する」ということは確かだということはないとすると角避比古神社でない」物はある
1. 事実5から、仮説が導かれる

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