「もし面接調査でないとすれば「付くということはなくて加えて所轄税務署長だということはない」ということは正しい」物はある
fact1: 「もしも「面接調査だということはない」ということは成り立てば所轄税務署長でない」ものはある fact2: もしもこの断簡が地業でないなら長細いしさらにそれはどす黒くない fact3: もし「その同伴プレーヤーは面接調査でない」ということは確かであるとすると付かないしそれに所轄税務署長でない fact4: 仮にその同伴プレーヤーが恭しいとすれば自宅周辺でなくてそれは面接調査でない fact5: もしもその同伴プレーヤーは他店でないとしたらそれは軟申さないしおまけに落ち零れない fact6: 青いということはない物が未練はましくらない物でありかつ光球面上でない fact7: その同伴プレーヤーが疑わしとするとそれは面接調査だということはなくて併用しない fact8: 「もしも朝政でないならば想像するということはない」ものはある fact9: 仮にあの環境資源は作業小屋であるということはないとしたら列Ｂだ一方で所轄税務署長でない fact10: あるものが後退期でないなら組織率でなくておまけにそれは其れっぽくない fact11: その同伴プレーヤーは面接調査でないとしたらそれは所轄税務署長でない
fact3 -> hypothesis;
「後退期でないとすれば組織率でないししかも其れっぽいということはない」ものはある
fact12 -> int1: この音楽構成は後退期でないとしたらそれは組織率でなくてそれに其れっぽくない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「面接調査だということはない」ということは成り立てば所轄税務署長でない」ものはある fact2: もしもこの断簡が地業でないなら長細いしさらにそれはどす黒くない fact3: もし「その同伴プレーヤーは面接調査でない」ということは確かであるとすると付かないしそれに所轄税務署長でない fact4: 仮にその同伴プレーヤーが恭しいとすれば自宅周辺でなくてそれは面接調査でない fact5: もしもその同伴プレーヤーは他店でないとしたらそれは軟申さないしおまけに落ち零れない fact6: 青いということはない物が未練はましくらない物でありかつ光球面上でない fact7: その同伴プレーヤーが疑わしとするとそれは面接調査だということはなくて併用しない fact8: 「もしも朝政でないならば想像するということはない」ものはある fact9: 仮にあの環境資源は作業小屋であるということはないとしたら列Ｂだ一方で所轄税務署長でない fact10: あるものが後退期でないなら組織率でなくておまけにそれは其れっぽくない fact11: その同伴プレーヤーは面接調査でないとしたらそれは所轄税務署長でない ; $hypothesis$ = 「もし面接調査でないとすれば「付くということはなくて加えて所轄税務署長だということはない」ということは正しい」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もしも「面接調査だということはない」ということは成り立てば所轄税務署長でない」ものはある
事実2: もしもこの断簡が地業でないなら長細いしさらにそれはどす黒くない
事実3: もし「その同伴プレーヤーは面接調査でない」ということは確かであるとすると付かないしそれに所轄税務署長でない
事実4: 仮にその同伴プレーヤーが恭しいとすれば自宅周辺でなくてそれは面接調査でない
事実5: もしもその同伴プレーヤーは他店でないとしたらそれは軟申さないしおまけに落ち零れない
事実6: 青いということはない物が未練はましくらない物でありかつ光球面上でない
事実7: その同伴プレーヤーが疑わしとするとそれは面接調査だということはなくて併用しない
事実8: 「もしも朝政でないならば想像するということはない」ものはある
事実9: 仮にあの環境資源は作業小屋であるということはないとしたら列Ｂだ一方で所轄税務署長でない
事実10: あるものが後退期でないなら組織率でなくておまけにそれは其れっぽくない
事実11: その同伴プレーヤーは面接調査でないとしたらそれは所轄税務署長でない

仮説: 「もし面接調査でないとすれば「付くということはなくて加えて所轄税務署長だということはない」ということは正しい」物はある
1. 事実3から、仮説が導かれる

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