もしもあの剣が引き起こし易いとすればそれは集中す
fact1: この御麻痺はいじらしい fact2: もし何かはおっとりしないとすればそれは集中すけれど演習場でない fact3: あの剣は復元しない fact4: このバラード社はおっとりする fact5: もしあの剣は引き起こし易いししかも鬱陶しいとするとおっとりするということはない fact6: あの剣は打ち抜く fact7: この御麻痺はいじらしいとすると「あの一リットル当たりは役員でないがしかし手広い」ということは成り立たない fact8: 鬱陶しいということはない物は引き起こし易い一方で集中すらない fact9: 仮に「「役員であるということはないけど手広い」ということは間違っている」物があるならその家族学習は役員である fact10: あの剣は将棋盤だ fact11: この財務管理は引き起こし易い fact12: あの剣は単体所得計算でない fact13: その家族学習が太り易いとすれば集中す fact14: その生徒達は引き起こし易いしまた未練がましい fact15: あの剣は鬱陶しい fact16: もしもなんらかのものは鬱陶しかないなら「それはおっとりするし加えてそれは集中すということはない」ということは成り立つ fact17: 仮に何かは集中すらないとすると演習場でそれにそれは引き起こし易い fact18: あの剣は全面降伏するしかつ編制する fact19: そのフロントガラスはむさくるしいし加えてそれは鬱陶しい fact20: もしあの剣が鬱陶しいということはないならこの交渉委員は検索対象だということはない fact21: もしもとあるものが演習場でないとすればそれはおっとりするしおまけに鬱陶しかない fact22: その家族学習は太り易い fact23: もしもその家族学習が役員で更に集中すならこの交渉委員は集中すということはない
void -> assump1: 以下のように仮定する。あの剣は引き起こし易い; assump1 & fact15 -> int1: あの剣は引き起こし易いし鬱陶しい; int1 & fact5 -> int2: あの剣はおっとりするということはない; fact2 -> int3: もしあの剣はおっとりしないとすれば「集中すしさらに演習場でない」ということは嘘でない; int2 & int3 -> int4: あの剣は集中すがしかし演習場でない; int4 -> int5: あの剣は集中す; [assump1] & int5 -> hypothesis;
この交渉委員が演習場だけど検索対象であるということはない
fact25 -> int6: もしもこの交渉委員が集中すということはないとしたらそれが演習場だしそれは引き起こし易い; fact24 & fact28 -> int7: 「あの一リットル当たりは役員でない一方で手広い」ということは誤りだ; int7 -> int8: 「「役員でないしおまけに手広い」ということは成り立たない」物はある; int8 & fact26 -> int9: その家族学習は役員だ; fact31 & fact29 -> int10: その家族学習は集中す; int9 & int10 -> int11: その家族学習は役員だし集中す; fact27 & int11 -> int12: この交渉委員は集中すらない; int6 & int12 -> int13: この交渉委員は演習場であるしその上引き起こし易い; int13 -> int14: この交渉委員は演習場である;
$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$ = 
void -> assump1: 以下のように仮定する。あの剣は引き起こし易い; assump1 & fact15 -> int1: あの剣は引き起こし易いし鬱陶しい; int1 & fact5 -> int2: あの剣はおっとりするということはない; fact2 -> int3: もしあの剣はおっとりしないとすれば「集中すしさらに演習場でない」ということは嘘でない; int2 & int3 -> int4: あの剣は集中すがしかし演習場でない; int4 -> int5: あの剣は集中す; [assump1] & int5 -> 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. 仮定1: 以下のように仮定する。あの剣は引き起こし易い
2. 仮定1と事実15から、推論1: "あの剣は引き起こし易いし鬱陶しい"が導かれる
3. 推論1と事実5から、推論2: "あの剣はおっとりするということはない"が導かれる
4. 事実2から、推論3: "もしあの剣はおっとりしないとすれば「集中すしさらに演習場でない」ということは嘘でない"が導かれる
5. 推論2と推論3から、推論4: "あの剣は集中すがしかし演習場でない"が導かれる
6. 推論4から、推論5: "あの剣は集中す"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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