とあるものは誇らしい
fact1: 「点在する」物はある fact2: あの民営は政府全体であるとすれば「それは来辛くないかもしくは実行行為でないかまたは両方ともだ」ということは成り立たない fact3: この純色量Ｃは政府全体だ fact4: この純色量Ｃは点在する fact5: このＥ．Ｇ．は食品用である fact6: 「とある物は一工夫しないかまたは人恋しいということはないかあるいは両方ともだ」ということは誤っているとするとそれは誇らしい fact7: もしも「その成城署は誇らしくないかもしくはそれは懐かしないか両方である」ということは事実と異なるとしたら聞こえ難い fact8: 仮に「この純色量Ｃは一工夫するか人恋しくない」ということは間違いだとするとそれは誇らしい fact9: 怒りっぽくない物は誇らしくない fact10: このコインは知り合いらしい fact11: もしも「あるものは染み込み易いということはないかあるいはそれは折れ易くない」ということは事実と異なるとすればそれは興奮し易い fact12: この純色量Ｃは政府全体だとすると「それは一工夫しないかもしくはそれは人恋しくないかもしくはどちらもだ」ということは成り立つということはない fact13: もし「なにがしかの物は三月初めであるということはなくて知り合いらしくない」ということは成り立たないとすると怒りっぽくない fact14: その将校達は政府全体だ fact15: もし「この純色量Ｃは擲弾筒でないかまたは熟練しない」ということは嘘なら一工夫する fact16: この天使像は政府全体である fact17: もし「なんらかの物は政府全体でないか誇らしくない」ということは成り立たないならば一工夫する fact18: もし「知り合いらしい」物はあるとすれば「「このＥ．Ｇ．は三月初めであるということはなくてまた知り合いらしくない」ということは正しい」ということは成り立つということはない fact19: この純色量Ｃは怠りだ
fact6 -> int1: 「この純色量Ｃは一工夫するということはないかそれは人恋しくない」ということは誤りであるならばそれは誇らしい; fact12 & fact3 -> int2: 「この純色量Ｃは一工夫しないか人恋しくないかもしくは両方だ」ということは間違っている; int1 & int2 -> int3: この純色量Ｃは誇らしい; int3 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact12 & fact3 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 -> hypothesis;
このＥ．Ｇ．はＤＩＯＮである
fact20 -> int4: 仮にこのＥ．Ｇ．が怒りっぽくないならばそれは誇らしくない; fact23 -> int5: 仮に「このＥ．Ｇ．は三月初めでないし加えて知り合いらしくない」ということは誤りであるとすると怒りっぽいということはない; fact21 -> int6: 「知り合いらしい」物はある; int6 & fact22 -> int7: 「このＥ．Ｇ．は三月初めでないししかも知り合いらしくない」ということは誤りだ; int5 & int7 -> int8: このＥ．Ｇ．は怒りっぽくない; int4 & int8 -> int9: このＥ．Ｇ．は誇らしくない;
$facts$ = fact1: 「点在する」物はある fact2: あの民営は政府全体であるとすれば「それは来辛くないかもしくは実行行為でないかまたは両方ともだ」ということは成り立たない fact3: この純色量Ｃは政府全体だ fact4: この純色量Ｃは点在する fact5: このＥ．Ｇ．は食品用である fact6: 「とある物は一工夫しないかまたは人恋しいということはないかあるいは両方ともだ」ということは誤っているとするとそれは誇らしい fact7: もしも「その成城署は誇らしくないかもしくはそれは懐かしないか両方である」ということは事実と異なるとしたら聞こえ難い fact8: 仮に「この純色量Ｃは一工夫するか人恋しくない」ということは間違いだとするとそれは誇らしい fact9: 怒りっぽくない物は誇らしくない fact10: このコインは知り合いらしい fact11: もしも「あるものは染み込み易いということはないかあるいはそれは折れ易くない」ということは事実と異なるとすればそれは興奮し易い fact12: この純色量Ｃは政府全体だとすると「それは一工夫しないかもしくはそれは人恋しくないかもしくはどちらもだ」ということは成り立つということはない fact13: もし「なにがしかの物は三月初めであるということはなくて知り合いらしくない」ということは成り立たないとすると怒りっぽくない fact14: その将校達は政府全体だ fact15: もし「この純色量Ｃは擲弾筒でないかまたは熟練しない」ということは嘘なら一工夫する fact16: この天使像は政府全体である fact17: もし「なんらかの物は政府全体でないか誇らしくない」ということは成り立たないならば一工夫する fact18: もし「知り合いらしい」物はあるとすれば「「このＥ．Ｇ．は三月初めであるということはなくてまた知り合いらしくない」ということは正しい」ということは成り立つということはない fact19: この純色量Ｃは怠りだ ; $hypothesis$ = とあるものは誇らしい ; $proof$ = 
fact6 -> int1: 「この純色量Ｃは一工夫するということはないかそれは人恋しくない」ということは誤りであるならばそれは誇らしい; fact12 & fact3 -> int2: 「この純色量Ｃは一工夫しないか人恋しくないかもしくは両方だ」ということは間違っている; int1 & int2 -> int3: この純色量Ｃは誇らしい; int3 -> hypothesis; __PROVED__
事実1: 「点在する」物はある
事実2: あの民営は政府全体であるとすれば「それは来辛くないかもしくは実行行為でないかまたは両方ともだ」ということは成り立たない
事実3: この純色量Ｃは政府全体だ
事実4: この純色量Ｃは点在する
事実5: このＥ．Ｇ．は食品用である
事実6: 「とある物は一工夫しないかまたは人恋しいということはないかあるいは両方ともだ」ということは誤っているとするとそれは誇らしい
事実7: もしも「その成城署は誇らしくないかもしくはそれは懐かしないか両方である」ということは事実と異なるとしたら聞こえ難い
事実8: 仮に「この純色量Ｃは一工夫するか人恋しくない」ということは間違いだとするとそれは誇らしい
事実9: 怒りっぽくない物は誇らしくない
事実10: このコインは知り合いらしい
事実11: もしも「あるものは染み込み易いということはないかあるいはそれは折れ易くない」ということは事実と異なるとすればそれは興奮し易い
事実12: この純色量Ｃは政府全体だとすると「それは一工夫しないかもしくはそれは人恋しくないかもしくはどちらもだ」ということは成り立つということはない
事実13: もし「なにがしかの物は三月初めであるということはなくて知り合いらしくない」ということは成り立たないとすると怒りっぽくない
事実14: その将校達は政府全体だ
事実15: もし「この純色量Ｃは擲弾筒でないかまたは熟練しない」ということは嘘なら一工夫する
事実16: この天使像は政府全体である
事実17: もし「なんらかの物は政府全体でないか誇らしくない」ということは成り立たないならば一工夫する
事実18: もし「知り合いらしい」物はあるとすれば「「このＥ．Ｇ．は三月初めであるということはなくてまた知り合いらしくない」ということは正しい」ということは成り立つということはない
事実19: この純色量Ｃは怠りだ

仮説: とあるものは誇らしい
1. 事実6から、推論1: "「この純色量Ｃは一工夫するということはないかそれは人恋しくない」ということは誤りであるならばそれは誇らしい"が導かれる
2. 事実12と事実3から、推論2: "「この純色量Ｃは一工夫しないか人恋しくないかもしくは両方だ」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "この純色量Ｃは誇らしい"が導かれる
4. 推論3から、仮説が導かれる

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