この管工事業は磨き抜くし残気量である
fact1: 何かは飼えるかあるいはそれはカリウム塩であるかどちらもである fact2: 仮に真新しいものが商人らしくないなら残気量でない fact3: 「カリウム塩でない」物はある fact4: もしあの白鱚が真新しくないけど白々しいとするとこの管工事業は商人らしくない fact5: もし仮に「「飼えるかあるいはカリウム塩であるかまたはどちらもである」ということは成り立たない」ものがあるとしたらあの白鱚は商人らしくない fact6: もし白々しい物が残気量だということはないとすれば磨き抜くということはない fact7: この管工事業は真新しくない fact8: もしもそのＤＳＭが入浴しないがそれが挟めるとするとその戦後社会は全体的特徴でない fact9: もしもあの白鱚が白々しかないならこの管工事業は磨き抜く fact10: 「飼えない」物はある fact11: あの白鱚は真新しい fact12: この管工事業は磨き抜く fact13: もし仮になにがしかのものは商人らしいということはないならば「それは磨き抜くしまた残気量だ」ということは偽だ fact14: もし「あの白鱚は白々しかない」ということは成り立つとしたらこの管工事業は磨き抜くしそれは残気量だ fact15: あの白鱚は工場現場であるけどそれは光量子仮説でない fact16: この管工事業は泊まらない fact17: 「「飼えるかあるいはカリウム塩であるかもしくは両方である」ということは誤りである」物はある fact18: 仮に何かは真新しいけど商人らしくないならば「それは白々しかない」ということは成り立つ fact19: この管工事業はカリウム塩でない
fact17 & fact5 -> int1: あの白鱚は商人らしくない; int1 & fact11 -> int2: あの白鱚は真新しいけど商人らしくない; fact18 -> int3: もしもあの白鱚は真新しい一方で商人らしくないとすればそれは白々しかない; int2 & int3 -> int4: あの白鱚は白々しかない; int4 & fact14 -> hypothesis;
「この管工事業は磨き抜くし残気量である」ということは成り立たない
fact20 -> int5: もし仮にこの管工事業は商人らしくないとすると「磨き抜くし残気量である」ということは成り立たない;
$facts$ = fact1: 何かは飼えるかあるいはそれはカリウム塩であるかどちらもである fact2: 仮に真新しいものが商人らしくないなら残気量でない fact3: 「カリウム塩でない」物はある fact4: もしあの白鱚が真新しくないけど白々しいとするとこの管工事業は商人らしくない fact5: もし仮に「「飼えるかあるいはカリウム塩であるかまたはどちらもである」ということは成り立たない」ものがあるとしたらあの白鱚は商人らしくない fact6: もし白々しい物が残気量だということはないとすれば磨き抜くということはない fact7: この管工事業は真新しくない fact8: もしもそのＤＳＭが入浴しないがそれが挟めるとするとその戦後社会は全体的特徴でない fact9: もしもあの白鱚が白々しかないならこの管工事業は磨き抜く fact10: 「飼えない」物はある fact11: あの白鱚は真新しい fact12: この管工事業は磨き抜く fact13: もし仮になにがしかのものは商人らしいということはないならば「それは磨き抜くしまた残気量だ」ということは偽だ fact14: もし「あの白鱚は白々しかない」ということは成り立つとしたらこの管工事業は磨き抜くしそれは残気量だ fact15: あの白鱚は工場現場であるけどそれは光量子仮説でない fact16: この管工事業は泊まらない fact17: 「「飼えるかあるいはカリウム塩であるかもしくは両方である」ということは誤りである」物はある fact18: 仮に何かは真新しいけど商人らしくないならば「それは白々しかない」ということは成り立つ fact19: この管工事業はカリウム塩でない ; $hypothesis$ = この管工事業は磨き抜くし残気量である ; $proof$ = 
fact17 & fact5 -> int1: あの白鱚は商人らしくない; int1 & fact11 -> int2: あの白鱚は真新しいけど商人らしくない; fact18 -> int3: もしもあの白鱚は真新しい一方で商人らしくないとすればそれは白々しかない; int2 & int3 -> int4: あの白鱚は白々しかない; int4 & fact14 -> hypothesis; __PROVED__
事実1: 何かは飼えるかあるいはそれはカリウム塩であるかどちらもである
事実2: 仮に真新しいものが商人らしくないなら残気量でない
事実3: 「カリウム塩でない」物はある
事実4: もしあの白鱚が真新しくないけど白々しいとするとこの管工事業は商人らしくない
事実5: もし仮に「「飼えるかあるいはカリウム塩であるかまたはどちらもである」ということは成り立たない」ものがあるとしたらあの白鱚は商人らしくない
事実6: もし白々しい物が残気量だということはないとすれば磨き抜くということはない
事実7: この管工事業は真新しくない
事実8: もしもそのＤＳＭが入浴しないがそれが挟めるとするとその戦後社会は全体的特徴でない
事実9: もしもあの白鱚が白々しかないならこの管工事業は磨き抜く
事実10: 「飼えない」物はある
事実11: あの白鱚は真新しい
事実12: この管工事業は磨き抜く
事実13: もし仮になにがしかのものは商人らしいということはないならば「それは磨き抜くしまた残気量だ」ということは偽だ
事実14: もし「あの白鱚は白々しかない」ということは成り立つとしたらこの管工事業は磨き抜くしそれは残気量だ
事実15: あの白鱚は工場現場であるけどそれは光量子仮説でない
事実16: この管工事業は泊まらない
事実17: 「「飼えるかあるいはカリウム塩であるかもしくは両方である」ということは誤りである」物はある
事実18: 仮に何かは真新しいけど商人らしくないならば「それは白々しかない」ということは成り立つ
事実19: この管工事業はカリウム塩でない

仮説: この管工事業は磨き抜くし残気量である
1. 事実17と事実5から、推論1: "あの白鱚は商人らしくない"が導かれる
2. 推論1と事実11から、推論2: "あの白鱚は真新しいけど商人らしくない"が導かれる
3. 事実18から、推論3: "もしもあの白鱚は真新しい一方で商人らしくないとすればそれは白々しかない"が導かれる
4. 推論2と推論3から、推論4: "あの白鱚は白々しかない"が導かれる
5. 推論4と事実14から、仮説が導かれる

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