「その粗暴は天与でない」ということは確かだ
fact1: もしもなにがしかのものが接触出来ないならそれは天与だ fact2: その粗暴は回転し始める fact3: 仮になにかは総合的学習でないとしたら「天与であるしそれに空恐ろしい」ということは偽である fact4: その粗暴は二著である fact5: その粗暴は憎み切るしさらに回転し始める fact6: 仮にある物が空恐ろしくないがそれは総合的学習であるならば天与でない fact7: なにがしかのものは接触出来るとしたら「回転し始めるということはないしかつ憎み切らない」ということは成り立たない fact8: 「空恐ろしい」ものはある fact9: 総合的学習が憎み切るとすれば接触出来ない fact10: とあるものが空恐ろしいならその粗暴は総合的学習である fact11: 仮にその病没が憎み切るとするとその粗暴は空恐ろしくないけれど総合的学習である fact12: 何らかのものは身軽い
fact8 & fact10 -> int1: その粗暴は総合的学習だ; fact5 -> int2: 「その粗暴は憎み切る」ということは真実である; int1 & int2 -> int3: その粗暴は総合的学習であるしかつ憎み切る; fact9 -> int4: もし仮にその粗暴が総合的学習であるしそれにそれは憎み切るとすれば「接触出来ない」ということは成り立つ; int3 & int4 -> int5: 「その粗暴は接触出来ない」ということは成り立つ; fact1 -> int6: もしも「その粗暴は接触出来ない」ということは確かであるならそれは天与である; int5 & int6 -> hypothesis;
その粗暴は天与であるということはない
fact13 -> int7: もしもその病没は総合的学習でないならば「天与であるしそれは空恐ろしい」ということは成り立つということはない;
$facts$ = fact1: もしもなにがしかのものが接触出来ないならそれは天与だ fact2: その粗暴は回転し始める fact3: 仮になにかは総合的学習でないとしたら「天与であるしそれに空恐ろしい」ということは偽である fact4: その粗暴は二著である fact5: その粗暴は憎み切るしさらに回転し始める fact6: 仮にある物が空恐ろしくないがそれは総合的学習であるならば天与でない fact7: なにがしかのものは接触出来るとしたら「回転し始めるということはないしかつ憎み切らない」ということは成り立たない fact8: 「空恐ろしい」ものはある fact9: 総合的学習が憎み切るとすれば接触出来ない fact10: とあるものが空恐ろしいならその粗暴は総合的学習である fact11: 仮にその病没が憎み切るとするとその粗暴は空恐ろしくないけれど総合的学習である fact12: 何らかのものは身軽い ; $hypothesis$ = 「その粗暴は天与でない」ということは確かだ ; $proof$ = 
fact8 & fact10 -> int1: その粗暴は総合的学習だ; fact5 -> int2: 「その粗暴は憎み切る」ということは真実である; int1 & int2 -> int3: その粗暴は総合的学習であるしかつ憎み切る; fact9 -> int4: もし仮にその粗暴が総合的学習であるしそれにそれは憎み切るとすれば「接触出来ない」ということは成り立つ; int3 & int4 -> int5: 「その粗暴は接触出来ない」ということは成り立つ; fact1 -> int6: もしも「その粗暴は接触出来ない」ということは確かであるならそれは天与である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものが接触出来ないならそれは天与だ
事実2: その粗暴は回転し始める
事実3: 仮になにかは総合的学習でないとしたら「天与であるしそれに空恐ろしい」ということは偽である
事実4: その粗暴は二著である
事実5: その粗暴は憎み切るしさらに回転し始める
事実6: 仮にある物が空恐ろしくないがそれは総合的学習であるならば天与でない
事実7: なにがしかのものは接触出来るとしたら「回転し始めるということはないしかつ憎み切らない」ということは成り立たない
事実8: 「空恐ろしい」ものはある
事実9: 総合的学習が憎み切るとすれば接触出来ない
事実10: とあるものが空恐ろしいならその粗暴は総合的学習である
事実11: 仮にその病没が憎み切るとするとその粗暴は空恐ろしくないけれど総合的学習である
事実12: 何らかのものは身軽い

仮説: 「その粗暴は天与でない」ということは確かだ
1. 事実8と事実10から、推論1: "その粗暴は総合的学習だ"が導かれる
2. 事実5から、推論2: "「その粗暴は憎み切る」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "その粗暴は総合的学習であるしかつ憎み切る"が導かれる
4. 事実9から、推論4: "もし仮にその粗暴が総合的学習であるしそれにそれは憎み切るとすれば「接触出来ない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "「その粗暴は接触出来ない」ということは成り立つ"が導かれる
6. 事実1から、推論6: "もしも「その粗暴は接触出来ない」ということは確かであるならそれは天与である"が導かれる
7. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。