その字源は納入しない
fact1: 仮にその八重洲口は野次であるならば「そのセルフィーユは野次でない一方でそれは間伐する」ということは間違っている fact2: しどけなくないものは納入するしおまけに売り払う fact3: 仮になんらかのものは刺々しかないとしたら「野次であるということはないしその上間伐する」ということは成り立たない fact4: そのセルフィーユはイオン電流だ fact5: この基礎的作業はしどけない fact6: もし仮にその八重洲口は野次であるなら「そのセルフィーユは野次であるし間伐する」ということは偽だ fact7: その字源は間伐する fact8: 仮にこの基礎的作業が売り払うとするとその八重洲口は野次である fact9: この基礎的作業は売り払うし加えてしどけない fact10: 仮にそのセルフィーユが野次であるとするとその字源は納入しない fact11: もし「この基礎的作業は野次でないけれどそれは間伐する」ということは間違っているならばあの字源はしどけなくない fact12: 「そのセルフィーユは野次であるしおまけに間伐する」ということは成り立たない fact13: もし仮に「そのセルフィーユは野次でないがしかし間伐する」ということは嘘ならその字源は納入しない
fact9 -> int1: この基礎的作業は売り払う; int1 & fact8 -> int2: その八重洲口は野次である; int2 & fact1 -> int3: 「そのセルフィーユは野次だということはない一方で間伐する」ということは嘘だ; int3 & fact13 -> hypothesis;
その字源は納入する
fact16 -> int4: その字源はしどけなくないとすると「納入するし売り払う」ということは正しい; fact14 -> int5: もし仮にこの基礎的作業は刺々しかないならば「野次だということはないけど間伐する」ということは偽だ;
$facts$ = fact1: 仮にその八重洲口は野次であるならば「そのセルフィーユは野次でない一方でそれは間伐する」ということは間違っている fact2: しどけなくないものは納入するしおまけに売り払う fact3: 仮になんらかのものは刺々しかないとしたら「野次であるということはないしその上間伐する」ということは成り立たない fact4: そのセルフィーユはイオン電流だ fact5: この基礎的作業はしどけない fact6: もし仮にその八重洲口は野次であるなら「そのセルフィーユは野次であるし間伐する」ということは偽だ fact7: その字源は間伐する fact8: 仮にこの基礎的作業が売り払うとするとその八重洲口は野次である fact9: この基礎的作業は売り払うし加えてしどけない fact10: 仮にそのセルフィーユが野次であるとするとその字源は納入しない fact11: もし「この基礎的作業は野次でないけれどそれは間伐する」ということは間違っているならばあの字源はしどけなくない fact12: 「そのセルフィーユは野次であるしおまけに間伐する」ということは成り立たない fact13: もし仮に「そのセルフィーユは野次でないがしかし間伐する」ということは嘘ならその字源は納入しない ; $hypothesis$ = その字源は納入しない ; $proof$ = 
fact9 -> int1: この基礎的作業は売り払う; int1 & fact8 -> int2: その八重洲口は野次である; int2 & fact1 -> int3: 「そのセルフィーユは野次だということはない一方で間伐する」ということは嘘だ; int3 & fact13 -> hypothesis; __PROVED__
事実1: 仮にその八重洲口は野次であるならば「そのセルフィーユは野次でない一方でそれは間伐する」ということは間違っている
事実2: しどけなくないものは納入するしおまけに売り払う
事実3: 仮になんらかのものは刺々しかないとしたら「野次であるということはないしその上間伐する」ということは成り立たない
事実4: そのセルフィーユはイオン電流だ
事実5: この基礎的作業はしどけない
事実6: もし仮にその八重洲口は野次であるなら「そのセルフィーユは野次であるし間伐する」ということは偽だ
事実7: その字源は間伐する
事実8: 仮にこの基礎的作業が売り払うとするとその八重洲口は野次である
事実9: この基礎的作業は売り払うし加えてしどけない
事実10: 仮にそのセルフィーユが野次であるとするとその字源は納入しない
事実11: もし「この基礎的作業は野次でないけれどそれは間伐する」ということは間違っているならばあの字源はしどけなくない
事実12: 「そのセルフィーユは野次であるしおまけに間伐する」ということは成り立たない
事実13: もし仮に「そのセルフィーユは野次でないがしかし間伐する」ということは嘘ならその字源は納入しない

仮説: その字源は納入しない
1. 事実9から、推論1: "この基礎的作業は売り払う"が導かれる
2. 推論1と事実8から、推論2: "その八重洲口は野次である"が導かれる
3. 推論2と事実1から、推論3: "「そのセルフィーユは野次だということはない一方で間伐する」ということは嘘だ"が導かれる
4. 推論3と事実13から、仮説が導かれる

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