「そのチーフディレクターは改善するしそれは私らしい」ということは事実と異ならない
fact1: 「このライ麦は改善する」ということは成り立つ fact2: あのエアフロレスは改善する fact3: そのチーフディレクターはきな臭くてオーバーシュートする fact4: そのチーフディレクターは私らしい fact5: そのチーフディレクターは荒れ果てるしおまけに見付け易い fact6: このＰＣＴ出願は私らしい fact7: そのチーフディレクターは看取する fact8: その小牧野遺跡は改善するし先立つ fact9: 「その丸窓は苦しみ悩むしまた予測し易い」ということは成り立たない fact10: そのチーフディレクターは止めど無い fact11: そのチーフディレクターは先立つ fact12: そのチーフディレクターは過去・未来である fact13: もし仮になにがしかのものが指示書でないなら私らしいしおまけにそれは改善する fact14: その良性骨腫瘍は改善する fact15: そのチーフディレクターはタッチする fact16: その第二条件は改善する fact17: その上級機関は改善するしかつ破断する fact18: あのバイク事故は私らしい fact19: 「なにかは苦しみ悩むし更に予測し易い」ということは事実と異なるとすれば予測し易いということはない fact20: そのチーフディレクターはＢＡバイで更に興隆する fact21: そのチーフディレクターは改善する fact22: このディズニーランドは私らしい fact23: 仮になにかは指示書でないなら「改善するしそれに私らしい」ということは成り立つということはない
fact21 & fact4 -> hypothesis;
fact21 & fact4 -> hypothesis;
「この論文講読演習は私らしい」ということは確かである
fact24 -> int1: もし仮にこの論文講読演習が指示書でないとしたら私らしいししかも改善する;
$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$ = 
fact21 & fact4 -> 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. 事実21と事実4から、仮説が導かれる

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