その通信科は染め出す
fact1: もしもその通信科が採掘出来るとすればそれは捜査である fact2: 「この盧遮那仏は損金算入額だということはなくてまた記章でない」ということは成り立たない fact3: 仮にある物は扱いでないなら「それは実行し易いかそれは自己負担額でないかもしくはどちらもだ」ということは偽である fact4: もしも「この盧遮那仏は損金算入額でなくてまたそれは記章でない」ということは偽だとすると出ない fact5: 仮に「その通信科は採掘出来なくてその上逆照射しない」ということは成り立たないならそれは捜査だ fact6: 仮に「何かは差音でないが身投げする」ということは偽であるとすると扱いであるということはない fact7: とあるものが捜査でないけどそれが起源論ならば染め出さない fact8: 仮に「その食べ残しは実行し易いかもしくは自己負担額でないかどちらもである」ということは誤っていればその通信科は近い fact9: 近い物は捜査でないが起源論である fact10: もし「その通信科は捜査である」ということは成り立つとするとそれは染め出す fact11: 「その通信科は採掘出来ないし逆照射するということはない」ということは真実であるということはない
fact5 & fact11 -> int1: その通信科は捜査だ; int1 & fact10 -> hypothesis;
fact5 & fact11 -> int1: {B}{a}; int1 & fact10 -> hypothesis;
「その通信科は染め出さない」ということは成り立つ
fact17 -> int2: もし仮にその通信科は捜査でない一方で起源論であるとしたらそれは染め出さない; fact14 -> int3: その通信科が近いならば捜査だということはなくてまたそれは起源論である; fact18 -> int4: その食べ残しは扱いでないとすると「実行し易いかもしくは自己負担額でないかまたは両方ともである」ということは成り立たない; fact13 -> int5: もし「その食べ残しは差音でないが身投げする」ということは成り立たないとすればそれは扱いであるということはない; fact16 & fact15 -> int6: この盧遮那仏は出るということはない; int6 -> int7: なんらかのものは出ない;
$facts$ = fact1: もしもその通信科が採掘出来るとすればそれは捜査である fact2: 「この盧遮那仏は損金算入額だということはなくてまた記章でない」ということは成り立たない fact3: 仮にある物は扱いでないなら「それは実行し易いかそれは自己負担額でないかもしくはどちらもだ」ということは偽である fact4: もしも「この盧遮那仏は損金算入額でなくてまたそれは記章でない」ということは偽だとすると出ない fact5: 仮に「その通信科は採掘出来なくてその上逆照射しない」ということは成り立たないならそれは捜査だ fact6: 仮に「何かは差音でないが身投げする」ということは偽であるとすると扱いであるということはない fact7: とあるものが捜査でないけどそれが起源論ならば染め出さない fact8: 仮に「その食べ残しは実行し易いかもしくは自己負担額でないかどちらもである」ということは誤っていればその通信科は近い fact9: 近い物は捜査でないが起源論である fact10: もし「その通信科は捜査である」ということは成り立つとするとそれは染め出す fact11: 「その通信科は採掘出来ないし逆照射するということはない」ということは真実であるということはない ; $hypothesis$ = その通信科は染め出す ; $proof$ = 
fact5 & fact11 -> int1: その通信科は捜査だ; int1 & fact10 -> hypothesis; __PROVED__
事実1: もしもその通信科が採掘出来るとすればそれは捜査である
事実2: 「この盧遮那仏は損金算入額だということはなくてまた記章でない」ということは成り立たない
事実3: 仮にある物は扱いでないなら「それは実行し易いかそれは自己負担額でないかもしくはどちらもだ」ということは偽である
事実4: もしも「この盧遮那仏は損金算入額でなくてまたそれは記章でない」ということは偽だとすると出ない
事実5: 仮に「その通信科は採掘出来なくてその上逆照射しない」ということは成り立たないならそれは捜査だ
事実6: 仮に「何かは差音でないが身投げする」ということは偽であるとすると扱いであるということはない
事実7: とあるものが捜査でないけどそれが起源論ならば染め出さない
事実8: 仮に「その食べ残しは実行し易いかもしくは自己負担額でないかどちらもである」ということは誤っていればその通信科は近い
事実9: 近い物は捜査でないが起源論である
事実10: もし「その通信科は捜査である」ということは成り立つとするとそれは染め出す
事実11: 「その通信科は採掘出来ないし逆照射するということはない」ということは真実であるということはない

仮説: その通信科は染め出す
1. 事実5と事実11から、推論1: "その通信科は捜査だ"が導かれる
2. 推論1と事実10から、仮説が導かれる

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