このトリペプチドは歩き易い
fact1: もしもあるものが頽れるとすればそれは休養しないか流し込むかもしくは両方である fact2: このトリペプチドは生々しい fact3: もしも「あのミニゲームはオフィス需要であるけど取り逃がさない」ということは事実と異なるならその大拙自身は歩き易い fact4: あのミニゲームがオフィス需要であるとしたらこのトリペプチドは歩き易い fact5: このトリペプチドはオフィス需要だ fact6: もしこのトリペプチドがにやにやしないかあるいは頽れるとすれば頽れる fact7: 何らかのものは歩き掛けないならば「それは頽れるしかつそれはにやにやする」ということは成り立つ fact8: このトリペプチドは開き易い fact9: あのミニゲームが歩き易いならこのトリペプチドはオフィス需要だ fact10: このトリペプチドがオフィス需要ならばあのミニゲームは歩き易い fact11: もしもなにがしかのものは頽れるとすると「それは流し込むということはないかあるいはそれは引き算しないか両方である」ということは誤っている fact12: このトリペプチドは休養しないかまたは流し込むかもしくはどちらもであるとしたらそれはオフィス需要だということはない fact13: あのミニゲームはオフィス需要だ fact14: あのミニゲームは歩き易い fact15: もし仮になんらかの物は休養するとしたら「それはオフィス需要だがしかし取り逃がさない」ということは成り立たない fact16: もし仮にあるものがオフィス需要でないけれどそれが取り逃がすとしたら歩き易くない fact17: もし「何らかの物は流し込むということはないかもしくは引き算するということはないか両方ともである」ということは誤っているとしたらそれは休養する fact18: もしも「あのミニゲームは歩き掛けるししかも御偉い」ということは間違いであるなら歩き掛けない
fact4 & fact13 -> hypothesis;
fact4 & fact13 -> hypothesis;
その大拙自身は歩き易い
fact22 -> int1: あのミニゲームは休養すれば「オフィス需要であるしまたそれは取り逃がさない」ということは偽である; fact20 -> int2: 「あのミニゲームは流し込まないかまたは引き算しないかもしくは両方である」ということは偽なら休養する; fact24 -> int3: もし「あのミニゲームは頽れる」ということは正しいとしたら「それは流し込まないか引き算しないかまたはどちらもだ」ということは誤りである; fact21 -> int4: 仮にあのミニゲームは歩き掛けないとすると「頽れるし加えてそれはにやにやする」ということは成り立つ;
$facts$ = fact1: もしもあるものが頽れるとすればそれは休養しないか流し込むかもしくは両方である fact2: このトリペプチドは生々しい fact3: もしも「あのミニゲームはオフィス需要であるけど取り逃がさない」ということは事実と異なるならその大拙自身は歩き易い fact4: あのミニゲームがオフィス需要であるとしたらこのトリペプチドは歩き易い fact5: このトリペプチドはオフィス需要だ fact6: もしこのトリペプチドがにやにやしないかあるいは頽れるとすれば頽れる fact7: 何らかのものは歩き掛けないならば「それは頽れるしかつそれはにやにやする」ということは成り立つ fact8: このトリペプチドは開き易い fact9: あのミニゲームが歩き易いならこのトリペプチドはオフィス需要だ fact10: このトリペプチドがオフィス需要ならばあのミニゲームは歩き易い fact11: もしもなにがしかのものは頽れるとすると「それは流し込むということはないかあるいはそれは引き算しないか両方である」ということは誤っている fact12: このトリペプチドは休養しないかまたは流し込むかもしくはどちらもであるとしたらそれはオフィス需要だということはない fact13: あのミニゲームはオフィス需要だ fact14: あのミニゲームは歩き易い fact15: もし仮になんらかの物は休養するとしたら「それはオフィス需要だがしかし取り逃がさない」ということは成り立たない fact16: もし仮にあるものがオフィス需要でないけれどそれが取り逃がすとしたら歩き易くない fact17: もし「何らかの物は流し込むということはないかもしくは引き算するということはないか両方ともである」ということは誤っているとしたらそれは休養する fact18: もしも「あのミニゲームは歩き掛けるししかも御偉い」ということは間違いであるなら歩き掛けない ; $hypothesis$ = このトリペプチドは歩き易い ; $proof$ = 
fact4 & fact13 -> hypothesis; __PROVED__
事実1: もしもあるものが頽れるとすればそれは休養しないか流し込むかもしくは両方である
事実2: このトリペプチドは生々しい
事実3: もしも「あのミニゲームはオフィス需要であるけど取り逃がさない」ということは事実と異なるならその大拙自身は歩き易い
事実4: あのミニゲームがオフィス需要であるとしたらこのトリペプチドは歩き易い
事実5: このトリペプチドはオフィス需要だ
事実6: もしこのトリペプチドがにやにやしないかあるいは頽れるとすれば頽れる
事実7: 何らかのものは歩き掛けないならば「それは頽れるしかつそれはにやにやする」ということは成り立つ
事実8: このトリペプチドは開き易い
事実9: あのミニゲームが歩き易いならこのトリペプチドはオフィス需要だ
事実10: このトリペプチドがオフィス需要ならばあのミニゲームは歩き易い
事実11: もしもなにがしかのものは頽れるとすると「それは流し込むということはないかあるいはそれは引き算しないか両方である」ということは誤っている
事実12: このトリペプチドは休養しないかまたは流し込むかもしくはどちらもであるとしたらそれはオフィス需要だということはない
事実13: あのミニゲームはオフィス需要だ
事実14: あのミニゲームは歩き易い
事実15: もし仮になんらかの物は休養するとしたら「それはオフィス需要だがしかし取り逃がさない」ということは成り立たない
事実16: もし仮にあるものがオフィス需要でないけれどそれが取り逃がすとしたら歩き易くない
事実17: もし「何らかの物は流し込むということはないかもしくは引き算するということはないか両方ともである」ということは誤っているとしたらそれは休養する
事実18: もしも「あのミニゲームは歩き掛けるししかも御偉い」ということは間違いであるなら歩き掛けない

仮説: このトリペプチドは歩き易い
1. 事実4と事実13から、仮説が導かれる

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