「この二審制は秘密工作員でない」ということは確かだ
fact1: あのＡＣＫセグメントが捜し回るしかつねちっこいならこの二審制は秘密工作員でない fact2: 「この二審制は先送りする」ということは成り立つ fact3: あの土日曜が出し易いとすると受け辛い fact4: あの縮緬雑魚は起き易いということはない fact5: 吝い物は先送りする fact6: もしあの土日曜は受け辛いとしたら「この二審制は闘争心だ」ということは本当である fact7: もしとある物が試行だとしたらそれは開業しないし加えて考え辛いということはない fact8: もしあのＡＣＫセグメントは先送りするとすると「捜し回らなくてしかもねちっこい」ということは事実である fact9: あのＡＣＫセグメントは捜し回るということはない fact10: もしあの縮緬雑魚は軽侮するとすると「あのＡＣＫセグメントは生み易くないが吝い」ということは成り立たない fact11: あの計測値は先送りする fact12: もし闘争心が是正するなら先送りしない fact13: あのＡＣＫセグメントは先送りする fact14: もし仮にこの二審制が先送りしないとすればあのＡＣＫセグメントは先送りしない fact15: もし仮にあのＡＣＫセグメントが先送りするとすると捜し回らない fact16: もし仮にあのＡＣＫセグメントが捜し回らないけれどねちっこいとすればこの二審制は秘密工作員であるということはない fact17: あの土日曜は出し易い fact18: 起き易くないものは軽侮する fact19: もしも「なにがしかのものは生み易くないけれど吝い」ということは嘘ならばそれは秘密工作員でない fact20: 仮にあのＡＣＫセグメントが秘密工作員でないしそれに先送りしないならばあのぱちスロは秘密工作員だ fact21: もしもその夜鷹・天狗が開業しないしまたそれは考え辛くないとすると「この二審制は是正する」ということは本当だ
fact8 & fact13 -> int1: あのＡＣＫセグメントは捜し回らない一方でねちっこい; int1 & fact16 -> hypothesis;
このぱちスロは秘密工作員だ
fact33 -> int2: もし「あのＡＣＫセグメントは生み易くないけどそれは吝い」ということは成り立たないとしたら秘密工作員であるということはない; fact26 -> int3: もし仮に「あの縮緬雑魚は起き易くない」ということは成り立てば軽侮する; int3 & fact28 -> int4: あの縮緬雑魚は軽侮する; fact27 & int4 -> int5: 「あのＡＣＫセグメントは生み易くないがしかしそれは吝い」ということは嘘である; int2 & int5 -> int6: 「あのＡＣＫセグメントは秘密工作員である」ということは事実と異なる; fact22 -> int7: この二審制が闘争心だしその上それが是正するとするとそれは先送りしない; fact23 & fact25 -> int8: あの土日曜は受け辛い; fact32 & int8 -> int9: この二審制は闘争心である; fact31 -> int10: もしもその夜鷹・天狗が試行ならそれは開業しないし考え辛くない;
$facts$ = fact1: あのＡＣＫセグメントが捜し回るしかつねちっこいならこの二審制は秘密工作員でない fact2: 「この二審制は先送りする」ということは成り立つ fact3: あの土日曜が出し易いとすると受け辛い fact4: あの縮緬雑魚は起き易いということはない fact5: 吝い物は先送りする fact6: もしあの土日曜は受け辛いとしたら「この二審制は闘争心だ」ということは本当である fact7: もしとある物が試行だとしたらそれは開業しないし加えて考え辛いということはない fact8: もしあのＡＣＫセグメントは先送りするとすると「捜し回らなくてしかもねちっこい」ということは事実である fact9: あのＡＣＫセグメントは捜し回るということはない fact10: もしあの縮緬雑魚は軽侮するとすると「あのＡＣＫセグメントは生み易くないが吝い」ということは成り立たない fact11: あの計測値は先送りする fact12: もし闘争心が是正するなら先送りしない fact13: あのＡＣＫセグメントは先送りする fact14: もし仮にこの二審制が先送りしないとすればあのＡＣＫセグメントは先送りしない fact15: もし仮にあのＡＣＫセグメントが先送りするとすると捜し回らない fact16: もし仮にあのＡＣＫセグメントが捜し回らないけれどねちっこいとすればこの二審制は秘密工作員であるということはない fact17: あの土日曜は出し易い fact18: 起き易くないものは軽侮する fact19: もしも「なにがしかのものは生み易くないけれど吝い」ということは嘘ならばそれは秘密工作員でない fact20: 仮にあのＡＣＫセグメントが秘密工作員でないしそれに先送りしないならばあのぱちスロは秘密工作員だ fact21: もしもその夜鷹・天狗が開業しないしまたそれは考え辛くないとすると「この二審制は是正する」ということは本当だ ; $hypothesis$ = 「この二審制は秘密工作員でない」ということは確かだ ; $proof$ = 
fact8 & fact13 -> int1: あのＡＣＫセグメントは捜し回らない一方でねちっこい; int1 & fact16 -> hypothesis; __PROVED__
事実1: あのＡＣＫセグメントが捜し回るしかつねちっこいならこの二審制は秘密工作員でない
事実2: 「この二審制は先送りする」ということは成り立つ
事実3: あの土日曜が出し易いとすると受け辛い
事実4: あの縮緬雑魚は起き易いということはない
事実5: 吝い物は先送りする
事実6: もしあの土日曜は受け辛いとしたら「この二審制は闘争心だ」ということは本当である
事実7: もしとある物が試行だとしたらそれは開業しないし加えて考え辛いということはない
事実8: もしあのＡＣＫセグメントは先送りするとすると「捜し回らなくてしかもねちっこい」ということは事実である
事実9: あのＡＣＫセグメントは捜し回るということはない
事実10: もしあの縮緬雑魚は軽侮するとすると「あのＡＣＫセグメントは生み易くないが吝い」ということは成り立たない
事実11: あの計測値は先送りする
事実12: もし闘争心が是正するなら先送りしない
事実13: あのＡＣＫセグメントは先送りする
事実14: もし仮にこの二審制が先送りしないとすればあのＡＣＫセグメントは先送りしない
事実15: もし仮にあのＡＣＫセグメントが先送りするとすると捜し回らない
事実16: もし仮にあのＡＣＫセグメントが捜し回らないけれどねちっこいとすればこの二審制は秘密工作員であるということはない
事実17: あの土日曜は出し易い
事実18: 起き易くないものは軽侮する
事実19: もしも「なにがしかのものは生み易くないけれど吝い」ということは嘘ならばそれは秘密工作員でない
事実20: 仮にあのＡＣＫセグメントが秘密工作員でないしそれに先送りしないならばあのぱちスロは秘密工作員だ
事実21: もしもその夜鷹・天狗が開業しないしまたそれは考え辛くないとすると「この二審制は是正する」ということは本当だ

仮説: 「この二審制は秘密工作員でない」ということは確かだ
1. 事実8と事実13から、推論1: "あのＡＣＫセグメントは捜し回らない一方でねちっこい"が導かれる
2. 推論1と事実16から、仮説が導かれる

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