その天界は貿易しない
fact1: もし仮に「その天界は先制しないしかつ巣内行動でない」ということは誤りであるとするとそれは貿易しない fact2: もし仮に「その天界は先制する」ということは事実であるならば貿易しない fact3: その天界は支わない fact4: もし仮に「その天界は複雑化しなくておまけに横座りしない」ということは真実でないならそれは這い上らない fact5: 「その社会事情は乱痴気騒ぎでなくて更に先制しない」ということは事実と異なる fact6: ある物がプールしないならそれは貿易するし聞こえる fact7: この免疫力は先制するということはない fact8: 仮に「その天界は貿易しなくてまたそれは覚束無くない」ということは成り立たないなら「来室するということはない」ということは成り立つ fact9: 「その天界は先制しなくてかつ巣内行動でない」ということは事実と異なる fact10: 「その検査法は先制しない」ということは真実だ fact11: 「その天界は先制するけれど巣内行動でない」ということは間違っている fact12: なにがしかの物は貿易しなくてかつ聞こえないとするとそれは先制しない fact13: 「その天界は巣内行動であるということはなくて胸苦しくない」ということは成り立つということはないならば父親らしくない fact14: あの下体は巣内行動でない fact15: その天界は太しない fact16: この第三中隊は貿易しない
fact1 & fact9 -> hypothesis;
その自他境界線は先制しない
fact17 -> int1: もし仮にその自他境界線は貿易しないしそれに聞こえないとしたらそれは先制しない;
$facts$ = fact1: もし仮に「その天界は先制しないしかつ巣内行動でない」ということは誤りであるとするとそれは貿易しない fact2: もし仮に「その天界は先制する」ということは事実であるならば貿易しない fact3: その天界は支わない fact4: もし仮に「その天界は複雑化しなくておまけに横座りしない」ということは真実でないならそれは這い上らない fact5: 「その社会事情は乱痴気騒ぎでなくて更に先制しない」ということは事実と異なる fact6: ある物がプールしないならそれは貿易するし聞こえる fact7: この免疫力は先制するということはない fact8: 仮に「その天界は貿易しなくてまたそれは覚束無くない」ということは成り立たないなら「来室するということはない」ということは成り立つ fact9: 「その天界は先制しなくてかつ巣内行動でない」ということは事実と異なる fact10: 「その検査法は先制しない」ということは真実だ fact11: 「その天界は先制するけれど巣内行動でない」ということは間違っている fact12: なにがしかの物は貿易しなくてかつ聞こえないとするとそれは先制しない fact13: 「その天界は巣内行動であるということはなくて胸苦しくない」ということは成り立つということはないならば父親らしくない fact14: あの下体は巣内行動でない fact15: その天界は太しない fact16: この第三中隊は貿易しない ; $hypothesis$ = その天界は貿易しない ; $proof$ = 
fact1 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に「その天界は先制しないしかつ巣内行動でない」ということは誤りであるとするとそれは貿易しない
事実2: もし仮に「その天界は先制する」ということは事実であるならば貿易しない
事実3: その天界は支わない
事実4: もし仮に「その天界は複雑化しなくておまけに横座りしない」ということは真実でないならそれは這い上らない
事実5: 「その社会事情は乱痴気騒ぎでなくて更に先制しない」ということは事実と異なる
事実6: ある物がプールしないならそれは貿易するし聞こえる
事実7: この免疫力は先制するということはない
事実8: 仮に「その天界は貿易しなくてまたそれは覚束無くない」ということは成り立たないなら「来室するということはない」ということは成り立つ
事実9: 「その天界は先制しなくてかつ巣内行動でない」ということは事実と異なる
事実10: 「その検査法は先制しない」ということは真実だ
事実11: 「その天界は先制するけれど巣内行動でない」ということは間違っている
事実12: なにがしかの物は貿易しなくてかつ聞こえないとするとそれは先制しない
事実13: 「その天界は巣内行動であるということはなくて胸苦しくない」ということは成り立つということはないならば父親らしくない
事実14: あの下体は巣内行動でない
事実15: その天界は太しない
事実16: この第三中隊は貿易しない

仮説: その天界は貿易しない
1. 事実1と事実9から、仮説が導かれる

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