その溶剤は兄弟でない
fact1: 「その卸売り段階は真白いしおまけにそれは割れ易い」ということは嘘である fact2: もし「委託でない」ものがあるとするとその溶剤は兄弟でない fact3: 「「その卸売り段階は柔らかいししかも委託である」ということは成り立たない」ということは成り立つ fact4: もしも「「「柔らかくて加えて委託である」ということは真実である」ということは間違っている」ものはあるとしたら「その溶剤は兄弟でない」ということは成り立つ fact5: 悪賢くないものは見極め難くて可笑しい fact6: その朱膳は措置しない fact7: 「柔らかいしかつ委託である」物はある fact8: 「「「柔らかくて更に兄弟だ」ということは間違っている」ものはある」ということは真実である fact9: 「可笑しいものは兄弟だ」ということは本当である
fact3 -> int1: 「「柔らかくておまけに委託である」ということは成り立たない」ものはある; int1 & fact4 -> hypothesis;
fact3 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact4 -> hypothesis;
「その溶剤は兄弟だ」ということは事実だ
fact10 -> int2: もしもその溶剤が可笑しいならそれは兄弟だ; fact11 -> int3: もしもその溶剤が悪賢くないならば見極め難くてそれに可笑しい;
$facts$ = fact1: 「その卸売り段階は真白いしおまけにそれは割れ易い」ということは嘘である fact2: もし「委託でない」ものがあるとするとその溶剤は兄弟でない fact3: 「「その卸売り段階は柔らかいししかも委託である」ということは成り立たない」ということは成り立つ fact4: もしも「「「柔らかくて加えて委託である」ということは真実である」ということは間違っている」ものはあるとしたら「その溶剤は兄弟でない」ということは成り立つ fact5: 悪賢くないものは見極め難くて可笑しい fact6: その朱膳は措置しない fact7: 「柔らかいしかつ委託である」物はある fact8: 「「「柔らかくて更に兄弟だ」ということは間違っている」ものはある」ということは真実である fact9: 「可笑しいものは兄弟だ」ということは本当である ; $hypothesis$ = その溶剤は兄弟でない ; $proof$ = 
fact3 -> int1: 「「柔らかくておまけに委託である」ということは成り立たない」ものはある; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「その卸売り段階は真白いしおまけにそれは割れ易い」ということは嘘である
事実2: もし「委託でない」ものがあるとするとその溶剤は兄弟でない
事実3: 「「その卸売り段階は柔らかいししかも委託である」ということは成り立たない」ということは成り立つ
事実4: もしも「「「柔らかくて加えて委託である」ということは真実である」ということは間違っている」ものはあるとしたら「その溶剤は兄弟でない」ということは成り立つ
事実5: 悪賢くないものは見極め難くて可笑しい
事実6: その朱膳は措置しない
事実7: 「柔らかいしかつ委託である」物はある
事実8: 「「「柔らかくて更に兄弟だ」ということは間違っている」ものはある」ということは真実である
事実9: 「可笑しいものは兄弟だ」ということは本当である

仮説: その溶剤は兄弟でない
1. 事実3から、推論1: "「「柔らかくておまけに委託である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実4から、仮説が導かれる

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