その天導衆は小走りするということはない
fact1: もし何かはアクセスプロトコルであるとすればそれは見付け易くない fact2: その木口は鍬形であるということはない fact3: 「小走りするし加えて動き出せる」物はある fact4: その天導衆は夏草だ fact5: その天導衆は抵抗でない fact6: 「「「相見えるしアクセスプロトコルだ」ということは偽である」ものはある」ということは確かだ fact7: このＭＡＳＴは寝腐れない fact8: もし「「見付け易いししかも動き出せる」ということは成り立つということはない」物はあれば「あの虹彩は動き出せるということはない」ということは事実だ fact9: あの虹彩が小走りするならその天導衆は動き出せる fact10: あの虹彩は見付け易い fact11: もしも何らかのものが見付け易くないとしたらそれは小走りするしそれに動き出せる fact12: 「「御寒いしさらに依存する」ということは事実と異なる」物はある fact13: 「もし仮に「動き出せるということはない」ものはあるなら「あの虹彩は小走りしない」ということは事実だ」ということは真実だ fact14: あの虹彩は重層化する fact15: もしその天導衆が動き出せるとすればあの虹彩は見付け易い fact16: 「「見付け易くてそれに動き出せる」ということは正しくない」物はある fact17: もしその天導衆は小走りすれば「あの虹彩は動き出せる」ということは成り立つ fact18: もし仮にその天導衆が動き出せるとしたらあの虹彩は小走りする fact19: もし仮に「小走りしない」物があるとするとあの虹彩は動き出せない fact20: あの虹彩は太ちゃんでない
void -> assump1: 以下のように仮定する。その天導衆は小走りする; fact17 & assump1 -> int1: あの虹彩は動き出せる; fact8 & fact16 -> int2: あの虹彩は動き出せるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その天導衆は小走りする
fact22 -> int4: もしも「その天導衆は見付け易くない」ということは成り立つとすればそれは小走りするし加えて動き出せる; fact21 -> int5: その天導衆はアクセスプロトコルであるならばそれは見付け易くない;
$facts$ = fact1: もし何かはアクセスプロトコルであるとすればそれは見付け易くない fact2: その木口は鍬形であるということはない fact3: 「小走りするし加えて動き出せる」物はある fact4: その天導衆は夏草だ fact5: その天導衆は抵抗でない fact6: 「「「相見えるしアクセスプロトコルだ」ということは偽である」ものはある」ということは確かだ fact7: このＭＡＳＴは寝腐れない fact8: もし「「見付け易いししかも動き出せる」ということは成り立つということはない」物はあれば「あの虹彩は動き出せるということはない」ということは事実だ fact9: あの虹彩が小走りするならその天導衆は動き出せる fact10: あの虹彩は見付け易い fact11: もしも何らかのものが見付け易くないとしたらそれは小走りするしそれに動き出せる fact12: 「「御寒いしさらに依存する」ということは事実と異なる」物はある fact13: 「もし仮に「動き出せるということはない」ものはあるなら「あの虹彩は小走りしない」ということは事実だ」ということは真実だ fact14: あの虹彩は重層化する fact15: もしその天導衆が動き出せるとすればあの虹彩は見付け易い fact16: 「「見付け易くてそれに動き出せる」ということは正しくない」物はある fact17: もしその天導衆は小走りすれば「あの虹彩は動き出せる」ということは成り立つ fact18: もし仮にその天導衆が動き出せるとしたらあの虹彩は小走りする fact19: もし仮に「小走りしない」物があるとするとあの虹彩は動き出せない fact20: あの虹彩は太ちゃんでない ; $hypothesis$ = その天導衆は小走りするということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その天導衆は小走りする; fact17 & assump1 -> int1: あの虹彩は動き出せる; fact8 & fact16 -> int2: あの虹彩は動き出せるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし何かはアクセスプロトコルであるとすればそれは見付け易くない
事実2: その木口は鍬形であるということはない
事実3: 「小走りするし加えて動き出せる」物はある
事実4: その天導衆は夏草だ
事実5: その天導衆は抵抗でない
事実6: 「「「相見えるしアクセスプロトコルだ」ということは偽である」ものはある」ということは確かだ
事実7: このＭＡＳＴは寝腐れない
事実8: もし「「見付け易いししかも動き出せる」ということは成り立つということはない」物はあれば「あの虹彩は動き出せるということはない」ということは事実だ
事実9: あの虹彩が小走りするならその天導衆は動き出せる
事実10: あの虹彩は見付け易い
事実11: もしも何らかのものが見付け易くないとしたらそれは小走りするしそれに動き出せる
事実12: 「「御寒いしさらに依存する」ということは事実と異なる」物はある
事実13: 「もし仮に「動き出せるということはない」ものはあるなら「あの虹彩は小走りしない」ということは事実だ」ということは真実だ
事実14: あの虹彩は重層化する
事実15: もしその天導衆が動き出せるとすればあの虹彩は見付け易い
事実16: 「「見付け易くてそれに動き出せる」ということは正しくない」物はある
事実17: もしその天導衆は小走りすれば「あの虹彩は動き出せる」ということは成り立つ
事実18: もし仮にその天導衆が動き出せるとしたらあの虹彩は小走りする
事実19: もし仮に「小走りしない」物があるとするとあの虹彩は動き出せない
事実20: あの虹彩は太ちゃんでない

仮説: その天導衆は小走りするということはない
1. 仮定1: 以下のように仮定する。その天導衆は小走りする
2. 事実17と仮定1から、推論1: "あの虹彩は動き出せる"が導かれる
3. 事実8と事実16から、推論2: "あの虹彩は動き出せるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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