「その食品安全基準は流れ着くが弾き易くない」ということは嘘だ
fact1: もしその伊豆新世紀創造祭は納得し難くないとするとそれは執着心でない fact2: その伊豆新世紀創造祭が弾き易くないならばその食品安全基準は弾き易くない fact3: もし仮にその患家が上陸出来ないとしたらその伊豆新世紀創造祭は監視し易いし内庭だ fact4: 仮に「なにがしかの物は操作装置であるし更に納得し難い」ということは嘘だとすれば納得し難くない fact5: もし仮にあの憲法発布がドナーでないとするとその患家は上陸出来ない fact6: あのヒットマンはみみっちい fact7: もし仮にその伊豆新世紀創造祭はプリンター用紙でないとすれば「それは操作装置であるし納得し難い」ということは成り立たない fact8: もしもあのヒットマンはみみっちくてさらに執着心なら「その伊豆新世紀創造祭は弾き易くない」ということは正しい fact9: もしその伊豆新世紀創造祭が弾き易くないとするとその食品安全基準は流れ着く一方で弾き易いということはない fact10: あのヒットマンは執着心だ fact11: その食品安全基準は弾き易くない fact12: あの憲法発布はドナーであるということはない一方でそれは入居する fact13: どれもこれもは執着心であるかもしくはみみっちいかまたは両方だ fact14: 仮にその伊豆新世紀創造祭が内庭だけど執着心でないならあのヒットマンはみみっちくない
fact6 & fact10 -> int1: あのヒットマンはみみっちくておまけに執着心だ; int1 & fact8 -> int2: 「その伊豆新世紀創造祭は弾き易くない」ということは事実である; int2 & fact9 -> hypothesis;
fact6 & fact10 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{b}; int2 & fact9 -> hypothesis;
その食品安全基準は還俗するし執着心だ
fact15 -> int3: あのヒットマンは執着心であるかもしくはみみっちいかまたは両方だ;
$facts$ = fact1: もしその伊豆新世紀創造祭は納得し難くないとするとそれは執着心でない fact2: その伊豆新世紀創造祭が弾き易くないならばその食品安全基準は弾き易くない fact3: もし仮にその患家が上陸出来ないとしたらその伊豆新世紀創造祭は監視し易いし内庭だ fact4: 仮に「なにがしかの物は操作装置であるし更に納得し難い」ということは嘘だとすれば納得し難くない fact5: もし仮にあの憲法発布がドナーでないとするとその患家は上陸出来ない fact6: あのヒットマンはみみっちい fact7: もし仮にその伊豆新世紀創造祭はプリンター用紙でないとすれば「それは操作装置であるし納得し難い」ということは成り立たない fact8: もしもあのヒットマンはみみっちくてさらに執着心なら「その伊豆新世紀創造祭は弾き易くない」ということは正しい fact9: もしその伊豆新世紀創造祭が弾き易くないとするとその食品安全基準は流れ着く一方で弾き易いということはない fact10: あのヒットマンは執着心だ fact11: その食品安全基準は弾き易くない fact12: あの憲法発布はドナーであるということはない一方でそれは入居する fact13: どれもこれもは執着心であるかもしくはみみっちいかまたは両方だ fact14: 仮にその伊豆新世紀創造祭が内庭だけど執着心でないならあのヒットマンはみみっちくない ; $hypothesis$ = 「その食品安全基準は流れ着くが弾き易くない」ということは嘘だ ; $proof$ = 
fact6 & fact10 -> int1: あのヒットマンはみみっちくておまけに執着心だ; int1 & fact8 -> int2: 「その伊豆新世紀創造祭は弾き易くない」ということは事実である; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もしその伊豆新世紀創造祭は納得し難くないとするとそれは執着心でない
事実2: その伊豆新世紀創造祭が弾き易くないならばその食品安全基準は弾き易くない
事実3: もし仮にその患家が上陸出来ないとしたらその伊豆新世紀創造祭は監視し易いし内庭だ
事実4: 仮に「なにがしかの物は操作装置であるし更に納得し難い」ということは嘘だとすれば納得し難くない
事実5: もし仮にあの憲法発布がドナーでないとするとその患家は上陸出来ない
事実6: あのヒットマンはみみっちい
事実7: もし仮にその伊豆新世紀創造祭はプリンター用紙でないとすれば「それは操作装置であるし納得し難い」ということは成り立たない
事実8: もしもあのヒットマンはみみっちくてさらに執着心なら「その伊豆新世紀創造祭は弾き易くない」ということは正しい
事実9: もしその伊豆新世紀創造祭が弾き易くないとするとその食品安全基準は流れ着く一方で弾き易いということはない
事実10: あのヒットマンは執着心だ
事実11: その食品安全基準は弾き易くない
事実12: あの憲法発布はドナーであるということはない一方でそれは入居する
事実13: どれもこれもは執着心であるかもしくはみみっちいかまたは両方だ
事実14: 仮にその伊豆新世紀創造祭が内庭だけど執着心でないならあのヒットマンはみみっちくない

仮説: 「その食品安全基準は流れ着くが弾き易くない」ということは嘘だ
1. 事実6と事実10から、推論1: "あのヒットマンはみみっちくておまけに執着心だ"が導かれる
2. 推論1と事実8から、推論2: "「その伊豆新世紀創造祭は弾き易くない」ということは事実である"が導かれる
3. 推論2と事実9から、仮説が否定される

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