あの三万家庭は木捻子だ
fact1: 「あの三万家庭は客船でないしかつそれはサポートしない」ということは誤りだ fact2: 正面図は諸悪であるとしたらそれは木捻子でない fact3: この工事部は正面図だ fact4: 仮にあの発表が諸悪ならあの三万家庭は木捻子である fact5: あの発表は木捻子である fact6: なんらかのものが至らないとするとそれは正面図であるしかつそれは薄暗い fact7: もしも「あの三万家庭は客船だということはなくてまたサポートしない」ということは誤りであるとすればそれは至らない fact8: もしもこの工事部が正面図ならあの発表は諸悪である
fact8 & fact3 -> int1: あの発表は諸悪だ; int1 & fact4 -> hypothesis;
fact8 & fact3 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
あの三万家庭は木捻子でない
fact9 -> int2: もし仮にあの三万家庭は正面図であるし更に諸悪であるなら木捻子でない; fact11 -> int3: 「あの三万家庭は至らない」ということは事実だとしたら正面図だしそれに薄暗い; fact10 & fact12 -> int4: あの三万家庭は至らない; int3 & int4 -> int5: あの三万家庭は正面図であるしその上薄暗い; int5 -> int6: あの三万家庭は正面図だ;
$facts$ = fact1: 「あの三万家庭は客船でないしかつそれはサポートしない」ということは誤りだ fact2: 正面図は諸悪であるとしたらそれは木捻子でない fact3: この工事部は正面図だ fact4: 仮にあの発表が諸悪ならあの三万家庭は木捻子である fact5: あの発表は木捻子である fact6: なんらかのものが至らないとするとそれは正面図であるしかつそれは薄暗い fact7: もしも「あの三万家庭は客船だということはなくてまたサポートしない」ということは誤りであるとすればそれは至らない fact8: もしもこの工事部が正面図ならあの発表は諸悪である ; $hypothesis$ = あの三万家庭は木捻子だ ; $proof$ = 
fact8 & fact3 -> int1: あの発表は諸悪だ; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「あの三万家庭は客船でないしかつそれはサポートしない」ということは誤りだ
事実2: 正面図は諸悪であるとしたらそれは木捻子でない
事実3: この工事部は正面図だ
事実4: 仮にあの発表が諸悪ならあの三万家庭は木捻子である
事実5: あの発表は木捻子である
事実6: なんらかのものが至らないとするとそれは正面図であるしかつそれは薄暗い
事実7: もしも「あの三万家庭は客船だということはなくてまたサポートしない」ということは誤りであるとすればそれは至らない
事実8: もしもこの工事部が正面図ならあの発表は諸悪である

仮説: あの三万家庭は木捻子だ
1. 事実8と事実3から、推論1: "あの発表は諸悪だ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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