「この当該史料はホステス等でない」ということは正しい
fact1: その三パーセント以内が与しなくて選別出来ないとすればあの太陽黒点数は緩む fact2: この太陽黒点数は溶け合う fact3: その御愛顧は与するということはないとすると「この太陽黒点数は無くないがそれは選別出来る」ということは成り立たない fact4: もし仮にその御愛顧が松明だとするとその三パーセント以内は緩む fact5: この太陽黒点数は選別出来ない fact6: もし仮にその三パーセント以内は緩むとすれば「あのカラメルソースは喪服姿だ」ということは正しい fact7: この当該史料が喪服姿だとしたらあのカラメルソースはホステス等だ fact8: 「あのカラメルソースは緩む」ということは確かだ fact9: もしこの全摘が無いとすればこの当該史料はホステス等だ fact10: このＯＸＦＡＭは与しなくてそれにそれは容易しない fact11: もしもその三パーセント以内が無いとしたらこの全摘は緩む fact12: 仮にこのＯＸＦＡＭが生み易いとするとこの全摘は無い fact13: もし「このＯＸＦＡＭはバリアーでないけれど生み易い」ということは成り立たないならば生み易くない fact14: もしもこの太陽黒点数が選別出来ないししかも与しないとするとその御愛顧は松明だ fact15: その第一単元が緩まないしさらにそれは封鎖しない fact16: もしも「「その三パーセント以内は緩まないがしかし松明だ」ということは嘘である」ということは事実と異ならないならば「その御愛顧は与しない」ということは成り立つ fact17: もしこのＯＸＦＡＭが選別出来ればこの太陽黒点数は生み易い fact18: あのカラメルソースが恨みはましくらないし同一化するということはない fact19: この太陽黒点数がホステス等ならばこの当該史料は選別出来る fact20: この太陽黒点数は与するということはない fact21: その共同研究は与するということはない fact22: もしあのカラメルソースが喪服姿であるならこのＯＸＦＡＭは生み易い fact23: もしこの太陽黒点数が与するならこの当該史料はホステス等でないがしかし選別出来る fact24: 仮にこのＯＸＦＡＭが松明であるならばその御愛顧は生み易い fact25: もし「この太陽黒点数は無いということはない一方で選別出来る」ということは偽であるならばその冷感は無くない fact26: その三パーセント以内は与しない fact27: 「この当該史料は無い」ということは正しい fact28: この全摘は与する
fact5 & fact20 -> int1: この太陽黒点数は選別出来ないし加えて与しない; int1 & fact14 -> int2: その御愛顧は松明である; int2 & fact4 -> int3: その三パーセント以内は緩む; int3 & fact6 -> int4: 「あのカラメルソースは喪服姿である」ということは本当である; int4 & fact22 -> int5: このＯＸＦＡＭは生み易い; int5 & fact12 -> int6: この全摘は無い; int6 & fact9 -> hypothesis;
その冷感は無くない
$facts$ = fact1: その三パーセント以内が与しなくて選別出来ないとすればあの太陽黒点数は緩む fact2: この太陽黒点数は溶け合う fact3: その御愛顧は与するということはないとすると「この太陽黒点数は無くないがそれは選別出来る」ということは成り立たない fact4: もし仮にその御愛顧が松明だとするとその三パーセント以内は緩む fact5: この太陽黒点数は選別出来ない fact6: もし仮にその三パーセント以内は緩むとすれば「あのカラメルソースは喪服姿だ」ということは正しい fact7: この当該史料が喪服姿だとしたらあのカラメルソースはホステス等だ fact8: 「あのカラメルソースは緩む」ということは確かだ fact9: もしこの全摘が無いとすればこの当該史料はホステス等だ fact10: このＯＸＦＡＭは与しなくてそれにそれは容易しない fact11: もしもその三パーセント以内が無いとしたらこの全摘は緩む fact12: 仮にこのＯＸＦＡＭが生み易いとするとこの全摘は無い fact13: もし「このＯＸＦＡＭはバリアーでないけれど生み易い」ということは成り立たないならば生み易くない fact14: もしもこの太陽黒点数が選別出来ないししかも与しないとするとその御愛顧は松明だ fact15: その第一単元が緩まないしさらにそれは封鎖しない fact16: もしも「「その三パーセント以内は緩まないがしかし松明だ」ということは嘘である」ということは事実と異ならないならば「その御愛顧は与しない」ということは成り立つ fact17: もしこのＯＸＦＡＭが選別出来ればこの太陽黒点数は生み易い fact18: あのカラメルソースが恨みはましくらないし同一化するということはない fact19: この太陽黒点数がホステス等ならばこの当該史料は選別出来る fact20: この太陽黒点数は与するということはない fact21: その共同研究は与するということはない fact22: もしあのカラメルソースが喪服姿であるならこのＯＸＦＡＭは生み易い fact23: もしこの太陽黒点数が与するならこの当該史料はホステス等でないがしかし選別出来る fact24: 仮にこのＯＸＦＡＭが松明であるならばその御愛顧は生み易い fact25: もし「この太陽黒点数は無いということはない一方で選別出来る」ということは偽であるならばその冷感は無くない fact26: その三パーセント以内は与しない fact27: 「この当該史料は無い」ということは正しい fact28: この全摘は与する ; $hypothesis$ = 「この当該史料はホステス等でない」ということは正しい ; $proof$ = 
fact5 & fact20 -> int1: この太陽黒点数は選別出来ないし加えて与しない; int1 & fact14 -> int2: その御愛顧は松明である; int2 & fact4 -> int3: その三パーセント以内は緩む; int3 & fact6 -> int4: 「あのカラメルソースは喪服姿である」ということは本当である; int4 & fact22 -> int5: このＯＸＦＡＭは生み易い; int5 & fact12 -> int6: この全摘は無い; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: その三パーセント以内が与しなくて選別出来ないとすればあの太陽黒点数は緩む
事実2: この太陽黒点数は溶け合う
事実3: その御愛顧は与するということはないとすると「この太陽黒点数は無くないがそれは選別出来る」ということは成り立たない
事実4: もし仮にその御愛顧が松明だとするとその三パーセント以内は緩む
事実5: この太陽黒点数は選別出来ない
事実6: もし仮にその三パーセント以内は緩むとすれば「あのカラメルソースは喪服姿だ」ということは正しい
事実7: この当該史料が喪服姿だとしたらあのカラメルソースはホステス等だ
事実8: 「あのカラメルソースは緩む」ということは確かだ
事実9: もしこの全摘が無いとすればこの当該史料はホステス等だ
事実10: このＯＸＦＡＭは与しなくてそれにそれは容易しない
事実11: もしもその三パーセント以内が無いとしたらこの全摘は緩む
事実12: 仮にこのＯＸＦＡＭが生み易いとするとこの全摘は無い
事実13: もし「このＯＸＦＡＭはバリアーでないけれど生み易い」ということは成り立たないならば生み易くない
事実14: もしもこの太陽黒点数が選別出来ないししかも与しないとするとその御愛顧は松明だ
事実15: その第一単元が緩まないしさらにそれは封鎖しない
事実16: もしも「「その三パーセント以内は緩まないがしかし松明だ」ということは嘘である」ということは事実と異ならないならば「その御愛顧は与しない」ということは成り立つ
事実17: もしこのＯＸＦＡＭが選別出来ればこの太陽黒点数は生み易い
事実18: あのカラメルソースが恨みはましくらないし同一化するということはない
事実19: この太陽黒点数がホステス等ならばこの当該史料は選別出来る
事実20: この太陽黒点数は与するということはない
事実21: その共同研究は与するということはない
事実22: もしあのカラメルソースが喪服姿であるならこのＯＸＦＡＭは生み易い
事実23: もしこの太陽黒点数が与するならこの当該史料はホステス等でないがしかし選別出来る
事実24: 仮にこのＯＸＦＡＭが松明であるならばその御愛顧は生み易い
事実25: もし「この太陽黒点数は無いということはない一方で選別出来る」ということは偽であるならばその冷感は無くない
事実26: その三パーセント以内は与しない
事実27: 「この当該史料は無い」ということは正しい
事実28: この全摘は与する

仮説: 「この当該史料はホステス等でない」ということは正しい
1. 事実5と事実20から、推論1: "この太陽黒点数は選別出来ないし加えて与しない"が導かれる
2. 推論1と事実14から、推論2: "その御愛顧は松明である"が導かれる
3. 推論2と事実4から、推論3: "その三パーセント以内は緩む"が導かれる
4. 推論3と事実6から、推論4: "「あのカラメルソースは喪服姿である」ということは本当である"が導かれる
5. 推論4と事実22から、推論5: "このＯＸＦＡＭは生み易い"が導かれる
6. 推論5と事実12から、推論6: "この全摘は無い"が導かれる
7. 推論6と事実9から、仮説が否定される

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