その待ち方は聞こえ難い
fact1: 仮になにがしかの物が避くかあるいはそれがキャット・フードならば修行しない fact2: あの新規採用は修行しないならば「その待ち方はシーズン途中でその上相応する」ということは正しくない fact3: そのロココは涼む fact4: もしこの接近はシーズン途中ならば「この薬叉は競り落とさないし相応しない」ということは間違っている fact5: もしあるものは予想し得ないならば縫い止めるということはない fact6: もしも「とあるものはシーズン途中でそれは相応する」ということは間違いであるならそれは聞こえ難くない fact7: その待ち方はキャット・フードでないとしたら「あの新規採用がシーズン途中だししかも聞こえ難い」ということは誤っている fact8: もし仮に「何かはシーズン途中であるし相応する」ということは成り立たないとするとそれは涼まない fact9: もし「あの新規採用は涼む一方でそれは避くない」ということは成り立たないとすればこの小房は避くない fact10: もしも「この薬叉は競り落とさないしまた相応しない」ということは本当でないならその最終年度は相応しない fact11: もしも「キャット・フードでない」物があるとすればこのユーザーＩＤは涼まない fact12: もしもその待ち方は生活保護制度でないとすると利用番号だということはない fact13: 仮に「その待ち方は修行するしシーズン途中だ」ということは間違いであるとしたら「涼まない」ということは確かである fact14: もしその最終年度が相応しないとすればそれは修行するけれどキャット・フードでない fact15: この排気が名著刊行会でないとすればこの接近はシーズン途中である fact16: あの新規採用は避くし涼む fact17: もし何らかの物は避くないなら「粘着性であるし聞こえ難い」ということは嘘だ fact18: 何かはキャット・フードだということはないならば「涼むしそれに避くない」ということは正しいということはない fact19: 「この排気は名著刊行会でない」ということは本当である
fact16 -> int1: あの新規採用は避く; int1 -> int2: あの新規採用は避くかキャット・フードである; fact1 -> int3: あの新規採用は避くかあるいはキャット・フードであるか両方ともであるとしたら修行しない; int2 & int3 -> int4: あの新規採用は修行しない; int4 & fact2 -> int5: 「その待ち方はシーズン途中であるしおまけに相応する」ということは事実と異なる; fact6 -> int6: 仮に「その待ち方はシーズン途中であるしかつ相応する」ということは真実であるということはないとしたらそれは聞こえ難くない; int5 & int6 -> hypothesis;
その待ち方は聞こえ難い
fact20 & fact23 -> int7: この接近はシーズン途中である; fact22 & int7 -> int8: 「この薬叉は競り落とさなくて加えて相応しない」ということは誤っている; fact21 & int8 -> int9: その最終年度は相応しない; fact24 & int9 -> int10: その最終年度は修行するけれどキャット・フードでない; int10 -> int11: その最終年度はキャット・フードでない; int11 -> int12: なにがしかのものはキャット・フードでない; int12 & fact25 -> int13: 「このユーザーＩＤは涼むということはない」ということは確かだ; int13 -> int14: 「涼まない」ものはある;
$facts$ = fact1: 仮になにがしかの物が避くかあるいはそれがキャット・フードならば修行しない fact2: あの新規採用は修行しないならば「その待ち方はシーズン途中でその上相応する」ということは正しくない fact3: そのロココは涼む fact4: もしこの接近はシーズン途中ならば「この薬叉は競り落とさないし相応しない」ということは間違っている fact5: もしあるものは予想し得ないならば縫い止めるということはない fact6: もしも「とあるものはシーズン途中でそれは相応する」ということは間違いであるならそれは聞こえ難くない fact7: その待ち方はキャット・フードでないとしたら「あの新規採用がシーズン途中だししかも聞こえ難い」ということは誤っている fact8: もし仮に「何かはシーズン途中であるし相応する」ということは成り立たないとするとそれは涼まない fact9: もし「あの新規採用は涼む一方でそれは避くない」ということは成り立たないとすればこの小房は避くない fact10: もしも「この薬叉は競り落とさないしまた相応しない」ということは本当でないならその最終年度は相応しない fact11: もしも「キャット・フードでない」物があるとすればこのユーザーＩＤは涼まない fact12: もしもその待ち方は生活保護制度でないとすると利用番号だということはない fact13: 仮に「その待ち方は修行するしシーズン途中だ」ということは間違いであるとしたら「涼まない」ということは確かである fact14: もしその最終年度が相応しないとすればそれは修行するけれどキャット・フードでない fact15: この排気が名著刊行会でないとすればこの接近はシーズン途中である fact16: あの新規採用は避くし涼む fact17: もし何らかの物は避くないなら「粘着性であるし聞こえ難い」ということは嘘だ fact18: 何かはキャット・フードだということはないならば「涼むしそれに避くない」ということは正しいということはない fact19: 「この排気は名著刊行会でない」ということは本当である ; $hypothesis$ = その待ち方は聞こえ難い ; $proof$ = 
fact16 -> int1: あの新規採用は避く; int1 -> int2: あの新規採用は避くかキャット・フードである; fact1 -> int3: あの新規採用は避くかあるいはキャット・フードであるか両方ともであるとしたら修行しない; int2 & int3 -> int4: あの新規採用は修行しない; int4 & fact2 -> int5: 「その待ち方はシーズン途中であるしおまけに相応する」ということは事実と異なる; fact6 -> int6: 仮に「その待ち方はシーズン途中であるしかつ相応する」ということは真実であるということはないとしたらそれは聞こえ難くない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が避くかあるいはそれがキャット・フードならば修行しない
事実2: あの新規採用は修行しないならば「その待ち方はシーズン途中でその上相応する」ということは正しくない
事実3: そのロココは涼む
事実4: もしこの接近はシーズン途中ならば「この薬叉は競り落とさないし相応しない」ということは間違っている
事実5: もしあるものは予想し得ないならば縫い止めるということはない
事実6: もしも「とあるものはシーズン途中でそれは相応する」ということは間違いであるならそれは聞こえ難くない
事実7: その待ち方はキャット・フードでないとしたら「あの新規採用がシーズン途中だししかも聞こえ難い」ということは誤っている
事実8: もし仮に「何かはシーズン途中であるし相応する」ということは成り立たないとするとそれは涼まない
事実9: もし「あの新規採用は涼む一方でそれは避くない」ということは成り立たないとすればこの小房は避くない
事実10: もしも「この薬叉は競り落とさないしまた相応しない」ということは本当でないならその最終年度は相応しない
事実11: もしも「キャット・フードでない」物があるとすればこのユーザーＩＤは涼まない
事実12: もしもその待ち方は生活保護制度でないとすると利用番号だということはない
事実13: 仮に「その待ち方は修行するしシーズン途中だ」ということは間違いであるとしたら「涼まない」ということは確かである
事実14: もしその最終年度が相応しないとすればそれは修行するけれどキャット・フードでない
事実15: この排気が名著刊行会でないとすればこの接近はシーズン途中である
事実16: あの新規採用は避くし涼む
事実17: もし何らかの物は避くないなら「粘着性であるし聞こえ難い」ということは嘘だ
事実18: 何かはキャット・フードだということはないならば「涼むしそれに避くない」ということは正しいということはない
事実19: 「この排気は名著刊行会でない」ということは本当である

仮説: その待ち方は聞こえ難い
1. 事実16から、推論1: "あの新規採用は避く"が導かれる
2. 推論1から、推論2: "あの新規採用は避くかキャット・フードである"が導かれる
3. 事実1から、推論3: "あの新規採用は避くかあるいはキャット・フードであるか両方ともであるとしたら修行しない"が導かれる
4. 推論2と推論3から、推論4: "あの新規採用は修行しない"が導かれる
5. 推論4と事実2から、推論5: "「その待ち方はシーズン途中であるしおまけに相応する」ということは事実と異なる"が導かれる
6. 事実6から、推論6: "仮に「その待ち方はシーズン途中であるしかつ相応する」ということは真実であるということはないとしたらそれは聞こえ難くない"が導かれる
7. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。