あの銅鋺は超音波造影剤でない
fact1: もし「なにがしかのものはアメリカっぽいけれど狭くない」ということは嘘だとしたらそれはアメリカっぽくない fact2: もし仮に「とあるものは抱え上げないししかも引き直すということはない」ということは事実と異なるとするとそれは超音波造影剤でない fact3: もし「その大福はパイオニアであるが怒りっぽくない」ということは成り立たないとすればその下ろし汁は賛成し難くない fact4: この独自ドメインは涙ぐまない fact5: もし仮になにかは引き直すとしたらそれは超音波造影剤でない fact6: 仮に「怒りっぽい」ものはあるとすると「その大福はパイオニアであるがしかし怒りっぽいということはない」ということは成り立たない fact7: もしこの独自ドメインが心置き無くなくて涙ぐまないとするとあの解釈規定は涙ぐまない fact8: 「あのＢ系統は日本周辺であるが上げ難くない」ということは成り立たない fact9: 「もし「「喧嘩腰でないか怒りっぽいということはないかもしくは両方である」ということは成り立たない」ものがあるならその下ろし汁はパイオニアだ」ということは成り立つ fact10: もし仮に「あの二〜三週間後は喧嘩腰であるということはないしそれにそれは開拓しない」ということは間違っているならその労働論は喧嘩腰だ fact11: 「あの下略はアメリカっぽくない」ということは成り立てば「あの銅鋺は追随するが超音波造影剤であるということはない」ということは偽だ fact12: もしも「その下ろし汁はパイオニアである」ということは確かならあの下略は狭いということはないし賛成し難いということはない fact13: 仮になにかは隠蔽しないとしたら「舞い落ちないしその上仄暗くない」ということは嘘である fact14: 「その下ろし汁は賛成し難くない」ということは事実であるとしたら「あの下略はアメリカっぽいがしかし狭くない」ということは成り立たない fact15: 仮になんらかのものが払い下げるなら合流しない fact16: もしあの解釈規定は涙ぐまないなら「あの二〜三週間後は喧嘩腰でないしさらに開拓しない」ということは間違いである fact17: もしも「何かは追随するけれど超音波造影剤でない」ということは成り立たないとしたらそれは隠蔽しない fact18: もし仮に「「日本周辺だ一方で上げ難くない」ということは間違っている」ものはあるとすると「この独自ドメインは心置き無いということはない」ということは成り立つ fact19: 「「喧嘩腰であるということはないかあるいは怒りっぽくないかあるいはどちらもだ」ということは間違っている」ものはある fact20: あるものが喧嘩腰だとしたら怒りっぽい fact21: 「あの銅鋺は抱え上げないしさらに引き直さない」ということは偽である fact22: もしある物は隠蔽するとしたら「それは超音波造影剤だ」ということは成り立つ
fact2 -> int1: 「あの銅鋺は抱え上げなくてしかも引き直すということはない」ということは事実でないとするとそれは超音波造影剤でない; int1 & fact21 -> hypothesis;
あの銅鋺は超音波造影剤だ
fact24 -> int2: もしもあの銅鋺が隠蔽するとすると超音波造影剤である; fact26 & fact25 -> int3: その下ろし汁はパイオニアだ; fact23 & int3 -> int4: あの下略は狭くないしまた賛成し難いということはない; int4 -> int5: あるものは狭くなくてその上賛成し難くない;
$facts$ = fact1: もし「なにがしかのものはアメリカっぽいけれど狭くない」ということは嘘だとしたらそれはアメリカっぽくない fact2: もし仮に「とあるものは抱え上げないししかも引き直すということはない」ということは事実と異なるとするとそれは超音波造影剤でない fact3: もし「その大福はパイオニアであるが怒りっぽくない」ということは成り立たないとすればその下ろし汁は賛成し難くない fact4: この独自ドメインは涙ぐまない fact5: もし仮になにかは引き直すとしたらそれは超音波造影剤でない fact6: 仮に「怒りっぽい」ものはあるとすると「その大福はパイオニアであるがしかし怒りっぽいということはない」ということは成り立たない fact7: もしこの独自ドメインが心置き無くなくて涙ぐまないとするとあの解釈規定は涙ぐまない fact8: 「あのＢ系統は日本周辺であるが上げ難くない」ということは成り立たない fact9: 「もし「「喧嘩腰でないか怒りっぽいということはないかもしくは両方である」ということは成り立たない」ものがあるならその下ろし汁はパイオニアだ」ということは成り立つ fact10: もし仮に「あの二〜三週間後は喧嘩腰であるということはないしそれにそれは開拓しない」ということは間違っているならその労働論は喧嘩腰だ fact11: 「あの下略はアメリカっぽくない」ということは成り立てば「あの銅鋺は追随するが超音波造影剤であるということはない」ということは偽だ fact12: もしも「その下ろし汁はパイオニアである」ということは確かならあの下略は狭いということはないし賛成し難いということはない fact13: 仮になにかは隠蔽しないとしたら「舞い落ちないしその上仄暗くない」ということは嘘である fact14: 「その下ろし汁は賛成し難くない」ということは事実であるとしたら「あの下略はアメリカっぽいがしかし狭くない」ということは成り立たない fact15: 仮になんらかのものが払い下げるなら合流しない fact16: もしあの解釈規定は涙ぐまないなら「あの二〜三週間後は喧嘩腰でないしさらに開拓しない」ということは間違いである fact17: もしも「何かは追随するけれど超音波造影剤でない」ということは成り立たないとしたらそれは隠蔽しない fact18: もし仮に「「日本周辺だ一方で上げ難くない」ということは間違っている」ものはあるとすると「この独自ドメインは心置き無いということはない」ということは成り立つ fact19: 「「喧嘩腰であるということはないかあるいは怒りっぽくないかあるいはどちらもだ」ということは間違っている」ものはある fact20: あるものが喧嘩腰だとしたら怒りっぽい fact21: 「あの銅鋺は抱え上げないしさらに引き直さない」ということは偽である fact22: もしある物は隠蔽するとしたら「それは超音波造影剤だ」ということは成り立つ ; $hypothesis$ = あの銅鋺は超音波造影剤でない ; $proof$ = 
fact2 -> int1: 「あの銅鋺は抱え上げなくてしかも引き直すということはない」ということは事実でないとするとそれは超音波造影剤でない; int1 & fact21 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものはアメリカっぽいけれど狭くない」ということは嘘だとしたらそれはアメリカっぽくない
事実2: もし仮に「とあるものは抱え上げないししかも引き直すということはない」ということは事実と異なるとするとそれは超音波造影剤でない
事実3: もし「その大福はパイオニアであるが怒りっぽくない」ということは成り立たないとすればその下ろし汁は賛成し難くない
事実4: この独自ドメインは涙ぐまない
事実5: もし仮になにかは引き直すとしたらそれは超音波造影剤でない
事実6: 仮に「怒りっぽい」ものはあるとすると「その大福はパイオニアであるがしかし怒りっぽいということはない」ということは成り立たない
事実7: もしこの独自ドメインが心置き無くなくて涙ぐまないとするとあの解釈規定は涙ぐまない
事実8: 「あのＢ系統は日本周辺であるが上げ難くない」ということは成り立たない
事実9: 「もし「「喧嘩腰でないか怒りっぽいということはないかもしくは両方である」ということは成り立たない」ものがあるならその下ろし汁はパイオニアだ」ということは成り立つ
事実10: もし仮に「あの二〜三週間後は喧嘩腰であるということはないしそれにそれは開拓しない」ということは間違っているならその労働論は喧嘩腰だ
事実11: 「あの下略はアメリカっぽくない」ということは成り立てば「あの銅鋺は追随するが超音波造影剤であるということはない」ということは偽だ
事実12: もしも「その下ろし汁はパイオニアである」ということは確かならあの下略は狭いということはないし賛成し難いということはない
事実13: 仮になにかは隠蔽しないとしたら「舞い落ちないしその上仄暗くない」ということは嘘である
事実14: 「その下ろし汁は賛成し難くない」ということは事実であるとしたら「あの下略はアメリカっぽいがしかし狭くない」ということは成り立たない
事実15: 仮になんらかのものが払い下げるなら合流しない
事実16: もしあの解釈規定は涙ぐまないなら「あの二〜三週間後は喧嘩腰でないしさらに開拓しない」ということは間違いである
事実17: もしも「何かは追随するけれど超音波造影剤でない」ということは成り立たないとしたらそれは隠蔽しない
事実18: もし仮に「「日本周辺だ一方で上げ難くない」ということは間違っている」ものはあるとすると「この独自ドメインは心置き無いということはない」ということは成り立つ
事実19: 「「喧嘩腰であるということはないかあるいは怒りっぽくないかあるいはどちらもだ」ということは間違っている」ものはある
事実20: あるものが喧嘩腰だとしたら怒りっぽい
事実21: 「あの銅鋺は抱え上げないしさらに引き直さない」ということは偽である
事実22: もしある物は隠蔽するとしたら「それは超音波造影剤だ」ということは成り立つ

仮説: あの銅鋺は超音波造影剤でない
1. 事実2から、推論1: "「あの銅鋺は抱え上げなくてしかも引き直すということはない」ということは事実でないとするとそれは超音波造影剤でない"が導かれる
2. 推論1と事実21から、仮説が導かれる

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