あの愛媛産は長腕でない
fact1: もしなにかはチュンピでないししかも照れ臭くないとすると混同し易くない fact2: あの松岡青年が長腕でなくてそれが照れ臭くないとすれば輝かしない fact3: もし仮にあの松岡青年が輝かしということはないとすればあの愛媛産は混同し易くないかまたはそれは咲き出すかあるいは両方ともである fact4: 仮に「輝かしない」物はあるとしたら「あの松岡青年はチュンピでなくておまけに照れ臭くない」ということは確かだ fact5: 仮に何かは咲き出さないとすると「長腕でない」ということは確かである fact6: あの松岡青年はチュンピでない fact7: 仮にあの松岡青年が咲き出さないならばかちあうしその上それは混同し易い fact8: もしもあの松岡青年が輝かしないとすればチュンピでない fact9: もし仮に「その物化は咲き出さないけれど輝かし」ということは成り立つならあの松岡青年は咲き出さない fact10: その物化は輝かしかあるいはそれは咲き出す fact11: もしあの松岡青年がチュンピだが照れ臭いということはないとすればそれは混同し易くない fact12: もし仮になにがしかの物が咲き出さないかあるいはそれはかちあうかまたはどちらもであるとすると長腕でない fact13: もしとあるものが見え難いとすれば長腕でなくてその上それは輝かし fact14: もしもあの二頭筋が伏せ止めしないしそれがすーごくないとするとあの松岡青年は咲き出さない fact15: その物化が長腕でないとするとあの愛媛産は長腕である fact16: もしもあの松岡青年が混同し易くないとするとあの愛媛産は咲き出さないかまたはかちあうか両方ともである fact17: 「なんらかのものは照れ臭いということはないしチュンピでない」ということは間違っているとしたら「見え難い」ということは真実だ fact18: もし何かは咲き出さなくて見え難くないとすればチュンピでない fact19: 「その物化は輝かしないししかも見え難いということはない」ということは正しい fact20: その物化は見え難くない
fact19 -> int1: その物化は輝かしない; int1 -> int2: 「輝かしない」ものはある; int2 & fact4 -> int3: 「あの松岡青年はチュンピでなくてそれは照れ臭いということはない」ということは成り立つ; fact1 -> int4: もしもあの松岡青年がチュンピでないしおまけに照れ臭くないならば混同し易くない; int3 & int4 -> int5: あの松岡青年は混同し易くない; int5 & fact16 -> int6: あの愛媛産は咲き出さないかかちあうかもしくは両方だ; fact12 -> int7: もしもあの愛媛産が咲き出さないかかちあうとするとそれは長腕でない; int6 & int7 -> hypothesis;
あの松岡青年は咲き出さない
$facts$ = fact1: もしなにかはチュンピでないししかも照れ臭くないとすると混同し易くない fact2: あの松岡青年が長腕でなくてそれが照れ臭くないとすれば輝かしない fact3: もし仮にあの松岡青年が輝かしということはないとすればあの愛媛産は混同し易くないかまたはそれは咲き出すかあるいは両方ともである fact4: 仮に「輝かしない」物はあるとしたら「あの松岡青年はチュンピでなくておまけに照れ臭くない」ということは確かだ fact5: 仮に何かは咲き出さないとすると「長腕でない」ということは確かである fact6: あの松岡青年はチュンピでない fact7: 仮にあの松岡青年が咲き出さないならばかちあうしその上それは混同し易い fact8: もしもあの松岡青年が輝かしないとすればチュンピでない fact9: もし仮に「その物化は咲き出さないけれど輝かし」ということは成り立つならあの松岡青年は咲き出さない fact10: その物化は輝かしかあるいはそれは咲き出す fact11: もしあの松岡青年がチュンピだが照れ臭いということはないとすればそれは混同し易くない fact12: もし仮になにがしかの物が咲き出さないかあるいはそれはかちあうかまたはどちらもであるとすると長腕でない fact13: もしとあるものが見え難いとすれば長腕でなくてその上それは輝かし fact14: もしもあの二頭筋が伏せ止めしないしそれがすーごくないとするとあの松岡青年は咲き出さない fact15: その物化が長腕でないとするとあの愛媛産は長腕である fact16: もしもあの松岡青年が混同し易くないとするとあの愛媛産は咲き出さないかまたはかちあうか両方ともである fact17: 「なんらかのものは照れ臭いということはないしチュンピでない」ということは間違っているとしたら「見え難い」ということは真実だ fact18: もし何かは咲き出さなくて見え難くないとすればチュンピでない fact19: 「その物化は輝かしないししかも見え難いということはない」ということは正しい fact20: その物化は見え難くない ; $hypothesis$ = あの愛媛産は長腕でない ; $proof$ = 
fact19 -> int1: その物化は輝かしない; int1 -> int2: 「輝かしない」ものはある; int2 & fact4 -> int3: 「あの松岡青年はチュンピでなくてそれは照れ臭いということはない」ということは成り立つ; fact1 -> int4: もしもあの松岡青年がチュンピでないしおまけに照れ臭くないならば混同し易くない; int3 & int4 -> int5: あの松岡青年は混同し易くない; int5 & fact16 -> int6: あの愛媛産は咲き出さないかかちあうかもしくは両方だ; fact12 -> int7: もしもあの愛媛産が咲き出さないかかちあうとするとそれは長腕でない; int6 & int7 -> hypothesis; __PROVED__
事実1: もしなにかはチュンピでないししかも照れ臭くないとすると混同し易くない
事実2: あの松岡青年が長腕でなくてそれが照れ臭くないとすれば輝かしない
事実3: もし仮にあの松岡青年が輝かしということはないとすればあの愛媛産は混同し易くないかまたはそれは咲き出すかあるいは両方ともである
事実4: 仮に「輝かしない」物はあるとしたら「あの松岡青年はチュンピでなくておまけに照れ臭くない」ということは確かだ
事実5: 仮に何かは咲き出さないとすると「長腕でない」ということは確かである
事実6: あの松岡青年はチュンピでない
事実7: 仮にあの松岡青年が咲き出さないならばかちあうしその上それは混同し易い
事実8: もしもあの松岡青年が輝かしないとすればチュンピでない
事実9: もし仮に「その物化は咲き出さないけれど輝かし」ということは成り立つならあの松岡青年は咲き出さない
事実10: その物化は輝かしかあるいはそれは咲き出す
事実11: もしあの松岡青年がチュンピだが照れ臭いということはないとすればそれは混同し易くない
事実12: もし仮になにがしかの物が咲き出さないかあるいはそれはかちあうかまたはどちらもであるとすると長腕でない
事実13: もしとあるものが見え難いとすれば長腕でなくてその上それは輝かし
事実14: もしもあの二頭筋が伏せ止めしないしそれがすーごくないとするとあの松岡青年は咲き出さない
事実15: その物化が長腕でないとするとあの愛媛産は長腕である
事実16: もしもあの松岡青年が混同し易くないとするとあの愛媛産は咲き出さないかまたはかちあうか両方ともである
事実17: 「なんらかのものは照れ臭いということはないしチュンピでない」ということは間違っているとしたら「見え難い」ということは真実だ
事実18: もし何かは咲き出さなくて見え難くないとすればチュンピでない
事実19: 「その物化は輝かしないししかも見え難いということはない」ということは正しい
事実20: その物化は見え難くない

仮説: あの愛媛産は長腕でない
1. 事実19から、推論1: "その物化は輝かしない"が導かれる
2. 推論1から、推論2: "「輝かしない」ものはある"が導かれる
3. 推論2と事実4から、推論3: "「あの松岡青年はチュンピでなくてそれは照れ臭いということはない」ということは成り立つ"が導かれる
4. 事実1から、推論4: "もしもあの松岡青年がチュンピでないしおまけに照れ臭くないならば混同し易くない"が導かれる
5. 推論3と推論4から、推論5: "あの松岡青年は混同し易くない"が導かれる
6. 推論5と事実16から、推論6: "あの愛媛産は咲き出さないかかちあうかもしくは両方だ"が導かれる
7. 事実12から、推論7: "もしもあの愛媛産が咲き出さないかかちあうとするとそれは長腕でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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