その旧情報は百姓らしくないしその上挙兵しない
fact1: 仮に「「優位である」ということは確かである」ものがあればその旧情報は百姓らしくない fact2: 「あの浮き輪は感慨深くない一方でぶっとい」ということは嘘であるならばそれはぶっとくない fact3: 「「優位だ」ということは嘘でない」ものはある fact4: その旧情報は百姓らしくない fact5: もし仮に「優位な」物があるとするとその旧情報は百姓らしくないしそれに挙兵しない fact6: ぶっとかない物は優位であるということはない
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
「その旧情報は百姓らしくないし更に挙兵しない」ということは成り立たない
fact8 -> int1: もしもあの浮き輪がぶっとかないとすると優位だということはない;
$facts$ = fact1: 仮に「「優位である」ということは確かである」ものがあればその旧情報は百姓らしくない fact2: 「あの浮き輪は感慨深くない一方でぶっとい」ということは嘘であるならばそれはぶっとくない fact3: 「「優位だ」ということは嘘でない」ものはある fact4: その旧情報は百姓らしくない fact5: もし仮に「優位な」物があるとするとその旧情報は百姓らしくないしそれに挙兵しない fact6: ぶっとかない物は優位であるということはない ; $hypothesis$ = その旧情報は百姓らしくないしその上挙兵しない ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「「優位である」ということは確かである」ものがあればその旧情報は百姓らしくない
事実2: 「あの浮き輪は感慨深くない一方でぶっとい」ということは嘘であるならばそれはぶっとくない
事実3: 「「優位だ」ということは嘘でない」ものはある
事実4: その旧情報は百姓らしくない
事実5: もし仮に「優位な」物があるとするとその旧情報は百姓らしくないしそれに挙兵しない
事実6: ぶっとかない物は優位であるということはない

仮説: その旧情報は百姓らしくないしその上挙兵しない
1. 事実3と事実5から、仮説が導かれる

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