「もし仮に「活用し易い」ということは本当だとすると歯痒くない」物はある
fact1: もしなんらかの物がキャビンアテンダントだが遷座しないとすればあの補佐官は建築間取り自在である fact2: もしも何かは会計帳簿であるしそれが活用し易いならば歯痒くない fact3: もしもこの補佐官は会計帳簿であるしそれに活用し易いとしたら「歯痒い」ということは正しい fact4: なにかは変化し易いしおまけに性転換するとすればそれは網代でない fact5: もし何かは建築間取り自在であるとしたらそれは会計帳簿である fact6: なにかはキャビンアテンダントであるがしかし遷座するということはない
fact6 & fact1 -> int1: この補佐官は建築間取り自在だ; fact5 -> int2: 「この補佐官は建築間取り自在である」ということは偽でないとしたら会計帳簿である; int1 & int2 -> int3: この補佐官は会計帳簿だ; void -> assump1: 以下のように仮定する。この補佐官は活用し易い; int3 & assump1 -> int4: この補佐官は会計帳簿であるしおまけに活用し易い; fact2 -> int5: 仮にこの補佐官が会計帳簿だしそれに活用し易いとしたらそれは歯痒くない; int4 & int5 -> int6: この補佐官は歯痒くない; [assump1] & int6 -> int7: 仮にこの補佐官が活用し易いならば歯痒くない; int7 -> hypothesis;
$facts$ = fact1: もしなんらかの物がキャビンアテンダントだが遷座しないとすればあの補佐官は建築間取り自在である fact2: もしも何かは会計帳簿であるしそれが活用し易いならば歯痒くない fact3: もしもこの補佐官は会計帳簿であるしそれに活用し易いとしたら「歯痒い」ということは正しい fact4: なにかは変化し易いしおまけに性転換するとすればそれは網代でない fact5: もし何かは建築間取り自在であるとしたらそれは会計帳簿である fact6: なにかはキャビンアテンダントであるがしかし遷座するということはない ; $hypothesis$ = 「もし仮に「活用し易い」ということは本当だとすると歯痒くない」物はある ; $proof$ = 
fact6 & fact1 -> int1: この補佐官は建築間取り自在だ; fact5 -> int2: 「この補佐官は建築間取り自在である」ということは偽でないとしたら会計帳簿である; int1 & int2 -> int3: この補佐官は会計帳簿だ; void -> assump1: 以下のように仮定する。この補佐官は活用し易い; int3 & assump1 -> int4: この補佐官は会計帳簿であるしおまけに活用し易い; fact2 -> int5: 仮にこの補佐官が会計帳簿だしそれに活用し易いとしたらそれは歯痒くない; int4 & int5 -> int6: この補佐官は歯痒くない; [assump1] & int6 -> int7: 仮にこの補佐官が活用し易いならば歯痒くない; int7 -> hypothesis; __PROVED__
事実1: もしなんらかの物がキャビンアテンダントだが遷座しないとすればあの補佐官は建築間取り自在である
事実2: もしも何かは会計帳簿であるしそれが活用し易いならば歯痒くない
事実3: もしもこの補佐官は会計帳簿であるしそれに活用し易いとしたら「歯痒い」ということは正しい
事実4: なにかは変化し易いしおまけに性転換するとすればそれは網代でない
事実5: もし何かは建築間取り自在であるとしたらそれは会計帳簿である
事実6: なにかはキャビンアテンダントであるがしかし遷座するということはない

仮説: 「もし仮に「活用し易い」ということは本当だとすると歯痒くない」物はある
1. 事実6と事実1から、推論1: "この補佐官は建築間取り自在だ"が導かれる
2. 事実5から、推論2: "「この補佐官は建築間取り自在である」ということは偽でないとしたら会計帳簿である"が導かれる
3. 推論1と推論2から、推論3: "この補佐官は会計帳簿だ"が導かれる
4. 仮定1: 以下のように仮定する。この補佐官は活用し易い
5. 推論3と仮定1から、推論4: "この補佐官は会計帳簿であるしおまけに活用し易い"が導かれる
6. 事実2から、推論5: "仮にこの補佐官が会計帳簿だしそれに活用し易いとしたらそれは歯痒くない"が導かれる
7. 推論4と推論5から、推論6: "この補佐官は歯痒くない"が導かれる
8. [仮定1]と推論6から、推論7: "仮にこの補佐官が活用し易いならば歯痒くない"が導かれる
9. 推論7から、仮説が導かれる

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