「仮に断熱するとすれば慎ましくなくておまけに区分しない」ものはある
fact1: 「もし断熱するとすると慎ましくない」ものはある fact2: もしこの庁舎周辺が微細化するとすればそれは区分しなくて加えて悲しない fact3: もし仮にその希釈が掻器だとしたら泡立てないし付け過ぎるということはない fact4: そのエアフロメーターが断熱するなら慎ましくない一方で区分する fact5: 「もしも付け過ぎるとすると遣り難くないけどモンゴル語である」物はある fact6: もしもそのエアフロメーターが慎ましいならそれは規格大量生産であるということはないしそれは根掛かりしない fact7: 「仮に断熱するとすれば慎ましいしそれに区分しない」ものはある fact8: 「「もし断熱するとすれば慎ましくないがしかし区分する」ものはある」ということは成り立つ fact9: もしそのエアフロメーターが断熱するとすると慎ましくない fact10: その助言等がおんびであるとしたら退らないしまたそれは男の子らしい fact11: 「もし仮に卑しいとしたらふらつかないし君らしくない」物はある fact12: 仮に何らかのものが断熱するとすれば慎ましくないしまた区分しない fact13: もしもそのエアフロメーターが根気強いならそれは深いということはないしそれに塗り易くない fact14: 「「仮に断熱すれば区分しない」ものはある」ということは確かだ
fact12 -> int1: もしもそのエアフロメーターが断熱するとすれば慎ましくなくてしかも区分しない; int1 -> hypothesis;
$facts$ = fact1: 「もし断熱するとすると慎ましくない」ものはある fact2: もしこの庁舎周辺が微細化するとすればそれは区分しなくて加えて悲しない fact3: もし仮にその希釈が掻器だとしたら泡立てないし付け過ぎるということはない fact4: そのエアフロメーターが断熱するなら慎ましくない一方で区分する fact5: 「もしも付け過ぎるとすると遣り難くないけどモンゴル語である」物はある fact6: もしもそのエアフロメーターが慎ましいならそれは規格大量生産であるということはないしそれは根掛かりしない fact7: 「仮に断熱するとすれば慎ましいしそれに区分しない」ものはある fact8: 「「もし断熱するとすれば慎ましくないがしかし区分する」ものはある」ということは成り立つ fact9: もしそのエアフロメーターが断熱するとすると慎ましくない fact10: その助言等がおんびであるとしたら退らないしまたそれは男の子らしい fact11: 「もし仮に卑しいとしたらふらつかないし君らしくない」物はある fact12: 仮に何らかのものが断熱するとすれば慎ましくないしまた区分しない fact13: もしもそのエアフロメーターが根気強いならそれは深いということはないしそれに塗り易くない fact14: 「「仮に断熱すれば区分しない」ものはある」ということは確かだ ; $hypothesis$ = 「仮に断熱するとすれば慎ましくなくておまけに区分しない」ものはある ; $proof$ = 
fact12 -> int1: もしもそのエアフロメーターが断熱するとすれば慎ましくなくてしかも区分しない; int1 -> hypothesis; __PROVED__
事実1: 「もし断熱するとすると慎ましくない」ものはある
事実2: もしこの庁舎周辺が微細化するとすればそれは区分しなくて加えて悲しない
事実3: もし仮にその希釈が掻器だとしたら泡立てないし付け過ぎるということはない
事実4: そのエアフロメーターが断熱するなら慎ましくない一方で区分する
事実5: 「もしも付け過ぎるとすると遣り難くないけどモンゴル語である」物はある
事実6: もしもそのエアフロメーターが慎ましいならそれは規格大量生産であるということはないしそれは根掛かりしない
事実7: 「仮に断熱するとすれば慎ましいしそれに区分しない」ものはある
事実8: 「「もし断熱するとすれば慎ましくないがしかし区分する」ものはある」ということは成り立つ
事実9: もしそのエアフロメーターが断熱するとすると慎ましくない
事実10: その助言等がおんびであるとしたら退らないしまたそれは男の子らしい
事実11: 「もし仮に卑しいとしたらふらつかないし君らしくない」物はある
事実12: 仮に何らかのものが断熱するとすれば慎ましくないしまた区分しない
事実13: もしもそのエアフロメーターが根気強いならそれは深いということはないしそれに塗り易くない
事実14: 「「仮に断熱すれば区分しない」ものはある」ということは確かだ

仮説: 「仮に断熱するとすれば慎ましくなくておまけに区分しない」ものはある
1. 事実12から、推論1: "もしもそのエアフロメーターが断熱するとすれば慎ましくなくてしかも区分しない"が導かれる
2. 推論1から、仮説が導かれる

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