その面向不背は参謀総長だ
fact1: その読み手は点灸する fact2: もしもその面向不背が珍しいとすればそれは安定化する fact3: その面向不背は立ち止まる fact4: もしもある物は高いならば「侵入し易いが緊迫感であるということはない」ということは間違いである fact5: もしこの亀虫が局番でないとするとこの遺産動機は回るしまた高い fact6: もしもこの亀虫が参謀総長であるならその面向不背は点灸する fact7: 侵入し易くない物は参謀総長で点灸する fact8: この亀虫は点灸する fact9: 仮に「「形成され易くないし古臭くない」ということは誤りである」ものがあるとしたらこの亀虫は局番でない fact10: 侵入し易くないものは点灸する fact11: もしもその面向不背は安定化するとしたら「それは形成され易いということはないししかも古臭くない」ということは事実と異なる fact12: 「「回る」ということは成り立つ」物はある fact13: その面向不背は珍しい fact14: 「この平成十四年度版は点灸する」ということは確かだ fact15: 「仮に「なんらかのものは侵入し易いがしかし緊迫感でない」ということは成り立たないとしたら侵入し易くない」ということは真実だ fact16: もしもこの亀虫は点灸するとしたら「その面向不背は参謀総長である」ということは本当だ
fact16 & fact8 -> hypothesis;
fact16 & fact8 -> hypothesis;
その面向不背は参謀総長でない
fact18 -> int1: 「その面向不背は侵入し易くない」ということは真実だとすれば点灸する;
$facts$ = fact1: その読み手は点灸する fact2: もしもその面向不背が珍しいとすればそれは安定化する fact3: その面向不背は立ち止まる fact4: もしもある物は高いならば「侵入し易いが緊迫感であるということはない」ということは間違いである fact5: もしこの亀虫が局番でないとするとこの遺産動機は回るしまた高い fact6: もしもこの亀虫が参謀総長であるならその面向不背は点灸する fact7: 侵入し易くない物は参謀総長で点灸する fact8: この亀虫は点灸する fact9: 仮に「「形成され易くないし古臭くない」ということは誤りである」ものがあるとしたらこの亀虫は局番でない fact10: 侵入し易くないものは点灸する fact11: もしもその面向不背は安定化するとしたら「それは形成され易いということはないししかも古臭くない」ということは事実と異なる fact12: 「「回る」ということは成り立つ」物はある fact13: その面向不背は珍しい fact14: 「この平成十四年度版は点灸する」ということは確かだ fact15: 「仮に「なんらかのものは侵入し易いがしかし緊迫感でない」ということは成り立たないとしたら侵入し易くない」ということは真実だ fact16: もしもこの亀虫は点灸するとしたら「その面向不背は参謀総長である」ということは本当だ ; $hypothesis$ = その面向不背は参謀総長だ ; $proof$ = 
fact16 & fact8 -> hypothesis; __PROVED__
事実1: その読み手は点灸する
事実2: もしもその面向不背が珍しいとすればそれは安定化する
事実3: その面向不背は立ち止まる
事実4: もしもある物は高いならば「侵入し易いが緊迫感であるということはない」ということは間違いである
事実5: もしこの亀虫が局番でないとするとこの遺産動機は回るしまた高い
事実6: もしもこの亀虫が参謀総長であるならその面向不背は点灸する
事実7: 侵入し易くない物は参謀総長で点灸する
事実8: この亀虫は点灸する
事実9: 仮に「「形成され易くないし古臭くない」ということは誤りである」ものがあるとしたらこの亀虫は局番でない
事実10: 侵入し易くないものは点灸する
事実11: もしもその面向不背は安定化するとしたら「それは形成され易いということはないししかも古臭くない」ということは事実と異なる
事実12: 「「回る」ということは成り立つ」物はある
事実13: その面向不背は珍しい
事実14: 「この平成十四年度版は点灸する」ということは確かだ
事実15: 「仮に「なんらかのものは侵入し易いがしかし緊迫感でない」ということは成り立たないとしたら侵入し易くない」ということは真実だ
事実16: もしもこの亀虫は点灸するとしたら「その面向不背は参謀総長である」ということは本当だ

仮説: その面向不背は参謀総長だ
1. 事実16と事実8から、仮説が導かれる

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