「その男友達がファイルだししかもそれはプランニングする」ということは嘘だ
fact1: 仮にあのモー会郡生まれが切れ易いとするとその男友達はプランニングする fact2: もしあのＬＥＴが古今だとすればその黄色は謎めく fact3: その黄色が謎めけばこのＡＬＳは狡賢いということはない fact4: あのＬＥＴは仲間らしい fact5: もしこのＡＬＳが切れ易いとするとあのモー会郡生まれは狡賢くない fact6: あのモー会郡生まれが謎めかないとしたらその黄色はファイルであるか再起動するかもしくは両方ともである fact7: その男友達は狡賢いかあるいはプランニングする fact8: もしもあのモー会郡生まれが古今であるということはないとするとあのＬＥＴは再起動するかあるいはそれは切れ易い fact9: その男友達はファイルだ fact10: あのモー会郡生まれはプランニングする fact11: あのモー会郡生まれが再起動すればその男友達はプランニングする fact12: もし仮にこのＡＬＳが狡賢くないとするとあのモー会郡生まれは切れ易いかもしくは再起動するかどちらもである fact13: あのＬＥＴが仲間らしいならばそれは古今だ
fact13 & fact4 -> int1: あのＬＥＴは古今である; int1 & fact2 -> int2: その黄色は謎めく; int2 & fact3 -> int3: このＡＬＳは狡賢くない; int3 & fact12 -> int4: あのモー会郡生まれは切れ易いかあるいは再起動するかあるいは両方だ; int4 & fact1 & fact11 -> int5: その男友達はプランニングする; int5 & fact9 -> hypothesis;
$facts$ = fact1: 仮にあのモー会郡生まれが切れ易いとするとその男友達はプランニングする fact2: もしあのＬＥＴが古今だとすればその黄色は謎めく fact3: その黄色が謎めけばこのＡＬＳは狡賢いということはない fact4: あのＬＥＴは仲間らしい fact5: もしこのＡＬＳが切れ易いとするとあのモー会郡生まれは狡賢くない fact6: あのモー会郡生まれが謎めかないとしたらその黄色はファイルであるか再起動するかもしくは両方ともである fact7: その男友達は狡賢いかあるいはプランニングする fact8: もしもあのモー会郡生まれが古今であるということはないとするとあのＬＥＴは再起動するかあるいはそれは切れ易い fact9: その男友達はファイルだ fact10: あのモー会郡生まれはプランニングする fact11: あのモー会郡生まれが再起動すればその男友達はプランニングする fact12: もし仮にこのＡＬＳが狡賢くないとするとあのモー会郡生まれは切れ易いかもしくは再起動するかどちらもである fact13: あのＬＥＴが仲間らしいならばそれは古今だ ; $hypothesis$ = 「その男友達がファイルだししかもそれはプランニングする」ということは嘘だ ; $proof$ = 
fact13 & fact4 -> int1: あのＬＥＴは古今である; int1 & fact2 -> int2: その黄色は謎めく; int2 & fact3 -> int3: このＡＬＳは狡賢くない; int3 & fact12 -> int4: あのモー会郡生まれは切れ易いかあるいは再起動するかあるいは両方だ; int4 & fact1 & fact11 -> int5: その男友達はプランニングする; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮にあのモー会郡生まれが切れ易いとするとその男友達はプランニングする
事実2: もしあのＬＥＴが古今だとすればその黄色は謎めく
事実3: その黄色が謎めけばこのＡＬＳは狡賢いということはない
事実4: あのＬＥＴは仲間らしい
事実5: もしこのＡＬＳが切れ易いとするとあのモー会郡生まれは狡賢くない
事実6: あのモー会郡生まれが謎めかないとしたらその黄色はファイルであるか再起動するかもしくは両方ともである
事実7: その男友達は狡賢いかあるいはプランニングする
事実8: もしもあのモー会郡生まれが古今であるということはないとするとあのＬＥＴは再起動するかあるいはそれは切れ易い
事実9: その男友達はファイルだ
事実10: あのモー会郡生まれはプランニングする
事実11: あのモー会郡生まれが再起動すればその男友達はプランニングする
事実12: もし仮にこのＡＬＳが狡賢くないとするとあのモー会郡生まれは切れ易いかもしくは再起動するかどちらもである
事実13: あのＬＥＴが仲間らしいならばそれは古今だ

仮説: 「その男友達がファイルだししかもそれはプランニングする」ということは嘘だ
1. 事実13と事実4から、推論1: "あのＬＥＴは古今である"が導かれる
2. 推論1と事実2から、推論2: "その黄色は謎めく"が導かれる
3. 推論2と事実3から、推論3: "このＡＬＳは狡賢くない"が導かれる
4. 推論3と事実12から、推論4: "あのモー会郡生まれは切れ易いかあるいは再起動するかあるいは両方だ"が導かれる
5. 推論4と事実1と事実11から、推論5: "その男友達はプランニングする"が導かれる
6. 推論5と事実9から、仮説が否定される

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