あのプロピオン酸はキャスティングでないがしかし所らしい
fact1: もしあのプロピオン酸は鉄であるとすれば所らしい fact2: もしもなにがしかの物は利用され易くないなら「ラベリングでなくてそれは生み易いということはない」ということは成り立たない fact3: もしも「なにがしかのものはラベリングでなくて生み易くない」ということは誤りだとするとそれは鉄でない fact4: 「「一日遅れでなくてしかも扱い難くない」ということは間違っている」物はある fact5: 「もしも「「一日遅れでないしさらに扱い難くない」ということは偽である」ものがあるとしたらあのプロピオン酸はキャスティングでない」ということは成り立つ fact6: もし仮に「何かは鉄でない」ということは本当ならば「それはキャスティングであるということはないけれど所らしい」ということは嘘だ fact7: あのプロピオン酸は鉄だ
fact4 & fact5 -> int1: 「あのプロピオン酸はキャスティングでない」ということは真実である; fact1 & fact7 -> int2: あのプロピオン酸は所らしい; int1 & int2 -> hypothesis;
fact4 & fact5 -> int1: ¬{A}{a}; fact1 & fact7 -> int2: {B}{a}; int1 & int2 -> hypothesis;
「あのプロピオン酸はキャスティングでない一方で所らしい」ということは事実と異なる
fact10 -> int3: 「あのプロピオン酸は鉄でない」ということは正しいとすると「キャスティングでないしそれは所らしい」ということは事実と異なる; fact9 -> int4: もしも「あのプロピオン酸はラベリングでなくて生み易いということはない」ということは誤っているとすると鉄でない; fact8 -> int5: あのプロピオン酸は利用され易いということはないならば「ラベリングでないしおまけに生み易くない」ということは成り立たない;
$facts$ = fact1: もしあのプロピオン酸は鉄であるとすれば所らしい fact2: もしもなにがしかの物は利用され易くないなら「ラベリングでなくてそれは生み易いということはない」ということは成り立たない fact3: もしも「なにがしかのものはラベリングでなくて生み易くない」ということは誤りだとするとそれは鉄でない fact4: 「「一日遅れでなくてしかも扱い難くない」ということは間違っている」物はある fact5: 「もしも「「一日遅れでないしさらに扱い難くない」ということは偽である」ものがあるとしたらあのプロピオン酸はキャスティングでない」ということは成り立つ fact6: もし仮に「何かは鉄でない」ということは本当ならば「それはキャスティングであるということはないけれど所らしい」ということは嘘だ fact7: あのプロピオン酸は鉄だ ; $hypothesis$ = あのプロピオン酸はキャスティングでないがしかし所らしい ; $proof$ = 
fact4 & fact5 -> int1: 「あのプロピオン酸はキャスティングでない」ということは真実である; fact1 & fact7 -> int2: あのプロピオン酸は所らしい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあのプロピオン酸は鉄であるとすれば所らしい
事実2: もしもなにがしかの物は利用され易くないなら「ラベリングでなくてそれは生み易いということはない」ということは成り立たない
事実3: もしも「なにがしかのものはラベリングでなくて生み易くない」ということは誤りだとするとそれは鉄でない
事実4: 「「一日遅れでなくてしかも扱い難くない」ということは間違っている」物はある
事実5: 「もしも「「一日遅れでないしさらに扱い難くない」ということは偽である」ものがあるとしたらあのプロピオン酸はキャスティングでない」ということは成り立つ
事実6: もし仮に「何かは鉄でない」ということは本当ならば「それはキャスティングであるということはないけれど所らしい」ということは嘘だ
事実7: あのプロピオン酸は鉄だ

仮説: あのプロピオン酸はキャスティングでないがしかし所らしい
1. 事実4と事実5から、推論1: "「あのプロピオン酸はキャスティングでない」ということは真実である"が導かれる
2. 事実1と事実7から、推論2: "あのプロピオン酸は所らしい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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