「打ち易いということはないしさらに飼育出来ない」ものはある
fact1: そのマイナス効果が内乱罪でないとするとあのプリント合板は打ち易くないしさらに飼育出来るということはない fact2: あのプリント合板は飼育出来ない fact3: とあるものは順応し易くない fact4: もし「そのマイナス効果は内乱罪でない」ということは真実であるとするとあのプリント合板は飼育出来ない fact5: とあるものは歴史公園でない fact6: あのスキルは掛かり易くないしその上打ち易いということはない fact7: 「あのプリント合板は晴々しいがしかしそれは内乱罪でない」ということは誤りだ fact8: 「この機関相互はへたらないしその上それは順応し易くない」ということは成り立たないならそのマイナス効果は内乱罪であるということはない fact9: この機関相互は順応し易い
void -> assump1: 以下のように仮定する。この機関相互はへたらないしかつ順応し易いということはない; assump1 -> int1: この機関相互は順応し易いということはない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この機関相互はへたらないし更にそれは順応し易くない」ということは間違っている; int3 & fact8 -> int4: そのマイナス効果は内乱罪でない; int4 & fact1 -> int5: あのプリント合板は打ち易くなくて飼育出来ない; int5 -> hypothesis;
$facts$ = fact1: そのマイナス効果が内乱罪でないとするとあのプリント合板は打ち易くないしさらに飼育出来るということはない fact2: あのプリント合板は飼育出来ない fact3: とあるものは順応し易くない fact4: もし「そのマイナス効果は内乱罪でない」ということは真実であるとするとあのプリント合板は飼育出来ない fact5: とあるものは歴史公園でない fact6: あのスキルは掛かり易くないしその上打ち易いということはない fact7: 「あのプリント合板は晴々しいがしかしそれは内乱罪でない」ということは誤りだ fact8: 「この機関相互はへたらないしその上それは順応し易くない」ということは成り立たないならそのマイナス効果は内乱罪であるということはない fact9: この機関相互は順応し易い ; $hypothesis$ = 「打ち易いということはないしさらに飼育出来ない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この機関相互はへたらないしかつ順応し易いということはない; assump1 -> int1: この機関相互は順応し易いということはない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この機関相互はへたらないし更にそれは順応し易くない」ということは間違っている; int3 & fact8 -> int4: そのマイナス効果は内乱罪でない; int4 & fact1 -> int5: あのプリント合板は打ち易くなくて飼育出来ない; int5 -> hypothesis; __PROVED__
事実1: そのマイナス効果が内乱罪でないとするとあのプリント合板は打ち易くないしさらに飼育出来るということはない
事実2: あのプリント合板は飼育出来ない
事実3: とあるものは順応し易くない
事実4: もし「そのマイナス効果は内乱罪でない」ということは真実であるとするとあのプリント合板は飼育出来ない
事実5: とあるものは歴史公園でない
事実6: あのスキルは掛かり易くないしその上打ち易いということはない
事実7: 「あのプリント合板は晴々しいがしかしそれは内乱罪でない」ということは誤りだ
事実8: 「この機関相互はへたらないしその上それは順応し易くない」ということは成り立たないならそのマイナス効果は内乱罪であるということはない
事実9: この機関相互は順応し易い

仮説: 「打ち易いということはないしさらに飼育出来ない」ものはある
1. 仮定1: 以下のように仮定する。この機関相互はへたらないしかつ順応し易いということはない
2. 仮定1から、推論1: "この機関相互は順応し易いということはない"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この機関相互はへたらないし更にそれは順応し易くない」ということは間違っている"が導かれる
5. 推論3と事実8から、推論4: "そのマイナス効果は内乱罪でない"が導かれる
6. 推論4と事実1から、推論5: "あのプリント合板は打ち易くなくて飼育出来ない"が導かれる
7. 推論5から、仮説が導かれる

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