この三連複率は誇りっぽいし加えて期待し難い
fact1: もしとある物は捻りでないなら「それは誇りっぽいし更に期待し難い」ということは事実と異なる fact2: もし仮に「この三連複率は支援サービスである」ということは成り立つとするとあのマレーシア人は誇りっぽい fact3: もしあのマレーシア人が支援サービスであるならばこの三連複率は期待し難い fact4: あのマレーシア人は支援サービスであるかまたは占領軍であるかもしくは両方ともである fact5: とあるものが捻りであるならこの三連複率は誇りっぽい fact6: もしもあのマレーシア人が占領軍であるならこの三連複率は期待し難い fact7: あのマレーシア人は門前払いである fact8: 「「捻りである」ということは事実である」物はある
fact8 & fact5 -> int1: この三連複率は誇りっぽい; fact4 & fact3 & fact6 -> int2: この三連複率は期待し難い; int1 & int2 -> hypothesis;
「「この三連複率は誇りっぽくてまた期待し難い」ということは成り立たない」ということは確かだ
fact9 -> int3: 仮にこの三連複率は捻りでないとしたら「それは誇りっぽくて期待し難い」ということは誤りだ;
$facts$ = fact1: もしとある物は捻りでないなら「それは誇りっぽいし更に期待し難い」ということは事実と異なる fact2: もし仮に「この三連複率は支援サービスである」ということは成り立つとするとあのマレーシア人は誇りっぽい fact3: もしあのマレーシア人が支援サービスであるならばこの三連複率は期待し難い fact4: あのマレーシア人は支援サービスであるかまたは占領軍であるかもしくは両方ともである fact5: とあるものが捻りであるならこの三連複率は誇りっぽい fact6: もしもあのマレーシア人が占領軍であるならこの三連複率は期待し難い fact7: あのマレーシア人は門前払いである fact8: 「「捻りである」ということは事実である」物はある ; $hypothesis$ = この三連複率は誇りっぽいし加えて期待し難い ; $proof$ = 
fact8 & fact5 -> int1: この三連複率は誇りっぽい; fact4 & fact3 & fact6 -> int2: この三連複率は期待し難い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしとある物は捻りでないなら「それは誇りっぽいし更に期待し難い」ということは事実と異なる
事実2: もし仮に「この三連複率は支援サービスである」ということは成り立つとするとあのマレーシア人は誇りっぽい
事実3: もしあのマレーシア人が支援サービスであるならばこの三連複率は期待し難い
事実4: あのマレーシア人は支援サービスであるかまたは占領軍であるかもしくは両方ともである
事実5: とあるものが捻りであるならこの三連複率は誇りっぽい
事実6: もしもあのマレーシア人が占領軍であるならこの三連複率は期待し難い
事実7: あのマレーシア人は門前払いである
事実8: 「「捻りである」ということは事実である」物はある

仮説: この三連複率は誇りっぽいし加えて期待し難い
1. 事実8と事実5から、推論1: "この三連複率は誇りっぽい"が導かれる
2. 事実4と事実3と事実6から、推論2: "この三連複率は期待し難い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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