その不動産先取特権は芝居がかる
fact1: 「その手形債権は婚約である」ということは成り立つ fact2: もしもその手形債権は婚約だがキャンプ場でないなら「その不動産先取特権が芝居はからない」ということは真実だ fact3: その手形債権は婚約であるけどキャンプ場でない fact4: もし仮にその不動産先取特権がキャンプ場であるし婚約であるとするとその手形債権が芝居はからない fact5: 仮に何らかの物が有り余るということはないとすれば芝居がかるしさらに高温プラズマだ fact6: この宅老所は婚約でない fact7: もしその文学論は生まれ難いなら「常連らしい」ということは確かだ fact8: もしもその手形債権が芝居がかるし更にキャンプ場であるならその不動産先取特権は婚約でない fact9: もし「ある物が高温プラズマだけどそれが芝居はからない」ということは間違いだとすれば婚約でない fact10: その手形債権は婚約であるけれどそれは芝居がかるということはない fact11: 仮になにかは常連らしいとしたらそれは有り余る fact12: その不動産先取特権はキャンプ場でない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その文学論は婚約であるということはない
fact15 -> int1: もし「その文学論が高温プラズマだが芝居はからない」ということは事実でないならばそれは婚約でない; fact13 -> int2: その文学論が常連らしいとしたら有り余る;
$facts$ = fact1: 「その手形債権は婚約である」ということは成り立つ fact2: もしもその手形債権は婚約だがキャンプ場でないなら「その不動産先取特権が芝居はからない」ということは真実だ fact3: その手形債権は婚約であるけどキャンプ場でない fact4: もし仮にその不動産先取特権がキャンプ場であるし婚約であるとするとその手形債権が芝居はからない fact5: 仮に何らかの物が有り余るということはないとすれば芝居がかるしさらに高温プラズマだ fact6: この宅老所は婚約でない fact7: もしその文学論は生まれ難いなら「常連らしい」ということは確かだ fact8: もしもその手形債権が芝居がかるし更にキャンプ場であるならその不動産先取特権は婚約でない fact9: もし「ある物が高温プラズマだけどそれが芝居はからない」ということは間違いだとすれば婚約でない fact10: その手形債権は婚約であるけれどそれは芝居がかるということはない fact11: 仮になにかは常連らしいとしたらそれは有り余る fact12: その不動産先取特権はキャンプ場でない ; $hypothesis$ = その不動産先取特権は芝居がかる ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その手形債権は婚約である」ということは成り立つ
事実2: もしもその手形債権は婚約だがキャンプ場でないなら「その不動産先取特権が芝居はからない」ということは真実だ
事実3: その手形債権は婚約であるけどキャンプ場でない
事実4: もし仮にその不動産先取特権がキャンプ場であるし婚約であるとするとその手形債権が芝居はからない
事実5: 仮に何らかの物が有り余るということはないとすれば芝居がかるしさらに高温プラズマだ
事実6: この宅老所は婚約でない
事実7: もしその文学論は生まれ難いなら「常連らしい」ということは確かだ
事実8: もしもその手形債権が芝居がかるし更にキャンプ場であるならその不動産先取特権は婚約でない
事実9: もし「ある物が高温プラズマだけどそれが芝居はからない」ということは間違いだとすれば婚約でない
事実10: その手形債権は婚約であるけれどそれは芝居がかるということはない
事実11: 仮になにかは常連らしいとしたらそれは有り余る
事実12: その不動産先取特権はキャンプ場でない

仮説: その不動産先取特権は芝居がかる
1. 事実2と事実3から、仮説が否定される

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