この社会復帰指導員は応接しない
fact1: もし仮にこの社会復帰指導員がきらきらしないとしたらそれは応接しない fact2: 仮になんらかのものが寝起きすればそれは応接する fact3: あの過形成は寝起きする fact4: もし仮にあの過形成が寝起きするかまたはそれが持ち越すかまたはどちらもであるとすればこの社会復帰指導員はきらきらしない
fact3 -> int1: あの過形成は寝起きするかあるいは持ち越すか両方だ; int1 & fact4 -> int2: この社会復帰指導員はきらきらしない; int2 & fact1 -> hypothesis;
この社会復帰指導員は応接する
fact5 -> int3: 「仮に「この社会復帰指導員は寝起きする」ということは嘘だということはないならこの社会復帰指導員は応接する」ということは真実である;
$facts$ = fact1: もし仮にこの社会復帰指導員がきらきらしないとしたらそれは応接しない fact2: 仮になんらかのものが寝起きすればそれは応接する fact3: あの過形成は寝起きする fact4: もし仮にあの過形成が寝起きするかまたはそれが持ち越すかまたはどちらもであるとすればこの社会復帰指導員はきらきらしない ; $hypothesis$ = この社会復帰指導員は応接しない ; $proof$ = 
fact3 -> int1: あの過形成は寝起きするかあるいは持ち越すか両方だ; int1 & fact4 -> int2: この社会復帰指導員はきらきらしない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの社会復帰指導員がきらきらしないとしたらそれは応接しない
事実2: 仮になんらかのものが寝起きすればそれは応接する
事実3: あの過形成は寝起きする
事実4: もし仮にあの過形成が寝起きするかまたはそれが持ち越すかまたはどちらもであるとすればこの社会復帰指導員はきらきらしない

仮説: この社会復帰指導員は応接しない
1. 事実3から、推論1: "あの過形成は寝起きするかあるいは持ち越すか両方だ"が導かれる
2. 推論1と事実4から、推論2: "この社会復帰指導員はきらきらしない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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