「この稼働分析はディベートだ」ということは真実だ
fact1: 仮に何かは得点化するとすると「それは観測結果でないし外し易い」ということは嘘である fact2: 分かり辛くない物は創業する fact3: その北面はディベートだ fact4: もし「何かは観測結果でないがそれは外し易い」ということは偽ならばそれはディベートでない fact5: もしも自動扉は義務違反でないとしたら分かり辛いということはない fact6: その技官は義務違反でない fact7: その熱は悪くて厚ぼったい fact8: 気難しい物は得点化する fact9: もしその熱が悪いならこの稼働分析は得点化しなくてそれにそれは気難しくない fact10: この稼働分析はディベートである fact11: 外し易くないものはディベートであるしまた観測結果だ fact12: その技官は自動扉である fact13: この稼働分析は狭い fact14: もし何らかの物は悪いならば「それは気難しい」ということは事実である fact15: もし「その熱は紹介し切れないけれどそれは厚ぼったい」ということは間違いだとしたらこの稼働分析は悪い
fact10 -> hypothesis;
fact10 -> hypothesis;
この二次体はディベートである
fact17 -> int1: もし仮にこの二次体は外し易くないとするとディベートであるし観測結果である; fact16 -> int2: その熱は悪い; fact18 & int2 -> int3: この稼働分析は得点化しないしおまけに気難しくない; int3 -> int4: この稼働分析は得点化するということはない; int4 -> int5: 「得点化しない」ものはある;
$facts$ = fact1: 仮に何かは得点化するとすると「それは観測結果でないし外し易い」ということは嘘である fact2: 分かり辛くない物は創業する fact3: その北面はディベートだ fact4: もし「何かは観測結果でないがそれは外し易い」ということは偽ならばそれはディベートでない fact5: もしも自動扉は義務違反でないとしたら分かり辛いということはない fact6: その技官は義務違反でない fact7: その熱は悪くて厚ぼったい fact8: 気難しい物は得点化する fact9: もしその熱が悪いならこの稼働分析は得点化しなくてそれにそれは気難しくない fact10: この稼働分析はディベートである fact11: 外し易くないものはディベートであるしまた観測結果だ fact12: その技官は自動扉である fact13: この稼働分析は狭い fact14: もし何らかの物は悪いならば「それは気難しい」ということは事実である fact15: もし「その熱は紹介し切れないけれどそれは厚ぼったい」ということは間違いだとしたらこの稼働分析は悪い ; $hypothesis$ = 「この稼働分析はディベートだ」ということは真実だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮に何かは得点化するとすると「それは観測結果でないし外し易い」ということは嘘である
事実2: 分かり辛くない物は創業する
事実3: その北面はディベートだ
事実4: もし「何かは観測結果でないがそれは外し易い」ということは偽ならばそれはディベートでない
事実5: もしも自動扉は義務違反でないとしたら分かり辛いということはない
事実6: その技官は義務違反でない
事実7: その熱は悪くて厚ぼったい
事実8: 気難しい物は得点化する
事実9: もしその熱が悪いならこの稼働分析は得点化しなくてそれにそれは気難しくない
事実10: この稼働分析はディベートである
事実11: 外し易くないものはディベートであるしまた観測結果だ
事実12: その技官は自動扉である
事実13: この稼働分析は狭い
事実14: もし何らかの物は悪いならば「それは気難しい」ということは事実である
事実15: もし「その熱は紹介し切れないけれどそれは厚ぼったい」ということは間違いだとしたらこの稼働分析は悪い

仮説: 「この稼働分析はディベートだ」ということは真実だ
1. 事実10から、仮説が導かれる

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