あの携帯使用は不況下である
fact1: あの携帯使用は支配し始める fact2: もし仮にこの輸出貨物情報ファイルが立て難いとすればあの背負い籠は不況下である fact3: 「「あの日直は砲撃するけれど選択され易くない」ということは真実だ」ということは成り立たないならあの国内は選択され易くない fact4: 仮にあの携帯使用が這い蹲るとすればあの背負い籠は捨てる fact5: あの背負い籠が立て難いならあの携帯使用は不況下だ fact6: もしもあの背負い籠が不況下であるならばあの携帯使用は立て難い fact7: 「あの背負い籠は立て難い」ということは成り立つ fact8: あの携帯使用は立て難い fact9: もしも「とある物は新型エンジンだし開発資金である」ということは誤っているなら新型エンジンだということはない fact10: 「あの国内は選択され易くない」ということは成り立つなら「あの背負い籠は新型エンジンであるし開発資金だ」ということは成り立たない fact11: もしもあの携帯使用が立て難いとすればあの背負い籠は不況下である
fact5 & fact7 -> hypothesis;
fact5 & fact7 -> hypothesis;
あの携帯使用は不況下でない
fact12 -> int1: もしも「「あの背負い籠は新型エンジンであるし開発資金だ」ということは成り立つということはない」ということは成り立てば新型エンジンであるということはない;
$facts$ = fact1: あの携帯使用は支配し始める fact2: もし仮にこの輸出貨物情報ファイルが立て難いとすればあの背負い籠は不況下である fact3: 「「あの日直は砲撃するけれど選択され易くない」ということは真実だ」ということは成り立たないならあの国内は選択され易くない fact4: 仮にあの携帯使用が這い蹲るとすればあの背負い籠は捨てる fact5: あの背負い籠が立て難いならあの携帯使用は不況下だ fact6: もしもあの背負い籠が不況下であるならばあの携帯使用は立て難い fact7: 「あの背負い籠は立て難い」ということは成り立つ fact8: あの携帯使用は立て難い fact9: もしも「とある物は新型エンジンだし開発資金である」ということは誤っているなら新型エンジンだということはない fact10: 「あの国内は選択され易くない」ということは成り立つなら「あの背負い籠は新型エンジンであるし開発資金だ」ということは成り立たない fact11: もしもあの携帯使用が立て難いとすればあの背負い籠は不況下である ; $hypothesis$ = あの携帯使用は不況下である ; $proof$ = 
fact5 & fact7 -> hypothesis; __PROVED__
事実1: あの携帯使用は支配し始める
事実2: もし仮にこの輸出貨物情報ファイルが立て難いとすればあの背負い籠は不況下である
事実3: 「「あの日直は砲撃するけれど選択され易くない」ということは真実だ」ということは成り立たないならあの国内は選択され易くない
事実4: 仮にあの携帯使用が這い蹲るとすればあの背負い籠は捨てる
事実5: あの背負い籠が立て難いならあの携帯使用は不況下だ
事実6: もしもあの背負い籠が不況下であるならばあの携帯使用は立て難い
事実7: 「あの背負い籠は立て難い」ということは成り立つ
事実8: あの携帯使用は立て難い
事実9: もしも「とある物は新型エンジンだし開発資金である」ということは誤っているなら新型エンジンだということはない
事実10: 「あの国内は選択され易くない」ということは成り立つなら「あの背負い籠は新型エンジンであるし開発資金だ」ということは成り立たない
事実11: もしもあの携帯使用が立て難いとすればあの背負い籠は不況下である

仮説: あの携帯使用は不況下である
1. 事実5と事実7から、仮説が導かれる

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