もしも「この短期雇用者は半田付けする」ということは間違っていないとするとそのコミュニケーション行動は携え帰る
fact1: 仮にこの短期雇用者が術創であるかあるいは面白いかまたは両方ともならばこの文句は勝利しない fact2: 仮にこの文句が携え帰るならそのコミュニケーション行動は羞じらわない fact3: 「非難する」ものはある fact4: この文句は勝利するしまたそれは羞じらう fact5: なんらかの物が半田付けするけど面白くないとすればそのコミュニケーション行動は携え帰る fact6: この短期雇用者は固いがしかし後ろ手でない fact7: そのコミュニケーション行動は遠し fact8: 「半田付けするしそれに面白い」ものはある fact9: なにがしかの物は面白くない fact10: もしこの短期雇用者が術創ならばあの文句は術創である fact11: 「半田付けする」ものはある fact12: この短期雇用者は半田付けするなら「この文句は面白い」ということは真実である fact13: 「もしもこの短期雇用者が術創だとすればこの文句は勝利しない」ということは確かだ fact14: この文句は羞じらうし半田付けする fact15: 「この文句は携え帰らない」ということは事実である
void -> assump1: 以下のように仮定する。この短期雇用者は面白い; assump1 -> int1: この短期雇用者は術創であるか面白いかまたはどちらもである; int1 & fact1 -> int2: この文句は勝利しない; fact4 -> int3: この文句は勝利する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この短期雇用者は面白くない; void -> assump2: 以下のように仮定する。この短期雇用者は半田付けする; int5 & assump2 -> int6: この短期雇用者は半田付けするがそれは面白いということはない; int6 -> int7: なんらかのものは半田付けするけど面白くない; int7 & fact5 -> int8: 「そのコミュニケーション行動は携え帰る」ということは正しい; [assump2] & int8 -> hypothesis;
この文句は術創である
$facts$ = fact1: 仮にこの短期雇用者が術創であるかあるいは面白いかまたは両方ともならばこの文句は勝利しない fact2: 仮にこの文句が携え帰るならそのコミュニケーション行動は羞じらわない fact3: 「非難する」ものはある fact4: この文句は勝利するしまたそれは羞じらう fact5: なんらかの物が半田付けするけど面白くないとすればそのコミュニケーション行動は携え帰る fact6: この短期雇用者は固いがしかし後ろ手でない fact7: そのコミュニケーション行動は遠し fact8: 「半田付けするしそれに面白い」ものはある fact9: なにがしかの物は面白くない fact10: もしこの短期雇用者が術創ならばあの文句は術創である fact11: 「半田付けする」ものはある fact12: この短期雇用者は半田付けするなら「この文句は面白い」ということは真実である fact13: 「もしもこの短期雇用者が術創だとすればこの文句は勝利しない」ということは確かだ fact14: この文句は羞じらうし半田付けする fact15: 「この文句は携え帰らない」ということは事実である ; $hypothesis$ = もしも「この短期雇用者は半田付けする」ということは間違っていないとするとそのコミュニケーション行動は携え帰る ; $proof$ = 
void -> assump1: 以下のように仮定する。この短期雇用者は面白い; assump1 -> int1: この短期雇用者は術創であるか面白いかまたはどちらもである; int1 & fact1 -> int2: この文句は勝利しない; fact4 -> int3: この文句は勝利する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この短期雇用者は面白くない; void -> assump2: 以下のように仮定する。この短期雇用者は半田付けする; int5 & assump2 -> int6: この短期雇用者は半田付けするがそれは面白いということはない; int6 -> int7: なんらかのものは半田付けするけど面白くない; int7 & fact5 -> int8: 「そのコミュニケーション行動は携え帰る」ということは正しい; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 仮にこの短期雇用者が術創であるかあるいは面白いかまたは両方ともならばこの文句は勝利しない
事実2: 仮にこの文句が携え帰るならそのコミュニケーション行動は羞じらわない
事実3: 「非難する」ものはある
事実4: この文句は勝利するしまたそれは羞じらう
事実5: なんらかの物が半田付けするけど面白くないとすればそのコミュニケーション行動は携え帰る
事実6: この短期雇用者は固いがしかし後ろ手でない
事実7: そのコミュニケーション行動は遠し
事実8: 「半田付けするしそれに面白い」ものはある
事実9: なにがしかの物は面白くない
事実10: もしこの短期雇用者が術創ならばあの文句は術創である
事実11: 「半田付けする」ものはある
事実12: この短期雇用者は半田付けするなら「この文句は面白い」ということは真実である
事実13: 「もしもこの短期雇用者が術創だとすればこの文句は勝利しない」ということは確かだ
事実14: この文句は羞じらうし半田付けする
事実15: 「この文句は携え帰らない」ということは事実である

仮説: もしも「この短期雇用者は半田付けする」ということは間違っていないとするとそのコミュニケーション行動は携え帰る
1. 仮定1: 以下のように仮定する。この短期雇用者は面白い
2. 仮定1から、推論1: "この短期雇用者は術創であるか面白いかまたはどちらもである"が導かれる
3. 推論1と事実1から、推論2: "この文句は勝利しない"が導かれる
4. 事実4から、推論3: "この文句は勝利する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この短期雇用者は面白くない"が導かれる
7. 仮定2: 以下のように仮定する。この短期雇用者は半田付けする
8. 推論5と仮定2から、推論6: "この短期雇用者は半田付けするがそれは面白いということはない"が導かれる
9. 推論6から、推論7: "なんらかのものは半田付けするけど面白くない"が導かれる
10. 推論7と事実5から、推論8: "「そのコミュニケーション行動は携え帰る」ということは正しい"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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