あのバルバリーは殴り返さなくてそれは目標実現でない
fact1: あのバルバリーは末子だということはなくて加えて高慢でない fact2: もしもその下級条件は崩し易いならば「あのバルバリーは殴り返さなくてまた目標実現でない」ということは成り立たない fact3: 諦め切れるし更にヒットするということはないという物はない fact4: 仮にとあるものは諦め切れないとすると「崩し易くないけど幼い」ということは事実と異なる fact5: あのバルバリーはすげなくなくてまた冷間圧延ステンレス鋼板及び鋼帯でない fact6: あの診療所は調べ上げなくて更に上がり始めない fact7: あのバルバリーは目標実現でないし葡有しない fact8: もし仮に「「崩し易くないしさらに幼い」ということは事実でない」ものがあるとするとあのバルバリーは崩し易い fact9: あのバルバリーは目標実現でない fact10: あのバルバリーはＲＰＧでなくて運悪くない fact11: もし「崩し易い」ものがあるとするとこの財政指標は美味しかないし加えて殴り返すということはない fact12: あのバルバリーは殴り返さなくて更に目標実現でない fact13: あのバルバリーは確かめ得ないしそれはＲＰＧでない fact14: 「あのバルバリーは加重するということはないしその上目標実現でない」ということは正しい fact15: もし幼いものがヒットしないとすると諦め切れる fact16: 仮にこの偶像が諦め切れるとしたらその下級条件は諦め切れる fact17: この外国語らしさは執り行わないしそれは御預けに成らない fact18: もしある物は諦め切れるとすると「それは崩し易い」ということは本当だ fact19: もしもなんらかのものが検知するとしたら幼いけれどヒットするということはない fact20: この潔癖症は殴り返さないしおまけに判別し易くない
fact12 -> hypothesis;
fact12 -> hypothesis;
「あのバルバリーは殴り返さなくてまたそれは目標実現だということはない」ということは誤りである
fact21 -> int1: もしその下級条件が諦め切れれば崩し易い; fact24 -> int2: もしこの偶像は幼いがしかしヒットしないとしたらそれは諦め切れる; fact23 -> int3: この偶像が検知するとすると幼くてまたそれはヒットしない;
$facts$ = fact1: あのバルバリーは末子だということはなくて加えて高慢でない fact2: もしもその下級条件は崩し易いならば「あのバルバリーは殴り返さなくてまた目標実現でない」ということは成り立たない fact3: 諦め切れるし更にヒットするということはないという物はない fact4: 仮にとあるものは諦め切れないとすると「崩し易くないけど幼い」ということは事実と異なる fact5: あのバルバリーはすげなくなくてまた冷間圧延ステンレス鋼板及び鋼帯でない fact6: あの診療所は調べ上げなくて更に上がり始めない fact7: あのバルバリーは目標実現でないし葡有しない fact8: もし仮に「「崩し易くないしさらに幼い」ということは事実でない」ものがあるとするとあのバルバリーは崩し易い fact9: あのバルバリーは目標実現でない fact10: あのバルバリーはＲＰＧでなくて運悪くない fact11: もし「崩し易い」ものがあるとするとこの財政指標は美味しかないし加えて殴り返すということはない fact12: あのバルバリーは殴り返さなくて更に目標実現でない fact13: あのバルバリーは確かめ得ないしそれはＲＰＧでない fact14: 「あのバルバリーは加重するということはないしその上目標実現でない」ということは正しい fact15: もし幼いものがヒットしないとすると諦め切れる fact16: 仮にこの偶像が諦め切れるとしたらその下級条件は諦め切れる fact17: この外国語らしさは執り行わないしそれは御預けに成らない fact18: もしある物は諦め切れるとすると「それは崩し易い」ということは本当だ fact19: もしもなんらかのものが検知するとしたら幼いけれどヒットするということはない fact20: この潔癖症は殴り返さないしおまけに判別し易くない ; $hypothesis$ = あのバルバリーは殴り返さなくてそれは目標実現でない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あのバルバリーは末子だということはなくて加えて高慢でない
事実2: もしもその下級条件は崩し易いならば「あのバルバリーは殴り返さなくてまた目標実現でない」ということは成り立たない
事実3: 諦め切れるし更にヒットするということはないという物はない
事実4: 仮にとあるものは諦め切れないとすると「崩し易くないけど幼い」ということは事実と異なる
事実5: あのバルバリーはすげなくなくてまた冷間圧延ステンレス鋼板及び鋼帯でない
事実6: あの診療所は調べ上げなくて更に上がり始めない
事実7: あのバルバリーは目標実現でないし葡有しない
事実8: もし仮に「「崩し易くないしさらに幼い」ということは事実でない」ものがあるとするとあのバルバリーは崩し易い
事実9: あのバルバリーは目標実現でない
事実10: あのバルバリーはＲＰＧでなくて運悪くない
事実11: もし「崩し易い」ものがあるとするとこの財政指標は美味しかないし加えて殴り返すということはない
事実12: あのバルバリーは殴り返さなくて更に目標実現でない
事実13: あのバルバリーは確かめ得ないしそれはＲＰＧでない
事実14: 「あのバルバリーは加重するということはないしその上目標実現でない」ということは正しい
事実15: もし幼いものがヒットしないとすると諦め切れる
事実16: 仮にこの偶像が諦め切れるとしたらその下級条件は諦め切れる
事実17: この外国語らしさは執り行わないしそれは御預けに成らない
事実18: もしある物は諦め切れるとすると「それは崩し易い」ということは本当だ
事実19: もしもなんらかのものが検知するとしたら幼いけれどヒットするということはない
事実20: この潔癖症は殴り返さないしおまけに判別し易くない

仮説: あのバルバリーは殴り返さなくてそれは目標実現でない
1. 事実12から、仮説が導かれる

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