その科目別は年間計画でない
fact1: その科目別は上昇し易い fact2: なにがしかの物が年間計画でないかもしくはキャンセルするかもしくは両方ともだとすればその科目別は性分らしい fact3: ある物は里帰りしないかもしくは目新しいかどちらもである fact4: 仮になんらかの物は見易くないとしたら「それはキャンセルするがしかし講学上であるということはない」ということは成り立たない fact5: もしもあるものがキャンセルしないなら里帰りするしその上性分らしい fact6: 仮に「その巻き込みはキャンセルするけどそれは講学上でない」ということは成り立たないならばこの若年労働力はキャンセルするということはない fact7: その男性諸君が見易いとするとキャンセルする fact8: 「キャンセルするということはないかあるいは見易いかあるいはどちらもである」ものはある fact9: 「目新しい」ものがあるとしたらその男性諸君は性分らしい fact10: その男性諸君は見易い fact11: もし仮に「「その男性諸君は目新しくないけど年間計画である」ということは正しい」ということは成り立たないならその科目別は年間計画である fact12: その管理運営は使用し難いし更に見易い fact13: その科目別は計量する fact14: その科目別が年間計画であるし見易いならばあの男性諸君はキャンセルしない fact15: 仮にこの若年労働力は里帰りすれば「その男性諸君は目新しくない一方でそれは年間計画である」ということは誤っている fact16: もしもとある物が里帰りしないかもしくは目新しいかまたはどちらもだとするとその男性諸君は性分らしい fact17: 仮にその男性諸君が性分らしいしキャンセルするならその科目別は年間計画でない fact18: 「年間計画であるということはないかもしくは見易いかあるいは両方ともである」物はある fact19: なにかは里帰りするかあるいはそれは目新しい fact20: もし仮にその科目別は押し包むとすれば「それは性分らしい」ということは真実だ
fact3 & fact16 -> int1: その男性諸君は性分らしい; fact7 & fact10 -> int2: その男性諸君はキャンセルする; int1 & int2 -> int3: その男性諸君は性分らしいししかもキャンセルする; int3 & fact17 -> hypothesis;
「その科目別は年間計画である」ということは成り立つ
fact25 -> int4: もし仮にこの若年労働力がキャンセルしないとすれば里帰りするし性分らしい; fact21 -> int5: もし仮にその巻き込みは見易いということはないとすれば「キャンセルするけど講学上であるということはない」ということは成り立たない;
$facts$ = fact1: その科目別は上昇し易い fact2: なにがしかの物が年間計画でないかもしくはキャンセルするかもしくは両方ともだとすればその科目別は性分らしい fact3: ある物は里帰りしないかもしくは目新しいかどちらもである fact4: 仮になんらかの物は見易くないとしたら「それはキャンセルするがしかし講学上であるということはない」ということは成り立たない fact5: もしもあるものがキャンセルしないなら里帰りするしその上性分らしい fact6: 仮に「その巻き込みはキャンセルするけどそれは講学上でない」ということは成り立たないならばこの若年労働力はキャンセルするということはない fact7: その男性諸君が見易いとするとキャンセルする fact8: 「キャンセルするということはないかあるいは見易いかあるいはどちらもである」ものはある fact9: 「目新しい」ものがあるとしたらその男性諸君は性分らしい fact10: その男性諸君は見易い fact11: もし仮に「「その男性諸君は目新しくないけど年間計画である」ということは正しい」ということは成り立たないならその科目別は年間計画である fact12: その管理運営は使用し難いし更に見易い fact13: その科目別は計量する fact14: その科目別が年間計画であるし見易いならばあの男性諸君はキャンセルしない fact15: 仮にこの若年労働力は里帰りすれば「その男性諸君は目新しくない一方でそれは年間計画である」ということは誤っている fact16: もしもとある物が里帰りしないかもしくは目新しいかまたはどちらもだとするとその男性諸君は性分らしい fact17: 仮にその男性諸君が性分らしいしキャンセルするならその科目別は年間計画でない fact18: 「年間計画であるということはないかもしくは見易いかあるいは両方ともである」物はある fact19: なにかは里帰りするかあるいはそれは目新しい fact20: もし仮にその科目別は押し包むとすれば「それは性分らしい」ということは真実だ ; $hypothesis$ = その科目別は年間計画でない ; $proof$ = 
fact3 & fact16 -> int1: その男性諸君は性分らしい; fact7 & fact10 -> int2: その男性諸君はキャンセルする; int1 & int2 -> int3: その男性諸君は性分らしいししかもキャンセルする; int3 & fact17 -> hypothesis; __PROVED__
事実1: その科目別は上昇し易い
事実2: なにがしかの物が年間計画でないかもしくはキャンセルするかもしくは両方ともだとすればその科目別は性分らしい
事実3: ある物は里帰りしないかもしくは目新しいかどちらもである
事実4: 仮になんらかの物は見易くないとしたら「それはキャンセルするがしかし講学上であるということはない」ということは成り立たない
事実5: もしもあるものがキャンセルしないなら里帰りするしその上性分らしい
事実6: 仮に「その巻き込みはキャンセルするけどそれは講学上でない」ということは成り立たないならばこの若年労働力はキャンセルするということはない
事実7: その男性諸君が見易いとするとキャンセルする
事実8: 「キャンセルするということはないかあるいは見易いかあるいはどちらもである」ものはある
事実9: 「目新しい」ものがあるとしたらその男性諸君は性分らしい
事実10: その男性諸君は見易い
事実11: もし仮に「「その男性諸君は目新しくないけど年間計画である」ということは正しい」ということは成り立たないならその科目別は年間計画である
事実12: その管理運営は使用し難いし更に見易い
事実13: その科目別は計量する
事実14: その科目別が年間計画であるし見易いならばあの男性諸君はキャンセルしない
事実15: 仮にこの若年労働力は里帰りすれば「その男性諸君は目新しくない一方でそれは年間計画である」ということは誤っている
事実16: もしもとある物が里帰りしないかもしくは目新しいかまたはどちらもだとするとその男性諸君は性分らしい
事実17: 仮にその男性諸君が性分らしいしキャンセルするならその科目別は年間計画でない
事実18: 「年間計画であるということはないかもしくは見易いかあるいは両方ともである」物はある
事実19: なにかは里帰りするかあるいはそれは目新しい
事実20: もし仮にその科目別は押し包むとすれば「それは性分らしい」ということは真実だ

仮説: その科目別は年間計画でない
1. 事実3と事実16から、推論1: "その男性諸君は性分らしい"が導かれる
2. 事実7と事実10から、推論2: "その男性諸君はキャンセルする"が導かれる
3. 推論1と推論2から、推論3: "その男性諸君は性分らしいししかもキャンセルする"が導かれる
4. 推論3と事実17から、仮説が導かれる

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