「もしもスクイージーであるしその上大人しとしたらサブレポートでない」物はある
fact1: 仮にあの断崖上はスクイージーであるしその上大人しとすれば「それはサブレポートでない」ということは成り立つ fact2: もしもあの断崖上がスクイージーであるし大人しとすれば「サブレポートである」ということは成り立つ fact3: 「もし仮に擦れるししかも落ち着けるなら掃討戦でない」ものはある fact4: もし仮にあの断崖上はあくどいししかもカプセル化だとすればそれはスクイージーでない fact5: 「仮にスクイージーだしかつ大人しならサブレポートである」物はある fact6: 企業風土が返書ならば給仕しない fact7: 「もし仮に強制力だしその上拘束すれば貴方らしいということはない」物はある
fact1 -> hypothesis;
「もし企業風土であるし返書だとすれば給仕するということはない」ものはある
fact8 -> int1: もしもあの培養後が企業風土であるしそれにそれは返書ならば「給仕しない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 仮にあの断崖上はスクイージーであるしその上大人しとすれば「それはサブレポートでない」ということは成り立つ fact2: もしもあの断崖上がスクイージーであるし大人しとすれば「サブレポートである」ということは成り立つ fact3: 「もし仮に擦れるししかも落ち着けるなら掃討戦でない」ものはある fact4: もし仮にあの断崖上はあくどいししかもカプセル化だとすればそれはスクイージーでない fact5: 「仮にスクイージーだしかつ大人しならサブレポートである」物はある fact6: 企業風土が返書ならば給仕しない fact7: 「もし仮に強制力だしその上拘束すれば貴方らしいということはない」物はある ; $hypothesis$ = 「もしもスクイージーであるしその上大人しとしたらサブレポートでない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にあの断崖上はスクイージーであるしその上大人しとすれば「それはサブレポートでない」ということは成り立つ
事実2: もしもあの断崖上がスクイージーであるし大人しとすれば「サブレポートである」ということは成り立つ
事実3: 「もし仮に擦れるししかも落ち着けるなら掃討戦でない」ものはある
事実4: もし仮にあの断崖上はあくどいししかもカプセル化だとすればそれはスクイージーでない
事実5: 「仮にスクイージーだしかつ大人しならサブレポートである」物はある
事実6: 企業風土が返書ならば給仕しない
事実7: 「もし仮に強制力だしその上拘束すれば貴方らしいということはない」物はある

仮説: 「もしもスクイージーであるしその上大人しとしたらサブレポートでない」物はある
1. 事実1から、仮説が導かれる

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