その予算作成支援システムは敬する
fact1: とある物は先回りするしおまけに巻き取れば認知改善療法でない fact2: なにがしかの物は先回りするが敬するということはない fact3: その取り引き内容は巻き取る fact4: その取り引き内容は先回りする fact5: この二小節は巻き取る fact6: 「発生し難くないし案ぜない」物はある fact7: もし「認知改善療法でなくて羨ましくない」ものがあるならその予算作成支援システムは敬する fact8: あるものは変え難くないしまた現行法でない fact9: もしなにかは御手入れするし借り出すなら広がり難いということはない fact10: あの社会体制は巻き取る fact11: 何らかの物は俗っぽくないし煮溶かさない fact12: なんらかのものは従業員達である一方で万博でない fact13: ある物は先回りしないとすると「それは巻き取るということはないけど敬する」ということは成り立たない fact14: その縦長剥片は先回りする fact15: もし「敬しないしかつ巻き取らない」物があればその取り引き内容は認知改善療法である fact16: その取り引き内容は認知改善療法でないならば「その次書は認知改善療法であるということはなくてまた羨ましくない」ということは本当である
fact4 & fact3 -> int1: その取り引き内容は先回りするし巻き取る; fact1 -> int2: 仮にその取り引き内容は先回りするしそれに巻き取るとすれば「認知改善療法でない」ということは成り立つ; int1 & int2 -> int3: その取り引き内容は認知改善療法でない; int3 & fact16 -> int4: その次書は認知改善療法でないしさらにそれは羨ましくない; int4 -> int5: 「「認知改善療法だということはないし加えて羨ましくない」ということは本当な」物はある; int5 & fact7 -> hypothesis;
その予算作成支援システムは敬するということはない
fact17 -> int6: もし仮にその次書は先回りするということはないとすると「「巻き取らなくて加えて敬する」ということは事実である」ということは確かであるということはない;
$facts$ = fact1: とある物は先回りするしおまけに巻き取れば認知改善療法でない fact2: なにがしかの物は先回りするが敬するということはない fact3: その取り引き内容は巻き取る fact4: その取り引き内容は先回りする fact5: この二小節は巻き取る fact6: 「発生し難くないし案ぜない」物はある fact7: もし「認知改善療法でなくて羨ましくない」ものがあるならその予算作成支援システムは敬する fact8: あるものは変え難くないしまた現行法でない fact9: もしなにかは御手入れするし借り出すなら広がり難いということはない fact10: あの社会体制は巻き取る fact11: 何らかの物は俗っぽくないし煮溶かさない fact12: なんらかのものは従業員達である一方で万博でない fact13: ある物は先回りしないとすると「それは巻き取るということはないけど敬する」ということは成り立たない fact14: その縦長剥片は先回りする fact15: もし「敬しないしかつ巻き取らない」物があればその取り引き内容は認知改善療法である fact16: その取り引き内容は認知改善療法でないならば「その次書は認知改善療法であるということはなくてまた羨ましくない」ということは本当である ; $hypothesis$ = その予算作成支援システムは敬する ; $proof$ = 
fact4 & fact3 -> int1: その取り引き内容は先回りするし巻き取る; fact1 -> int2: 仮にその取り引き内容は先回りするしそれに巻き取るとすれば「認知改善療法でない」ということは成り立つ; int1 & int2 -> int3: その取り引き内容は認知改善療法でない; int3 & fact16 -> int4: その次書は認知改善療法でないしさらにそれは羨ましくない; int4 -> int5: 「「認知改善療法だということはないし加えて羨ましくない」ということは本当な」物はある; int5 & fact7 -> hypothesis; __PROVED__
事実1: とある物は先回りするしおまけに巻き取れば認知改善療法でない
事実2: なにがしかの物は先回りするが敬するということはない
事実3: その取り引き内容は巻き取る
事実4: その取り引き内容は先回りする
事実5: この二小節は巻き取る
事実6: 「発生し難くないし案ぜない」物はある
事実7: もし「認知改善療法でなくて羨ましくない」ものがあるならその予算作成支援システムは敬する
事実8: あるものは変え難くないしまた現行法でない
事実9: もしなにかは御手入れするし借り出すなら広がり難いということはない
事実10: あの社会体制は巻き取る
事実11: 何らかの物は俗っぽくないし煮溶かさない
事実12: なんらかのものは従業員達である一方で万博でない
事実13: ある物は先回りしないとすると「それは巻き取るということはないけど敬する」ということは成り立たない
事実14: その縦長剥片は先回りする
事実15: もし「敬しないしかつ巻き取らない」物があればその取り引き内容は認知改善療法である
事実16: その取り引き内容は認知改善療法でないならば「その次書は認知改善療法であるということはなくてまた羨ましくない」ということは本当である

仮説: その予算作成支援システムは敬する
1. 事実4と事実3から、推論1: "その取り引き内容は先回りするし巻き取る"が導かれる
2. 事実1から、推論2: "仮にその取り引き内容は先回りするしそれに巻き取るとすれば「認知改善療法でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その取り引き内容は認知改善療法でない"が導かれる
4. 推論3と事実16から、推論4: "その次書は認知改善療法でないしさらにそれは羨ましくない"が導かれる
5. 推論4から、推論5: "「「認知改善療法だということはないし加えて羨ましくない」ということは本当な」物はある"が導かれる
6. 推論5と事実7から、仮説が導かれる

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