その保健プロジェクトは冗談ぽい
fact1: もしその情報提供年月が後押しするとするとその保健プロジェクトは冗談ぽいけれどそれは開業後でない fact2: もしもその保健プロジェクトが開業後だとすればその情報提供年月は冗談ぽいけど忙しないということはない fact3: 仮になにがしかの物が大革命でないししかもそれが因数分解しないとすればそれは開業後でない fact4: 仮に何かは反復可能性でないとするとそれは大革命であるということはないし因数分解しない fact5: もしもその情報提供年月が冗談ぽいとすればその保健プロジェクトは後押ししない fact6: もし何らかのものが開業後であるということはないなら忙しなくなくて更にそれは後押しする fact7: その情報提供年月は開業後であるしさらに忙しない fact8: その情報提供年月は忙しない fact9: その情報提供年月は忙しないししかもそれは後押しする fact10: 仮にその保健プロジェクトが忙しないならその情報提供年月は冗談ぽいということはない fact11: その保健プロジェクトは開業後だということはない fact12: その保健プロジェクトは後押しするけれど開業後でない fact13: なにがしかの物は大革命であるならば「冗談ぽくないかもしくは開業後であるかもしくは両方である」ということは本当でない fact14: もし仮に「その情報提供年月は冗談ぽくないかまたは開業後であるかまたはどちらもだ」ということは成り立たないとするとその松山城は開業後でない fact15: もしその情報提供年月が後押しするならその保健プロジェクトは開業後でない
fact9 -> int1: その情報提供年月は後押しする; int1 & fact1 -> int2: その保健プロジェクトは冗談ぽいがそれは開業後でない; int2 -> hypothesis;
fact9 -> int1: {B}{a}; int1 & fact1 -> int2: ({D}{b} & ¬{C}{b}); int2 -> hypothesis;
その保健プロジェクトは冗談ぽくない
fact17 -> int3: 「その情報提供年月は開業後でない」ということは成り立つとすればそれは忙しなくなくてそれは後押しする; fact16 -> int4: もし仮にその情報提供年月が大革命でないしさらにそれが因数分解しないならばそれは開業後でない; fact18 -> int5: もしその情報提供年月は反復可能性でないならば大革命でなくて因数分解しない;
$facts$ = fact1: もしその情報提供年月が後押しするとするとその保健プロジェクトは冗談ぽいけれどそれは開業後でない fact2: もしもその保健プロジェクトが開業後だとすればその情報提供年月は冗談ぽいけど忙しないということはない fact3: 仮になにがしかの物が大革命でないししかもそれが因数分解しないとすればそれは開業後でない fact4: 仮に何かは反復可能性でないとするとそれは大革命であるということはないし因数分解しない fact5: もしもその情報提供年月が冗談ぽいとすればその保健プロジェクトは後押ししない fact6: もし何らかのものが開業後であるということはないなら忙しなくなくて更にそれは後押しする fact7: その情報提供年月は開業後であるしさらに忙しない fact8: その情報提供年月は忙しない fact9: その情報提供年月は忙しないししかもそれは後押しする fact10: 仮にその保健プロジェクトが忙しないならその情報提供年月は冗談ぽいということはない fact11: その保健プロジェクトは開業後だということはない fact12: その保健プロジェクトは後押しするけれど開業後でない fact13: なにがしかの物は大革命であるならば「冗談ぽくないかもしくは開業後であるかもしくは両方である」ということは本当でない fact14: もし仮に「その情報提供年月は冗談ぽくないかまたは開業後であるかまたはどちらもだ」ということは成り立たないとするとその松山城は開業後でない fact15: もしその情報提供年月が後押しするならその保健プロジェクトは開業後でない ; $hypothesis$ = その保健プロジェクトは冗談ぽい ; $proof$ = 
fact9 -> int1: その情報提供年月は後押しする; int1 & fact1 -> int2: その保健プロジェクトは冗談ぽいがそれは開業後でない; int2 -> hypothesis; __PROVED__
事実1: もしその情報提供年月が後押しするとするとその保健プロジェクトは冗談ぽいけれどそれは開業後でない
事実2: もしもその保健プロジェクトが開業後だとすればその情報提供年月は冗談ぽいけど忙しないということはない
事実3: 仮になにがしかの物が大革命でないししかもそれが因数分解しないとすればそれは開業後でない
事実4: 仮に何かは反復可能性でないとするとそれは大革命であるということはないし因数分解しない
事実5: もしもその情報提供年月が冗談ぽいとすればその保健プロジェクトは後押ししない
事実6: もし何らかのものが開業後であるということはないなら忙しなくなくて更にそれは後押しする
事実7: その情報提供年月は開業後であるしさらに忙しない
事実8: その情報提供年月は忙しない
事実9: その情報提供年月は忙しないししかもそれは後押しする
事実10: 仮にその保健プロジェクトが忙しないならその情報提供年月は冗談ぽいということはない
事実11: その保健プロジェクトは開業後だということはない
事実12: その保健プロジェクトは後押しするけれど開業後でない
事実13: なにがしかの物は大革命であるならば「冗談ぽくないかもしくは開業後であるかもしくは両方である」ということは本当でない
事実14: もし仮に「その情報提供年月は冗談ぽくないかまたは開業後であるかまたはどちらもだ」ということは成り立たないとするとその松山城は開業後でない
事実15: もしその情報提供年月が後押しするならその保健プロジェクトは開業後でない

仮説: その保健プロジェクトは冗談ぽい
1. 事実9から、推論1: "その情報提供年月は後押しする"が導かれる
2. 推論1と事実1から、推論2: "その保健プロジェクトは冗談ぽいがそれは開業後でない"が導かれる
3. 推論2から、仮説が導かれる

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