この能力開発は別所でなくてそれは御借りしない
fact1: この能力開発は物欲しかないとすれば「それは二十八Ａ―Ｃであるし事業債権だ」ということは誤りだ fact2: この就学期間は農協共済加入者でない fact3: もし「あの二年生時代は行われ易くないけれど青白い」ということは成り立たないならば「青白くない」ということは本当だ fact4: この能力開発は行われ易い fact5: もし「「「この就学期間は別所だということはないし更にそれはグラインドしない」ということは成り立つ」ということは誤りだ」ということは成り立つとするとあの二年生時代はグラインドしない fact6: もし「「二十八Ａ―Ｃで加えて事業債権である」ということは成り立たない」ものがあるとするとこの就学期間は農協共済加入者でない fact7: もしあるものは農協共済加入者でないならば「それは別所でなくてそれにグラインドしない」ということは成り立たない fact8: この就学期間はグラインドする fact9: 「逃げ散る」ものはある fact10: 仮に「このスキンケア方法が逃げ散るということはないしその上物欲しかない」ということは偽であるとするとこの能力開発は物欲しかない fact11: もしもこの就学期間が青白くてかつそれがグラインドするとしたらこの能力開発は御借りするということはない fact12: もしも「なにかは御借りするしそれに御目覚める」ということは成り立たないならば御目覚めない fact13: この能力開発は農協共済加入者だ fact14: 「この就学期間は青白い」ということは正しい fact15: もしも「「逃げ散る」ということは本当である」物はあれば「このスキンケア方法は逃げ散らなくておまけに物欲しかない」ということは成り立たない fact16: もし仮になんらかの物は青白くないとすると「それは御借りするししかも御目覚める」ということは誤っている fact17: 「あるものは二十八Ａ―Ｃであるか農協共済加入者でない」ということは嘘ならそれは別所でない fact18: この能力開発は行われ易いとすれば「二十八Ａ―Ｃであるか農協共済加入者でない」ということは成り立つということはない
fact14 & fact8 -> int1: この就学期間は青白くてグラインドする; int1 & fact11 -> int2: この能力開発は御借りしない; fact4 & fact18 -> int3: 「この能力開発は二十八Ａ―Ｃであるかあるいは農協共済加入者でないかもしくは両方だ」ということは誤りだ; fact17 -> int4: もしも「この能力開発は二十八Ａ―Ｃであるかもしくはそれは農協共済加入者でない」ということは事実と異なるとすると別所でない; int3 & int4 -> int5: この能力開発は別所でない; int2 & int5 -> hypothesis;
fact14 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact11 -> int2: ¬{C}{b}; fact4 & fact18 -> int3: ¬({F}{b} v ¬{E}{b}); fact17 -> int4: ¬({F}{b} v ¬{E}{b}) -> ¬{D}{b}; int3 & int4 -> int5: ¬{D}{b}; int2 & int5 -> hypothesis;
あの二年生時代はグラインドしないし更に御目覚めない
fact28 -> int6: この就学期間は農協共済加入者でないとすれば「別所でないしかつグラインドしない」ということは偽だ; fact23 & fact27 -> int7: 「このスキンケア方法は逃げ散らなくてその上それは物欲しいということはない」ということは間違っている; fact26 & int7 -> int8: この能力開発は物欲しかない; fact21 & int8 -> int9: 「この能力開発は二十八Ａ―Ｃであるし事業債権だ」ということは成り立つということはない; int9 -> int10: 「「二十八Ａ―Ｃで事業債権だ」ということは間違っている」物はある; int10 & fact25 -> int11: この就学期間は農協共済加入者でない; int6 & int11 -> int12: 「「この就学期間は別所でないしグラインドしない」ということは誤っている」ということは真実だ; fact22 & int12 -> int13: あの二年生時代はグラインドしない; fact19 -> int14: もしも「あの二年生時代は御借りするし更に御目覚める」ということは誤っているならそれは御目覚めない; fact24 -> int15: もしもあの二年生時代は青白くないとしたら「御借りするしそれは御目覚める」ということは事実と異なる;
$facts$ = fact1: この能力開発は物欲しかないとすれば「それは二十八Ａ―Ｃであるし事業債権だ」ということは誤りだ fact2: この就学期間は農協共済加入者でない fact3: もし「あの二年生時代は行われ易くないけれど青白い」ということは成り立たないならば「青白くない」ということは本当だ fact4: この能力開発は行われ易い fact5: もし「「「この就学期間は別所だということはないし更にそれはグラインドしない」ということは成り立つ」ということは誤りだ」ということは成り立つとするとあの二年生時代はグラインドしない fact6: もし「「二十八Ａ―Ｃで加えて事業債権である」ということは成り立たない」ものがあるとするとこの就学期間は農協共済加入者でない fact7: もしあるものは農協共済加入者でないならば「それは別所でなくてそれにグラインドしない」ということは成り立たない fact8: この就学期間はグラインドする fact9: 「逃げ散る」ものはある fact10: 仮に「このスキンケア方法が逃げ散るということはないしその上物欲しかない」ということは偽であるとするとこの能力開発は物欲しかない fact11: もしもこの就学期間が青白くてかつそれがグラインドするとしたらこの能力開発は御借りするということはない fact12: もしも「なにかは御借りするしそれに御目覚める」ということは成り立たないならば御目覚めない fact13: この能力開発は農協共済加入者だ fact14: 「この就学期間は青白い」ということは正しい fact15: もしも「「逃げ散る」ということは本当である」物はあれば「このスキンケア方法は逃げ散らなくておまけに物欲しかない」ということは成り立たない fact16: もし仮になんらかの物は青白くないとすると「それは御借りするししかも御目覚める」ということは誤っている fact17: 「あるものは二十八Ａ―Ｃであるか農協共済加入者でない」ということは嘘ならそれは別所でない fact18: この能力開発は行われ易いとすれば「二十八Ａ―Ｃであるか農協共済加入者でない」ということは成り立つということはない ; $hypothesis$ = この能力開発は別所でなくてそれは御借りしない ; $proof$ = 
fact14 & fact8 -> int1: この就学期間は青白くてグラインドする; int1 & fact11 -> int2: この能力開発は御借りしない; fact4 & fact18 -> int3: 「この能力開発は二十八Ａ―Ｃであるかあるいは農協共済加入者でないかもしくは両方だ」ということは誤りだ; fact17 -> int4: もしも「この能力開発は二十八Ａ―Ｃであるかもしくはそれは農協共済加入者でない」ということは事実と異なるとすると別所でない; int3 & int4 -> int5: この能力開発は別所でない; int2 & int5 -> hypothesis; __PROVED__
事実1: この能力開発は物欲しかないとすれば「それは二十八Ａ―Ｃであるし事業債権だ」ということは誤りだ
事実2: この就学期間は農協共済加入者でない
事実3: もし「あの二年生時代は行われ易くないけれど青白い」ということは成り立たないならば「青白くない」ということは本当だ
事実4: この能力開発は行われ易い
事実5: もし「「「この就学期間は別所だということはないし更にそれはグラインドしない」ということは成り立つ」ということは誤りだ」ということは成り立つとするとあの二年生時代はグラインドしない
事実6: もし「「二十八Ａ―Ｃで加えて事業債権である」ということは成り立たない」ものがあるとするとこの就学期間は農協共済加入者でない
事実7: もしあるものは農協共済加入者でないならば「それは別所でなくてそれにグラインドしない」ということは成り立たない
事実8: この就学期間はグラインドする
事実9: 「逃げ散る」ものはある
事実10: 仮に「このスキンケア方法が逃げ散るということはないしその上物欲しかない」ということは偽であるとするとこの能力開発は物欲しかない
事実11: もしもこの就学期間が青白くてかつそれがグラインドするとしたらこの能力開発は御借りするということはない
事実12: もしも「なにかは御借りするしそれに御目覚める」ということは成り立たないならば御目覚めない
事実13: この能力開発は農協共済加入者だ
事実14: 「この就学期間は青白い」ということは正しい
事実15: もしも「「逃げ散る」ということは本当である」物はあれば「このスキンケア方法は逃げ散らなくておまけに物欲しかない」ということは成り立たない
事実16: もし仮になんらかの物は青白くないとすると「それは御借りするししかも御目覚める」ということは誤っている
事実17: 「あるものは二十八Ａ―Ｃであるか農協共済加入者でない」ということは嘘ならそれは別所でない
事実18: この能力開発は行われ易いとすれば「二十八Ａ―Ｃであるか農協共済加入者でない」ということは成り立つということはない

仮説: この能力開発は別所でなくてそれは御借りしない
1. 事実14と事実8から、推論1: "この就学期間は青白くてグラインドする"が導かれる
2. 推論1と事実11から、推論2: "この能力開発は御借りしない"が導かれる
3. 事実4と事実18から、推論3: "「この能力開発は二十八Ａ―Ｃであるかあるいは農協共済加入者でないかもしくは両方だ」ということは誤りだ"が導かれる
4. 事実17から、推論4: "もしも「この能力開発は二十八Ａ―Ｃであるかもしくはそれは農協共済加入者でない」ということは事実と異なるとすると別所でない"が導かれる
5. 推論3と推論4から、推論5: "この能力開発は別所でない"が導かれる
6. 推論2と推論5から、仮説が導かれる

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