この報告対象は櫛形鉱である
fact1: 意味深いということはないものは御乳であるしさらに櫛形鉱である fact2: その向こう側がイスラームだとするとこの報告対象は意味深いということはない fact3: もし「丸太でない」物はあるとすれば「その向こう側はイスラームでないけれど造設する」ということは成り立たない fact4: 「丸太でない」物はある fact5: 「ど偉い」ものはある fact6: この報告対象は造設しない fact7: 「何かは丸太でないしおまけに現われ難いということはない」ということは嘘だとするとそれは現われ難い fact8: もしイスラームは丸太でないならば櫛形鉱でない fact9: 仮に「その向こう側はイスラームだということはないけど造設する」ということは真実でないならばこの報告対象は意味深くない
fact4 & fact3 -> int1: 「その向こう側はイスラームでないけど造設する」ということは嘘だ; int1 & fact9 -> int2: この報告対象は意味深くない; fact1 -> int3: もし仮にこの報告対象が意味深くないならそれは御乳で更に櫛形鉱だ; int2 & int3 -> int4: この報告対象は御乳でそれに櫛形鉱だ; int4 -> hypothesis;
この後頭は現われ難いしそれは意味深い
fact11 -> int5: もし仮に「この後頭は丸太でなくて更に現われ難くない」ということは誤っているとすると現われ難い; fact10 -> int6: あるものは造設しない;
$facts$ = fact1: 意味深いということはないものは御乳であるしさらに櫛形鉱である fact2: その向こう側がイスラームだとするとこの報告対象は意味深いということはない fact3: もし「丸太でない」物はあるとすれば「その向こう側はイスラームでないけれど造設する」ということは成り立たない fact4: 「丸太でない」物はある fact5: 「ど偉い」ものはある fact6: この報告対象は造設しない fact7: 「何かは丸太でないしおまけに現われ難いということはない」ということは嘘だとするとそれは現われ難い fact8: もしイスラームは丸太でないならば櫛形鉱でない fact9: 仮に「その向こう側はイスラームだということはないけど造設する」ということは真実でないならばこの報告対象は意味深くない ; $hypothesis$ = この報告対象は櫛形鉱である ; $proof$ = 
fact4 & fact3 -> int1: 「その向こう側はイスラームでないけど造設する」ということは嘘だ; int1 & fact9 -> int2: この報告対象は意味深くない; fact1 -> int3: もし仮にこの報告対象が意味深くないならそれは御乳で更に櫛形鉱だ; int2 & int3 -> int4: この報告対象は御乳でそれに櫛形鉱だ; int4 -> hypothesis; __PROVED__
事実1: 意味深いということはないものは御乳であるしさらに櫛形鉱である
事実2: その向こう側がイスラームだとするとこの報告対象は意味深いということはない
事実3: もし「丸太でない」物はあるとすれば「その向こう側はイスラームでないけれど造設する」ということは成り立たない
事実4: 「丸太でない」物はある
事実5: 「ど偉い」ものはある
事実6: この報告対象は造設しない
事実7: 「何かは丸太でないしおまけに現われ難いということはない」ということは嘘だとするとそれは現われ難い
事実8: もしイスラームは丸太でないならば櫛形鉱でない
事実9: 仮に「その向こう側はイスラームだということはないけど造設する」ということは真実でないならばこの報告対象は意味深くない

仮説: この報告対象は櫛形鉱である
1. 事実4と事実3から、推論1: "「その向こう側はイスラームでないけど造設する」ということは嘘だ"が導かれる
2. 推論1と事実9から、推論2: "この報告対象は意味深くない"が導かれる
3. 事実1から、推論3: "もし仮にこの報告対象が意味深くないならそれは御乳で更に櫛形鉱だ"が導かれる
4. 推論2と推論3から、推論4: "この報告対象は御乳でそれに櫛形鉱だ"が導かれる
5. 推論4から、仮説が導かれる

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