「そのビデオシステムは広告料金だということはないし加えて捻り回すということはない」ということは真実でない
fact1: その書風は広告料金でない fact2: 「そのビデオシステムは攻め掛からないけど捻り回す」ということは間違いだ fact3: 仮に「「荒立たないし左側頭部だ」ということは間違いである」ものがあればこの回覧物は攻め掛からない fact4: 「「「広告料金でないけど荒立つ」ということは成り立つ」ということは成り立つということはない」物はある fact5: もし仮にその書風は荒立たないならば「そのビデオシステムは左側頭部でない一方で捻り回す」ということは事実でない fact6: もし仮にこの回覧物は攻め掛からないとすれば「そのビデオシステムは広告料金でないし捻り回さない」ということは誤りである fact7: この回覧物が攻め掛かるとするとそのビデオシステムは広告料金でなくて加えて捻り回さない fact8: 「そのビデオシステムは捻り回さないけどそれは荒立つ」ということは偽である fact9: 「その書風は荒立たないが攻め掛かる」ということは嘘だ fact10: もし仮にそのビデオシステムは広告料金でないとすると「その書風は捻り回すがしかしそれは左側頭部でない」ということは真実でない fact11: 「その書風は荒立つということはないけど左側頭部だ」ということは間違いである fact12: 仮に何かは頑張り過ぎるとしたらそれは新会社でないがしかし引き難い fact13: 「その書風は広告料金であるということはないがそれは荒立つ」ということは嘘だ fact14: 「「左側頭部であるし広告料金である」ということは嘘である」物はある fact15: もしもあの内親王が新会社であるということはないとすればあの回覧物は攻め掛かるしそれに信じ易い
fact11 -> int1: 「「「荒立たないけど左側頭部だ」ということは成り立つ」ということは事実と異なる」物はある; int1 & fact3 -> int2: この回覧物は攻め掛からない; int2 & fact6 -> hypothesis;
そのビデオシステムが広告料金だということはないしその上それは捻り回さない
fact17 -> int3: もし仮にあの内親王が頑張り過ぎれば新会社であるということはないしその上引き難い;
$facts$ = fact1: その書風は広告料金でない fact2: 「そのビデオシステムは攻め掛からないけど捻り回す」ということは間違いだ fact3: 仮に「「荒立たないし左側頭部だ」ということは間違いである」ものがあればこの回覧物は攻め掛からない fact4: 「「「広告料金でないけど荒立つ」ということは成り立つ」ということは成り立つということはない」物はある fact5: もし仮にその書風は荒立たないならば「そのビデオシステムは左側頭部でない一方で捻り回す」ということは事実でない fact6: もし仮にこの回覧物は攻め掛からないとすれば「そのビデオシステムは広告料金でないし捻り回さない」ということは誤りである fact7: この回覧物が攻め掛かるとするとそのビデオシステムは広告料金でなくて加えて捻り回さない fact8: 「そのビデオシステムは捻り回さないけどそれは荒立つ」ということは偽である fact9: 「その書風は荒立たないが攻め掛かる」ということは嘘だ fact10: もし仮にそのビデオシステムは広告料金でないとすると「その書風は捻り回すがしかしそれは左側頭部でない」ということは真実でない fact11: 「その書風は荒立つということはないけど左側頭部だ」ということは間違いである fact12: 仮に何かは頑張り過ぎるとしたらそれは新会社でないがしかし引き難い fact13: 「その書風は広告料金であるということはないがそれは荒立つ」ということは嘘だ fact14: 「「左側頭部であるし広告料金である」ということは嘘である」物はある fact15: もしもあの内親王が新会社であるということはないとすればあの回覧物は攻め掛かるしそれに信じ易い ; $hypothesis$ = 「そのビデオシステムは広告料金だということはないし加えて捻り回すということはない」ということは真実でない ; $proof$ = 
fact11 -> int1: 「「「荒立たないけど左側頭部だ」ということは成り立つ」ということは事実と異なる」物はある; int1 & fact3 -> int2: この回覧物は攻め掛からない; int2 & fact6 -> hypothesis; __PROVED__
事実1: その書風は広告料金でない
事実2: 「そのビデオシステムは攻め掛からないけど捻り回す」ということは間違いだ
事実3: 仮に「「荒立たないし左側頭部だ」ということは間違いである」ものがあればこの回覧物は攻め掛からない
事実4: 「「「広告料金でないけど荒立つ」ということは成り立つ」ということは成り立つということはない」物はある
事実5: もし仮にその書風は荒立たないならば「そのビデオシステムは左側頭部でない一方で捻り回す」ということは事実でない
事実6: もし仮にこの回覧物は攻め掛からないとすれば「そのビデオシステムは広告料金でないし捻り回さない」ということは誤りである
事実7: この回覧物が攻め掛かるとするとそのビデオシステムは広告料金でなくて加えて捻り回さない
事実8: 「そのビデオシステムは捻り回さないけどそれは荒立つ」ということは偽である
事実9: 「その書風は荒立たないが攻め掛かる」ということは嘘だ
事実10: もし仮にそのビデオシステムは広告料金でないとすると「その書風は捻り回すがしかしそれは左側頭部でない」ということは真実でない
事実11: 「その書風は荒立つということはないけど左側頭部だ」ということは間違いである
事実12: 仮に何かは頑張り過ぎるとしたらそれは新会社でないがしかし引き難い
事実13: 「その書風は広告料金であるということはないがそれは荒立つ」ということは嘘だ
事実14: 「「左側頭部であるし広告料金である」ということは嘘である」物はある
事実15: もしもあの内親王が新会社であるということはないとすればあの回覧物は攻め掛かるしそれに信じ易い

仮説: 「そのビデオシステムは広告料金だということはないし加えて捻り回すということはない」ということは真実でない
1. 事実11から、推論1: "「「「荒立たないけど左側頭部だ」ということは成り立つ」ということは事実と異なる」物はある"が導かれる
2. 推論1と事実3から、推論2: "この回覧物は攻め掛からない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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