この大戦は疲れ難くない一方で確りする
fact1: 仮にそのちょび髭が開口出来るとしたらこの大戦は疲れ難くない一方で確りする fact2: そのちょび髭は開口出来る fact3: もしもなにかは開口出来ないとすると「疲れ難くないがしかし確りする」ということは誤りだ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
「この大戦は疲れ難くない一方で確りする」ということは偽である
fact4 -> int1: この大戦は開口出来ないとすると「それが疲れ難くないしさらに確りする」ということは偽だ;
$facts$ = fact1: 仮にそのちょび髭が開口出来るとしたらこの大戦は疲れ難くない一方で確りする fact2: そのちょび髭は開口出来る fact3: もしもなにかは開口出来ないとすると「疲れ難くないがしかし確りする」ということは誤りだ ; $hypothesis$ = この大戦は疲れ難くない一方で確りする ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 仮にそのちょび髭が開口出来るとしたらこの大戦は疲れ難くない一方で確りする
事実2: そのちょび髭は開口出来る
事実3: もしもなにかは開口出来ないとすると「疲れ難くないがしかし確りする」ということは誤りだ

仮説: この大戦は疲れ難くない一方で確りする
1. 事実1と事実2から、仮説が導かれる

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