この基本骨格は改竄しない
fact1: もしその感染例が忍ばさないとするとこの基本骨格は見返らない一方でそれは華々しい fact2: もし仮にそのＣＧっぽさは育むけど降順でないならそれは同意権者でない fact3: なにがしかの物は見返るとすれば「この基本骨格はまごつくけれどそれは見返らない」ということは誤りだ fact4: そのＣＧっぽさは育むがしかし降順でない fact5: もし「なにがしかの物は改竄するということはない」ということは真実だとすれば吸い立てるしさらに見返る fact6: その感染例は見返る fact7: もし仮に「この基本骨格はまごつく一方で見返らない」ということは本当でないとすれば「その感染例はまごつくということはない」ということは真実だ fact8: もしこの基本骨格が見返るか吸い立てるかあるいは両方ならばあの感染例は改竄しない fact9: その感染例は拉する fact10: その感染例は床しかない fact11: あの地域防災計画は見返る fact12: もし仮にその感染例が吸い立てるかもしくは見返るかどちらもだとすればこの基本骨格は改竄しない fact13: なんらかの物は忍ばすとすれば「このパソコン上は華々しくなくてかつ忍ばさない」ということは誤っている fact14: あの全能性は見返るかまたはそれは灰色っぽい fact15: もしもその感染例が吸い立てるならばあの基本骨格は改竄しない fact16: もしも「このパソコン上は華々しくないしそれに忍ばさない」ということは誤っているとすれば改竄しない fact17: もし仮に「その感染例はまごつくということはない」ということは本当であるとすればあの博愛事業はまごつく fact18: その振動・騒音は見返る fact19: その感染例は座り易い fact20: そのＣＧっぽさが同意権者でないとすると忍ばすしウェブ利用だ fact21: その御苦労は見返る
fact6 -> int1: その感染例は吸い立てるかそれは見返るかまたは両方だ; int1 & fact12 -> hypothesis;
あの博愛事業は膨らむかまたはまごつくかもしくは両方ともだ
fact29 -> int2: もしこのパソコン上が改竄しないとしたら吸い立てるし加えて見返る; fact27 & fact26 -> int3: そのＣＧっぽさは同意権者でない; fact25 & int3 -> int4: そのＣＧっぽさは忍ばすし加えてウェブ利用である; int4 -> int5: そのＣＧっぽさは忍ばす; int5 -> int6: 「忍ばす」物はある; int6 & fact22 -> int7: 「このパソコン上は華々しいということはなくてしかも忍ばさない」ということは間違いだ; fact24 & int7 -> int8: このパソコン上は改竄しない; int2 & int8 -> int9: このパソコン上は吸い立てるしそれは見返る; int9 -> int10: このパソコン上は見返る; int10 -> int11: 「見返る」物はある; int11 & fact23 -> int12: 「この基本骨格はまごつく一方でそれは見返らない」ということは間違いである; fact30 & int12 -> int13: その感染例はまごつかない; fact28 & int13 -> int14: あの博愛事業はまごつく; int14 -> hypothesis;
$facts$ = fact1: もしその感染例が忍ばさないとするとこの基本骨格は見返らない一方でそれは華々しい fact2: もし仮にそのＣＧっぽさは育むけど降順でないならそれは同意権者でない fact3: なにがしかの物は見返るとすれば「この基本骨格はまごつくけれどそれは見返らない」ということは誤りだ fact4: そのＣＧっぽさは育むがしかし降順でない fact5: もし「なにがしかの物は改竄するということはない」ということは真実だとすれば吸い立てるしさらに見返る fact6: その感染例は見返る fact7: もし仮に「この基本骨格はまごつく一方で見返らない」ということは本当でないとすれば「その感染例はまごつくということはない」ということは真実だ fact8: もしこの基本骨格が見返るか吸い立てるかあるいは両方ならばあの感染例は改竄しない fact9: その感染例は拉する fact10: その感染例は床しかない fact11: あの地域防災計画は見返る fact12: もし仮にその感染例が吸い立てるかもしくは見返るかどちらもだとすればこの基本骨格は改竄しない fact13: なんらかの物は忍ばすとすれば「このパソコン上は華々しくなくてかつ忍ばさない」ということは誤っている fact14: あの全能性は見返るかまたはそれは灰色っぽい fact15: もしもその感染例が吸い立てるならばあの基本骨格は改竄しない fact16: もしも「このパソコン上は華々しくないしそれに忍ばさない」ということは誤っているとすれば改竄しない fact17: もし仮に「その感染例はまごつくということはない」ということは本当であるとすればあの博愛事業はまごつく fact18: その振動・騒音は見返る fact19: その感染例は座り易い fact20: そのＣＧっぽさが同意権者でないとすると忍ばすしウェブ利用だ fact21: その御苦労は見返る ; $hypothesis$ = この基本骨格は改竄しない ; $proof$ = 
fact6 -> int1: その感染例は吸い立てるかそれは見返るかまたは両方だ; int1 & fact12 -> hypothesis; __PROVED__
事実1: もしその感染例が忍ばさないとするとこの基本骨格は見返らない一方でそれは華々しい
事実2: もし仮にそのＣＧっぽさは育むけど降順でないならそれは同意権者でない
事実3: なにがしかの物は見返るとすれば「この基本骨格はまごつくけれどそれは見返らない」ということは誤りだ
事実4: そのＣＧっぽさは育むがしかし降順でない
事実5: もし「なにがしかの物は改竄するということはない」ということは真実だとすれば吸い立てるしさらに見返る
事実6: その感染例は見返る
事実7: もし仮に「この基本骨格はまごつく一方で見返らない」ということは本当でないとすれば「その感染例はまごつくということはない」ということは真実だ
事実8: もしこの基本骨格が見返るか吸い立てるかあるいは両方ならばあの感染例は改竄しない
事実9: その感染例は拉する
事実10: その感染例は床しかない
事実11: あの地域防災計画は見返る
事実12: もし仮にその感染例が吸い立てるかもしくは見返るかどちらもだとすればこの基本骨格は改竄しない
事実13: なんらかの物は忍ばすとすれば「このパソコン上は華々しくなくてかつ忍ばさない」ということは誤っている
事実14: あの全能性は見返るかまたはそれは灰色っぽい
事実15: もしもその感染例が吸い立てるならばあの基本骨格は改竄しない
事実16: もしも「このパソコン上は華々しくないしそれに忍ばさない」ということは誤っているとすれば改竄しない
事実17: もし仮に「その感染例はまごつくということはない」ということは本当であるとすればあの博愛事業はまごつく
事実18: その振動・騒音は見返る
事実19: その感染例は座り易い
事実20: そのＣＧっぽさが同意権者でないとすると忍ばすしウェブ利用だ
事実21: その御苦労は見返る

仮説: この基本骨格は改竄しない
1. 事実6から、推論1: "その感染例は吸い立てるかそれは見返るかまたは両方だ"が導かれる
2. 推論1と事実12から、仮説が導かれる

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