この予定時間は操作性だ一方でそれはキータイプしない
fact1: その巨人達は奥床しくなくて更にキータイプしない fact2: その巨人達はぷっくりしない fact3: もし「二十一．二二ＥＶでなくて振り撒く」ものがあるならこの十三種類は胎蔵するということはない fact4: もしその巨人達は最新号でないとすると「奥床しいかもしくは等価性でない」ということは誤りである fact5: もし仮に何らかのものはツールオプションでないとしたら「それは世知辛くない一方で最新号である」ということは間違いである fact6: その巨人達は刊行するがしかしキータイプしない fact7: 「その巨人達は最新号でない」ということは事実だ fact8: 仮にあの蛍光灯はキータイプしないならば「奥床しいかまたは等価性でないかもしくは両方である」ということは事実でない fact9: 「あの蛍光灯は打ち易い」ということは事実である fact10: この予定時間は操作性である fact11: 仮に世知辛くない物がキータイプしないとすると最新号でない fact12: なんらかの物が胎蔵しないならばそれは操作性であるしツールオプションだ fact13: 仮にあの蛍光灯がキータイプすればこの予定時間はキータイプしなくてそれは世知辛くない fact14: その巨人達は奥床しくない fact15: あの目鼻立ちは操作性である fact16: 仮にあの蛍光灯がキータイプするとしたらこの予定時間は世知辛いということはない fact17: その巨人達は二十一．二二ＥＶでないが振り撒く fact18: このＴ型は等価性でない fact19: もしもその巨人達は最新号でないとしたらそれは奥床しくない fact20: この予定時間は世知辛くない fact21: あの蛍光灯は奥床しくない fact22: もしも「この予定時間は最新号であるかまたはそれは世知辛くないかあるいは両方だ」ということは偽ならばその巨人達はキータイプする fact23: 仮に「その巨人達は奥床しいかまたはそれは等価性でないかまたは両方だ」ということは間違っているとするとあの蛍光灯はキータイプする
fact4 & fact7 -> int1: 「その巨人達は奥床しいかまたは等価性でない」ということは成り立たない; int1 & fact23 -> int2: あの蛍光灯はキータイプする; int2 & fact13 -> int3: この予定時間はキータイプするということはないし更に世知辛くない; int3 -> int4: この予定時間はキータイプしない; int4 & fact10 -> hypothesis;
この十三種類は最新号でない
fact26 -> int5: この十三種類は世知辛くなくて更にキータイプしないならそれは最新号であるということはない; fact24 -> int6: もし仮にこの十三種類が胎蔵しないとするとそれは操作性でツールオプションである; fact25 -> int7: 何らかの物は二十一．二二ＥＶでないけれどそれは振り撒く; int7 & fact27 -> int8: 「この十三種類は胎蔵しない」ということは正しい; int6 & int8 -> int9: この十三種類は操作性であるしそれにツールオプションである; int9 -> int10: この十三種類は操作性である;
$facts$ = fact1: その巨人達は奥床しくなくて更にキータイプしない fact2: その巨人達はぷっくりしない fact3: もし「二十一．二二ＥＶでなくて振り撒く」ものがあるならこの十三種類は胎蔵するということはない fact4: もしその巨人達は最新号でないとすると「奥床しいかもしくは等価性でない」ということは誤りである fact5: もし仮に何らかのものはツールオプションでないとしたら「それは世知辛くない一方で最新号である」ということは間違いである fact6: その巨人達は刊行するがしかしキータイプしない fact7: 「その巨人達は最新号でない」ということは事実だ fact8: 仮にあの蛍光灯はキータイプしないならば「奥床しいかまたは等価性でないかもしくは両方である」ということは事実でない fact9: 「あの蛍光灯は打ち易い」ということは事実である fact10: この予定時間は操作性である fact11: 仮に世知辛くない物がキータイプしないとすると最新号でない fact12: なんらかの物が胎蔵しないならばそれは操作性であるしツールオプションだ fact13: 仮にあの蛍光灯がキータイプすればこの予定時間はキータイプしなくてそれは世知辛くない fact14: その巨人達は奥床しくない fact15: あの目鼻立ちは操作性である fact16: 仮にあの蛍光灯がキータイプするとしたらこの予定時間は世知辛いということはない fact17: その巨人達は二十一．二二ＥＶでないが振り撒く fact18: このＴ型は等価性でない fact19: もしもその巨人達は最新号でないとしたらそれは奥床しくない fact20: この予定時間は世知辛くない fact21: あの蛍光灯は奥床しくない fact22: もしも「この予定時間は最新号であるかまたはそれは世知辛くないかあるいは両方だ」ということは偽ならばその巨人達はキータイプする fact23: 仮に「その巨人達は奥床しいかまたはそれは等価性でないかまたは両方だ」ということは間違っているとするとあの蛍光灯はキータイプする ; $hypothesis$ = この予定時間は操作性だ一方でそれはキータイプしない ; $proof$ = 
fact4 & fact7 -> int1: 「その巨人達は奥床しいかまたは等価性でない」ということは成り立たない; int1 & fact23 -> int2: あの蛍光灯はキータイプする; int2 & fact13 -> int3: この予定時間はキータイプするということはないし更に世知辛くない; int3 -> int4: この予定時間はキータイプしない; int4 & fact10 -> 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: 仮に「その巨人達は奥床しいかまたはそれは等価性でないかまたは両方だ」ということは間違っているとするとあの蛍光灯はキータイプする

仮説: この予定時間は操作性だ一方でそれはキータイプしない
1. 事実4と事実7から、推論1: "「その巨人達は奥床しいかまたは等価性でない」ということは成り立たない"が導かれる
2. 推論1と事実23から、推論2: "あの蛍光灯はキータイプする"が導かれる
3. 推論2と事実13から、推論3: "この予定時間はキータイプするということはないし更に世知辛くない"が導かれる
4. 推論3から、推論4: "この予定時間はキータイプしない"が導かれる
5. 推論4と事実10から、仮説が導かれる

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