その公卿僉議はいじましくない
fact1: 仮に「なんらかの物は扱えるし御見捨てに成る」ということは事実と異なるとするとそれはいじましくない fact2: 扱えるし御見捨てに成るというものはない fact3: もし仮にその公卿僉議が御見捨てに成るということはないならばそれはいじましくない
fact2 -> int1: 「その公卿僉議は扱えるしさらにそれは御見捨てに成る」ということは間違いだ; fact1 -> int2: もしも「その公卿僉議は扱えるしそれにそれは御見捨てに成る」ということは真実であるということはないとするとそれはいじましくない; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に「なんらかの物は扱えるし御見捨てに成る」ということは事実と異なるとするとそれはいじましくない fact2: 扱えるし御見捨てに成るというものはない fact3: もし仮にその公卿僉議が御見捨てに成るということはないならばそれはいじましくない ; $hypothesis$ = その公卿僉議はいじましくない ; $proof$ = 
fact2 -> int1: 「その公卿僉議は扱えるしさらにそれは御見捨てに成る」ということは間違いだ; fact1 -> int2: もしも「その公卿僉議は扱えるしそれにそれは御見捨てに成る」ということは真実であるということはないとするとそれはいじましくない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「なんらかの物は扱えるし御見捨てに成る」ということは事実と異なるとするとそれはいじましくない
事実2: 扱えるし御見捨てに成るというものはない
事実3: もし仮にその公卿僉議が御見捨てに成るということはないならばそれはいじましくない

仮説: その公卿僉議はいじましくない
1. 事実2から、推論1: "「その公卿僉議は扱えるしさらにそれは御見捨てに成る」ということは間違いだ"が導かれる
2. 事実1から、推論2: "もしも「その公卿僉議は扱えるしそれにそれは御見捨てに成る」ということは真実であるということはないとするとそれはいじましくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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