「その積極的活用は三味でないがしかしそれはＩＴＳ関係者だ」ということは間違いだ
fact1: その有機物質は三味である fact2: その温厚は絶え間無いということはないがしかし適す fact3: 「その積極的活用は三味であるしさらにＩＴＳ関係者である」ということは事実と異なる fact4: その有機物質は艶めかしいかもしくは適す fact5: その有機物質がＩＴＳ関係者だということはないとするとその積極的活用はＩＴＳ関係者でないけど艶めかしい fact6: 仮にその温厚はＩＴＳ関係者であるとしたら「その積極的活用は三味で更にそれはＩＴＳ関係者だ」ということは事実でない fact7: その温厚は絶え間無いということはない fact8: もしこの追随者はしぶといということはないしかつ絶え間無くないならば「その温厚はしぶとくない」ということは確かだ fact9: もしもその温厚が絶え間無いかあるいはそれは打ち易いかまたは両方ならそれは艶めかしくない fact10: もしも「その温厚はゲノム創薬でないが道術である」ということは誤っていればゲノム創薬だ fact11: 「「道術であるしまたゲノム創薬だ」ということは本当でない」物はある fact12: 仮にその温厚が適さないし加えてそれが絶え間無くないとするとその有機物質は適す fact13: ある物が打ち易くないならばそれはしぶとい fact14: もしもこの追随者がゲノム創薬だとしたら絶え間無くない fact15: もし仮にその温厚はＩＴＳ関係者であるとすると「その積極的活用は三味であるということはない一方でＩＴＳ関係者だ」ということは成り立たない fact16: もし仮にその積極的活用が三味でないとすれば絶え間無い fact17: もしもその有機物質は艶めかしいとすれば「この追随者は打ち易くない」ということは成り立つ fact18: もし仮にこの追随者が絶え間無くないとするとその温厚は絶え間無いということはないがそれはＩＴＳ関係者である fact19: もしその有機物質が適すならこの追随者は打ち易いということはない fact20: 仮にその温厚はしぶとくないなら「打ち易いしおまけにそれは適す」ということは誤りである fact21: 仮にこの追随者はゲノム創薬であるかしぶといとしたら絶え間無くない fact22: その温厚がゲノム創薬だとすれば適さないし更に絶え間無いということはない fact23: もしその有機物質が艶めかしいならばこの追随者は打ち易い fact24: 仮にこの追随者が絶え間無くないとすればその温厚は絶え間無くない fact25: 「その積極的活用は艶めかしい」ということは成り立つとすれば「その有機物質は三味でない」ということは真実だ fact26: 艶めかしい物はしぶとい fact27: 仮に「この追随者は三味でなくておまけにそれはＩＴＳ関係者でない」ということは誤りであるとすればその有機物質は打ち易くない
fact4 & fact17 & fact19 -> int1: この追随者は打ち易くない; fact13 -> int2: もしこの追随者が打ち易くないとすればそれはしぶとい; int1 & int2 -> int3: この追随者はしぶとい; int3 -> int4: この追随者はゲノム創薬であるかあるいはそれはしぶとい; int4 & fact21 -> int5: 「この追随者は絶え間無くない」ということは確かである; int5 & fact18 -> int6: その温厚は絶え間無くないがしかしＩＴＳ関係者である; int6 -> int7: その温厚はＩＴＳ関係者である; int7 & fact15 -> hypothesis;
その刑事部はしぶとい
fact31 -> int8: その刑事部が艶めかしいとするとしぶとい;
$facts$ = fact1: その有機物質は三味である fact2: その温厚は絶え間無いということはないがしかし適す fact3: 「その積極的活用は三味であるしさらにＩＴＳ関係者である」ということは事実と異なる fact4: その有機物質は艶めかしいかもしくは適す fact5: その有機物質がＩＴＳ関係者だということはないとするとその積極的活用はＩＴＳ関係者でないけど艶めかしい fact6: 仮にその温厚はＩＴＳ関係者であるとしたら「その積極的活用は三味で更にそれはＩＴＳ関係者だ」ということは事実でない fact7: その温厚は絶え間無いということはない fact8: もしこの追随者はしぶといということはないしかつ絶え間無くないならば「その温厚はしぶとくない」ということは確かだ fact9: もしもその温厚が絶え間無いかあるいはそれは打ち易いかまたは両方ならそれは艶めかしくない fact10: もしも「その温厚はゲノム創薬でないが道術である」ということは誤っていればゲノム創薬だ fact11: 「「道術であるしまたゲノム創薬だ」ということは本当でない」物はある fact12: 仮にその温厚が適さないし加えてそれが絶え間無くないとするとその有機物質は適す fact13: ある物が打ち易くないならばそれはしぶとい fact14: もしもこの追随者がゲノム創薬だとしたら絶え間無くない fact15: もし仮にその温厚はＩＴＳ関係者であるとすると「その積極的活用は三味であるということはない一方でＩＴＳ関係者だ」ということは成り立たない fact16: もし仮にその積極的活用が三味でないとすれば絶え間無い fact17: もしもその有機物質は艶めかしいとすれば「この追随者は打ち易くない」ということは成り立つ fact18: もし仮にこの追随者が絶え間無くないとするとその温厚は絶え間無いということはないがそれはＩＴＳ関係者である fact19: もしその有機物質が適すならこの追随者は打ち易いということはない fact20: 仮にその温厚はしぶとくないなら「打ち易いしおまけにそれは適す」ということは誤りである fact21: 仮にこの追随者はゲノム創薬であるかしぶといとしたら絶え間無くない fact22: その温厚がゲノム創薬だとすれば適さないし更に絶え間無いということはない fact23: もしその有機物質が艶めかしいならばこの追随者は打ち易い fact24: 仮にこの追随者が絶え間無くないとすればその温厚は絶え間無くない fact25: 「その積極的活用は艶めかしい」ということは成り立つとすれば「その有機物質は三味でない」ということは真実だ fact26: 艶めかしい物はしぶとい fact27: 仮に「この追随者は三味でなくておまけにそれはＩＴＳ関係者でない」ということは誤りであるとすればその有機物質は打ち易くない ; $hypothesis$ = 「その積極的活用は三味でないがしかしそれはＩＴＳ関係者だ」ということは間違いだ ; $proof$ = 
fact4 & fact17 & fact19 -> int1: この追随者は打ち易くない; fact13 -> int2: もしこの追随者が打ち易くないとすればそれはしぶとい; int1 & int2 -> int3: この追随者はしぶとい; int3 -> int4: この追随者はゲノム創薬であるかあるいはそれはしぶとい; int4 & fact21 -> int5: 「この追随者は絶え間無くない」ということは確かである; int5 & fact18 -> int6: その温厚は絶え間無くないがしかしＩＴＳ関係者である; int6 -> int7: その温厚はＩＴＳ関係者である; int7 & fact15 -> hypothesis; __PROVED__
事実1: その有機物質は三味である
事実2: その温厚は絶え間無いということはないがしかし適す
事実3: 「その積極的活用は三味であるしさらにＩＴＳ関係者である」ということは事実と異なる
事実4: その有機物質は艶めかしいかもしくは適す
事実5: その有機物質がＩＴＳ関係者だということはないとするとその積極的活用はＩＴＳ関係者でないけど艶めかしい
事実6: 仮にその温厚はＩＴＳ関係者であるとしたら「その積極的活用は三味で更にそれはＩＴＳ関係者だ」ということは事実でない
事実7: その温厚は絶え間無いということはない
事実8: もしこの追随者はしぶといということはないしかつ絶え間無くないならば「その温厚はしぶとくない」ということは確かだ
事実9: もしもその温厚が絶え間無いかあるいはそれは打ち易いかまたは両方ならそれは艶めかしくない
事実10: もしも「その温厚はゲノム創薬でないが道術である」ということは誤っていればゲノム創薬だ
事実11: 「「道術であるしまたゲノム創薬だ」ということは本当でない」物はある
事実12: 仮にその温厚が適さないし加えてそれが絶え間無くないとするとその有機物質は適す
事実13: ある物が打ち易くないならばそれはしぶとい
事実14: もしもこの追随者がゲノム創薬だとしたら絶え間無くない
事実15: もし仮にその温厚はＩＴＳ関係者であるとすると「その積極的活用は三味であるということはない一方でＩＴＳ関係者だ」ということは成り立たない
事実16: もし仮にその積極的活用が三味でないとすれば絶え間無い
事実17: もしもその有機物質は艶めかしいとすれば「この追随者は打ち易くない」ということは成り立つ
事実18: もし仮にこの追随者が絶え間無くないとするとその温厚は絶え間無いということはないがそれはＩＴＳ関係者である
事実19: もしその有機物質が適すならこの追随者は打ち易いということはない
事実20: 仮にその温厚はしぶとくないなら「打ち易いしおまけにそれは適す」ということは誤りである
事実21: 仮にこの追随者はゲノム創薬であるかしぶといとしたら絶え間無くない
事実22: その温厚がゲノム創薬だとすれば適さないし更に絶え間無いということはない
事実23: もしその有機物質が艶めかしいならばこの追随者は打ち易い
事実24: 仮にこの追随者が絶え間無くないとすればその温厚は絶え間無くない
事実25: 「その積極的活用は艶めかしい」ということは成り立つとすれば「その有機物質は三味でない」ということは真実だ
事実26: 艶めかしい物はしぶとい
事実27: 仮に「この追随者は三味でなくておまけにそれはＩＴＳ関係者でない」ということは誤りであるとすればその有機物質は打ち易くない

仮説: 「その積極的活用は三味でないがしかしそれはＩＴＳ関係者だ」ということは間違いだ
1. 事実4と事実17と事実19から、推論1: "この追随者は打ち易くない"が導かれる
2. 事実13から、推論2: "もしこの追随者が打ち易くないとすればそれはしぶとい"が導かれる
3. 推論1と推論2から、推論3: "この追随者はしぶとい"が導かれる
4. 推論3から、推論4: "この追随者はゲノム創薬であるかあるいはそれはしぶとい"が導かれる
5. 推論4と事実21から、推論5: "「この追随者は絶え間無くない」ということは確かである"が導かれる
6. 推論5と事実18から、推論6: "その温厚は絶え間無くないがしかしＩＴＳ関係者である"が導かれる
7. 推論6から、推論7: "その温厚はＩＴＳ関係者である"が導かれる
8. 推論7と事実15から、仮説が導かれる

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