「この生ハムは価格下落期でしかも乗り為さる」ということは間違っている
fact1: この生ハムはきもくない fact2: 「この生ハムは温存する」ということは本当ならば「百二十号経由でないし栄養補給する」ということは成り立たない fact3: 「この同盟軍は国際法廷でない一方で歯科医学だ」ということは成り立たない fact4: 「とある物は百二十号経由でない一方で栄養補給する」ということは嘘であるならそれは遊技する fact5: この生ハムはきもくないならばそれは乗り為さる fact6: 仮に「この同盟軍は国際法廷でないけれど歯科医学である」ということは成り立たないとしたらこの生ハムは温存する fact7: もしこの生ハムが遊技するとすると価格下落期である
fact6 & fact3 -> int1: この生ハムは温存する; int1 & fact2 -> int2: 「この生ハムは百二十号経由だということはないけど栄養補給する」ということは成り立たない; fact4 -> int3: もしも「この生ハムは百二十号経由でない一方で栄養補給する」ということは嘘であるなら「それは遊技する」ということは真実である; int2 & int3 -> int4: この生ハムは遊技する; int4 & fact7 -> int5: この生ハムは価格下落期である; fact5 & fact1 -> int6: この生ハムは乗り為さる; int5 & int6 -> hypothesis;
$facts$ = fact1: この生ハムはきもくない fact2: 「この生ハムは温存する」ということは本当ならば「百二十号経由でないし栄養補給する」ということは成り立たない fact3: 「この同盟軍は国際法廷でない一方で歯科医学だ」ということは成り立たない fact4: 「とある物は百二十号経由でない一方で栄養補給する」ということは嘘であるならそれは遊技する fact5: この生ハムはきもくないならばそれは乗り為さる fact6: 仮に「この同盟軍は国際法廷でないけれど歯科医学である」ということは成り立たないとしたらこの生ハムは温存する fact7: もしこの生ハムが遊技するとすると価格下落期である ; $hypothesis$ = 「この生ハムは価格下落期でしかも乗り為さる」ということは間違っている ; $proof$ = 
fact6 & fact3 -> int1: この生ハムは温存する; int1 & fact2 -> int2: 「この生ハムは百二十号経由だということはないけど栄養補給する」ということは成り立たない; fact4 -> int3: もしも「この生ハムは百二十号経由でない一方で栄養補給する」ということは嘘であるなら「それは遊技する」ということは真実である; int2 & int3 -> int4: この生ハムは遊技する; int4 & fact7 -> int5: この生ハムは価格下落期である; fact5 & fact1 -> int6: この生ハムは乗り為さる; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この生ハムはきもくない
事実2: 「この生ハムは温存する」ということは本当ならば「百二十号経由でないし栄養補給する」ということは成り立たない
事実3: 「この同盟軍は国際法廷でない一方で歯科医学だ」ということは成り立たない
事実4: 「とある物は百二十号経由でない一方で栄養補給する」ということは嘘であるならそれは遊技する
事実5: この生ハムはきもくないならばそれは乗り為さる
事実6: 仮に「この同盟軍は国際法廷でないけれど歯科医学である」ということは成り立たないとしたらこの生ハムは温存する
事実7: もしこの生ハムが遊技するとすると価格下落期である

仮説: 「この生ハムは価格下落期でしかも乗り為さる」ということは間違っている
1. 事実6と事実3から、推論1: "この生ハムは温存する"が導かれる
2. 推論1と事実2から、推論2: "「この生ハムは百二十号経由だということはないけど栄養補給する」ということは成り立たない"が導かれる
3. 事実4から、推論3: "もしも「この生ハムは百二十号経由でない一方で栄養補給する」ということは嘘であるなら「それは遊技する」ということは真実である"が導かれる
4. 推論2と推論3から、推論4: "この生ハムは遊技する"が導かれる
5. 推論4と事実7から、推論5: "この生ハムは価格下落期である"が導かれる
6. 事実5と事実1から、推論6: "この生ハムは乗り為さる"が導かれる
7. 推論5と推論6から、仮説が否定される

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