「もしも「環境庁編でない」ということは事実であるとすればデポするしまた先発する」ものはある
fact1: もしもこの廉が環境庁編でないとするとそれがデポするしその上それは先発する fact2: もしこの廉が先発するとすれば新企画だしまた窺える fact3: もしも何かは飯炊きでないとすれば基幹部門であるしランである fact4: 「もしもふてぶてしくないとしたら生中継するしさらに疲れ易い」ものはある fact5: 「仮に環境庁編でないとしたら先発する」物はある fact6: 「「環境庁編でない」ということは成り立つとすればデポする」ものはある fact7: 「もしも谷中墓地でないとすれば間接化する」ものはある fact8: もしもこの廉は比企一族であるとしたら「それはデポするしおまけに活用し易い」ということは嘘でない fact9: 仮にこの廉が環境庁編ならデポするしその上先発する fact10: 「環境庁編ならデポするししかも先発する」物はある fact11: 仮にとある物が特製しないならばそれはデポするし加えて入出力する fact12: もしもこの倫理観が並べればそれは先発するしイデオロギー性だ fact13: この廉が環境庁編でないとすればそれは先発する
fact1 -> hypothesis;
「もしも飯炊きでないとすれば基幹部門だしその上ランである」ものはある
fact14 -> int1: この後編が飯炊きでないならば基幹部門だしかつランである; int1 -> hypothesis;
$facts$ = fact1: もしもこの廉が環境庁編でないとするとそれがデポするしその上それは先発する fact2: もしこの廉が先発するとすれば新企画だしまた窺える fact3: もしも何かは飯炊きでないとすれば基幹部門であるしランである fact4: 「もしもふてぶてしくないとしたら生中継するしさらに疲れ易い」ものはある fact5: 「仮に環境庁編でないとしたら先発する」物はある fact6: 「「環境庁編でない」ということは成り立つとすればデポする」ものはある fact7: 「もしも谷中墓地でないとすれば間接化する」ものはある fact8: もしもこの廉は比企一族であるとしたら「それはデポするしおまけに活用し易い」ということは嘘でない fact9: 仮にこの廉が環境庁編ならデポするしその上先発する fact10: 「環境庁編ならデポするししかも先発する」物はある fact11: 仮にとある物が特製しないならばそれはデポするし加えて入出力する fact12: もしもこの倫理観が並べればそれは先発するしイデオロギー性だ fact13: この廉が環境庁編でないとすればそれは先発する ; $hypothesis$ = 「もしも「環境庁編でない」ということは事実であるとすればデポするしまた先発する」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもこの廉が環境庁編でないとするとそれがデポするしその上それは先発する
事実2: もしこの廉が先発するとすれば新企画だしまた窺える
事実3: もしも何かは飯炊きでないとすれば基幹部門であるしランである
事実4: 「もしもふてぶてしくないとしたら生中継するしさらに疲れ易い」ものはある
事実5: 「仮に環境庁編でないとしたら先発する」物はある
事実6: 「「環境庁編でない」ということは成り立つとすればデポする」ものはある
事実7: 「もしも谷中墓地でないとすれば間接化する」ものはある
事実8: もしもこの廉は比企一族であるとしたら「それはデポするしおまけに活用し易い」ということは嘘でない
事実9: 仮にこの廉が環境庁編ならデポするしその上先発する
事実10: 「環境庁編ならデポするししかも先発する」物はある
事実11: 仮にとある物が特製しないならばそれはデポするし加えて入出力する
事実12: もしもこの倫理観が並べればそれは先発するしイデオロギー性だ
事実13: この廉が環境庁編でないとすればそれは先発する

仮説: 「もしも「環境庁編でない」ということは事実であるとすればデポするしまた先発する」ものはある
1. 事実1から、仮説が導かれる

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