とあるものは紀要であるしそれは回り過ぎる
fact1: 「何かは試みるしまた照り返す」ということは嘘であるならばそれは照り返すということはない fact2: もし仮になにかは照り返さないとするとそれは回り過ぎるし紀要である fact3: この扱われ方は紀要である fact4: 「あの印象評価は回り過ぎる」ということは正しい fact5: 「この扱われ方は回り過ぎる」ということは正しい
fact3 & fact5 -> int1: この扱われ方は紀要でその上回り過ぎる; int1 -> hypothesis;
そのコンクリは回り過ぎる
fact6 -> int2: もしもそのコンクリが照り返さないなら回り過ぎるしおまけに紀要である; fact7 -> int3: もし仮に「そのコンクリは試みるし加えてそれは照り返す」ということは誤っているならそれは照り返さない;
$facts$ = fact1: 「何かは試みるしまた照り返す」ということは嘘であるならばそれは照り返すということはない fact2: もし仮になにかは照り返さないとするとそれは回り過ぎるし紀要である fact3: この扱われ方は紀要である fact4: 「あの印象評価は回り過ぎる」ということは正しい fact5: 「この扱われ方は回り過ぎる」ということは正しい ; $hypothesis$ = とあるものは紀要であるしそれは回り過ぎる ; $proof$ = 
fact3 & fact5 -> int1: この扱われ方は紀要でその上回り過ぎる; int1 -> hypothesis; __PROVED__
事実1: 「何かは試みるしまた照り返す」ということは嘘であるならばそれは照り返すということはない
事実2: もし仮になにかは照り返さないとするとそれは回り過ぎるし紀要である
事実3: この扱われ方は紀要である
事実4: 「あの印象評価は回り過ぎる」ということは正しい
事実5: 「この扱われ方は回り過ぎる」ということは正しい

仮説: とあるものは紀要であるしそれは回り過ぎる
1. 事実3と事実5から、推論1: "この扱われ方は紀要でその上回り過ぎる"が導かれる
2. 推論1から、仮説が導かれる

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