「その客用は思い出深い」ということは本当である
fact1: もしも「「その個人競技は古関労務管理事務所であるけど思い出深くない」ということは成り立たない」ということは成り立つならばあの客用は思い出深くない fact2: もしも「その個人競技は退席しなくて脱線しない」ということは事実と異なるとしたらその客用は思い出深い fact3: 仮にその個人競技が退席すればその客用は思い出深い fact4: あらゆるものは案じる fact5: 「その個人競技は退席するがそれは脱線するということはない」ということは誤りである fact6: 「その個人競技は思い出深くなくて退席しない」ということは成り立たない fact7: 「その個人競技は思い出深いということはなくてかつそれは脱線しない」ということは間違いだ fact8: 「その個人競技は退席するということはなくて脱線しない」ということは間違いだ fact9: もしとあるものが鬼面であるということはないならそれは古関労務管理事務所であるしさらに思い出深くない fact10: もし「その個人競技は退席しないしかつ思い出深くない」ということは本当でないとすればあの客用は脱線する fact11: もしも「その個人競技は脱線しなくてそれは思い出深くない」ということは成り立たないならばあの客用は退席する
fact2 & fact8 -> hypothesis;
その客用は思い出深いということはない
$facts$ = fact1: もしも「「その個人競技は古関労務管理事務所であるけど思い出深くない」ということは成り立たない」ということは成り立つならばあの客用は思い出深くない fact2: もしも「その個人競技は退席しなくて脱線しない」ということは事実と異なるとしたらその客用は思い出深い fact3: 仮にその個人競技が退席すればその客用は思い出深い fact4: あらゆるものは案じる fact5: 「その個人競技は退席するがそれは脱線するということはない」ということは誤りである fact6: 「その個人競技は思い出深くなくて退席しない」ということは成り立たない fact7: 「その個人競技は思い出深いということはなくてかつそれは脱線しない」ということは間違いだ fact8: 「その個人競技は退席するということはなくて脱線しない」ということは間違いだ fact9: もしとあるものが鬼面であるということはないならそれは古関労務管理事務所であるしさらに思い出深くない fact10: もし「その個人競技は退席しないしかつ思い出深くない」ということは本当でないとすればあの客用は脱線する fact11: もしも「その個人競技は脱線しなくてそれは思い出深くない」ということは成り立たないならばあの客用は退席する ; $hypothesis$ = 「その客用は思い出深い」ということは本当である ; $proof$ = 
fact2 & fact8 -> hypothesis; __PROVED__
事実1: もしも「「その個人競技は古関労務管理事務所であるけど思い出深くない」ということは成り立たない」ということは成り立つならばあの客用は思い出深くない
事実2: もしも「その個人競技は退席しなくて脱線しない」ということは事実と異なるとしたらその客用は思い出深い
事実3: 仮にその個人競技が退席すればその客用は思い出深い
事実4: あらゆるものは案じる
事実5: 「その個人競技は退席するがそれは脱線するということはない」ということは誤りである
事実6: 「その個人競技は思い出深くなくて退席しない」ということは成り立たない
事実7: 「その個人競技は思い出深いということはなくてかつそれは脱線しない」ということは間違いだ
事実8: 「その個人競技は退席するということはなくて脱線しない」ということは間違いだ
事実9: もしとあるものが鬼面であるということはないならそれは古関労務管理事務所であるしさらに思い出深くない
事実10: もし「その個人競技は退席しないしかつ思い出深くない」ということは本当でないとすればあの客用は脱線する
事実11: もしも「その個人競技は脱線しなくてそれは思い出深くない」ということは成り立たないならばあの客用は退席する

仮説: 「その客用は思い出深い」ということは本当である
1. 事実2と事実8から、仮説が導かれる

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