そのシキリア人は書き合わない
fact1: もしそのシキリア人が聞き取り難くないとするとその支払い猶予は合わせ易くない fact2: もしその支払い猶予が長たらしくないしアメリカ経済でないとしたらそのシキリア人は書き合う fact3: あの社会民主主義政党は書き合う fact4: 仮にその支払い猶予が書き合わないならばこの得意先は書き合わない fact5: その支払い猶予は働き易いか二チャンネルだということはない fact6: 「その支払い猶予は更新する」ということは正しい fact7: その支払い猶予は長たらしくない fact8: そのシキリア人は更新しない fact9: その肝障害は更新するということはない fact10: もしも「そのシキリア人は聞き取り難くて更新する」ということは成り立たないとするとその支払い猶予は書き合わない fact11: その支払い猶予は長たらしくないならば「聞き取り難くてかつそれは合わせ易い」ということは嘘だ fact12: 仮にその支払い猶予が聞き取り難いということはないとするとそのシキリア人はアメリカ経済でない fact13: もしもその支払い猶予が更新しないとしたらそのシキリア人は長たらしい一方でアメリカ経済でない fact14: もしも「その支払い猶予は聞き取り難くてまた合わせ易い」ということは確かでないならばそのシキリア人はアメリカ経済でない fact15: その支払い猶予が聞き取り難くないならばあのシキリア人は長たらしいということはない fact16: もし仮にそのシキリア人がアメリカ経済でないがしかしそれが書き合うとすると更新する fact17: 「もし仮に「その支払い猶予はブレイクする」ということは誤っていないとしたらその支払い猶予は更新する」ということは事実だ fact18: もしもあの詳細サーチはブレイクしないけど更新するとすれば「その支払い猶予は更新しない」ということは事実だ fact19: 「その支払い猶予は書き合うしそれに聞き取り難い」ということは間違いだ fact20: そのシキリア人は長たらしい fact21: この社債管理者は聞き取り難い fact22: 「その支払い猶予は自動生成するしかつパートタイム労働者である」ということは間違いである
fact11 & fact7 -> int1: 「その支払い猶予は聞き取り難くて合わせ易い」ということは間違っている; int1 & fact14 -> int2: そのシキリア人はアメリカ経済でない; void -> assump1: 以下のように仮定する。そのシキリア人は書き合う; int2 & assump1 -> int3: そのシキリア人はアメリカ経済でないけど書き合う; int3 & fact16 -> int4: そのシキリア人は更新する; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのシキリア人は書き合う
$facts$ = fact1: もしそのシキリア人が聞き取り難くないとするとその支払い猶予は合わせ易くない fact2: もしその支払い猶予が長たらしくないしアメリカ経済でないとしたらそのシキリア人は書き合う fact3: あの社会民主主義政党は書き合う fact4: 仮にその支払い猶予が書き合わないならばこの得意先は書き合わない fact5: その支払い猶予は働き易いか二チャンネルだということはない fact6: 「その支払い猶予は更新する」ということは正しい fact7: その支払い猶予は長たらしくない fact8: そのシキリア人は更新しない fact9: その肝障害は更新するということはない fact10: もしも「そのシキリア人は聞き取り難くて更新する」ということは成り立たないとするとその支払い猶予は書き合わない fact11: その支払い猶予は長たらしくないならば「聞き取り難くてかつそれは合わせ易い」ということは嘘だ fact12: 仮にその支払い猶予が聞き取り難いということはないとするとそのシキリア人はアメリカ経済でない fact13: もしもその支払い猶予が更新しないとしたらそのシキリア人は長たらしい一方でアメリカ経済でない fact14: もしも「その支払い猶予は聞き取り難くてまた合わせ易い」ということは確かでないならばそのシキリア人はアメリカ経済でない fact15: その支払い猶予が聞き取り難くないならばあのシキリア人は長たらしいということはない fact16: もし仮にそのシキリア人がアメリカ経済でないがしかしそれが書き合うとすると更新する fact17: 「もし仮に「その支払い猶予はブレイクする」ということは誤っていないとしたらその支払い猶予は更新する」ということは事実だ fact18: もしもあの詳細サーチはブレイクしないけど更新するとすれば「その支払い猶予は更新しない」ということは事実だ fact19: 「その支払い猶予は書き合うしそれに聞き取り難い」ということは間違いだ fact20: そのシキリア人は長たらしい fact21: この社債管理者は聞き取り難い fact22: 「その支払い猶予は自動生成するしかつパートタイム労働者である」ということは間違いである ; $hypothesis$ = そのシキリア人は書き合わない ; $proof$ = 
fact11 & fact7 -> int1: 「その支払い猶予は聞き取り難くて合わせ易い」ということは間違っている; int1 & fact14 -> int2: そのシキリア人はアメリカ経済でない; void -> assump1: 以下のように仮定する。そのシキリア人は書き合う; int2 & assump1 -> int3: そのシキリア人はアメリカ経済でないけど書き合う; int3 & fact16 -> int4: そのシキリア人は更新する; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしそのシキリア人が聞き取り難くないとするとその支払い猶予は合わせ易くない
事実2: もしその支払い猶予が長たらしくないしアメリカ経済でないとしたらそのシキリア人は書き合う
事実3: あの社会民主主義政党は書き合う
事実4: 仮にその支払い猶予が書き合わないならばこの得意先は書き合わない
事実5: その支払い猶予は働き易いか二チャンネルだということはない
事実6: 「その支払い猶予は更新する」ということは正しい
事実7: その支払い猶予は長たらしくない
事実8: そのシキリア人は更新しない
事実9: その肝障害は更新するということはない
事実10: もしも「そのシキリア人は聞き取り難くて更新する」ということは成り立たないとするとその支払い猶予は書き合わない
事実11: その支払い猶予は長たらしくないならば「聞き取り難くてかつそれは合わせ易い」ということは嘘だ
事実12: 仮にその支払い猶予が聞き取り難いということはないとするとそのシキリア人はアメリカ経済でない
事実13: もしもその支払い猶予が更新しないとしたらそのシキリア人は長たらしい一方でアメリカ経済でない
事実14: もしも「その支払い猶予は聞き取り難くてまた合わせ易い」ということは確かでないならばそのシキリア人はアメリカ経済でない
事実15: その支払い猶予が聞き取り難くないならばあのシキリア人は長たらしいということはない
事実16: もし仮にそのシキリア人がアメリカ経済でないがしかしそれが書き合うとすると更新する
事実17: 「もし仮に「その支払い猶予はブレイクする」ということは誤っていないとしたらその支払い猶予は更新する」ということは事実だ
事実18: もしもあの詳細サーチはブレイクしないけど更新するとすれば「その支払い猶予は更新しない」ということは事実だ
事実19: 「その支払い猶予は書き合うしそれに聞き取り難い」ということは間違いだ
事実20: そのシキリア人は長たらしい
事実21: この社債管理者は聞き取り難い
事実22: 「その支払い猶予は自動生成するしかつパートタイム労働者である」ということは間違いである

仮説: そのシキリア人は書き合わない
1. 事実11と事実7から、推論1: "「その支払い猶予は聞き取り難くて合わせ易い」ということは間違っている"が導かれる
2. 推論1と事実14から、推論2: "そのシキリア人はアメリカ経済でない"が導かれる
3. 仮定1: 以下のように仮定する。そのシキリア人は書き合う
4. 推論2と仮定1から、推論3: "そのシキリア人はアメリカ経済でないけど書き合う"が導かれる
5. 推論3と事実16から、推論4: "そのシキリア人は更新する"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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