「非鉄金属であるしさらに温かい」物はある
fact1: もしもそのクリスマスケーキが教育現場であるけど六世でないとすると惜別だ fact2: あの埓は非鉄金属である fact3: 「温かい」ものはある fact4: 「そのクリスマスケーキは非上場会社である」ということは本当である fact5: そのクリスマスケーキは非上場会社であるとしたら六世でない fact6: そのクリスマスケーキが惜別だとしたら枸櫞酸タンドスピロンである fact7: もし仮に「あの埓は仄白い」ということは事実ならそれは温かい fact8: 仮にそのクリスマスケーキが枸櫞酸タンドスピロンであるとするとあの埓は仄白い fact9: 仮にそのクリスマスケーキが非上場会社であるとしたらそれは教育現場でおまけに六世でない
fact9 & fact4 -> int1: そのクリスマスケーキは教育現場だけど六世でない; int1 & fact1 -> int2: そのクリスマスケーキは惜別だ; int2 & fact6 -> int3: そのクリスマスケーキは枸櫞酸タンドスピロンである; int3 & fact8 -> int4: あの埓は仄白い; int4 & fact7 -> int5: あの埓は温かい; int5 & fact2 -> int6: あの埓は非鉄金属であるしそれは温かい; int6 -> hypothesis;
$facts$ = fact1: もしもそのクリスマスケーキが教育現場であるけど六世でないとすると惜別だ fact2: あの埓は非鉄金属である fact3: 「温かい」ものはある fact4: 「そのクリスマスケーキは非上場会社である」ということは本当である fact5: そのクリスマスケーキは非上場会社であるとしたら六世でない fact6: そのクリスマスケーキが惜別だとしたら枸櫞酸タンドスピロンである fact7: もし仮に「あの埓は仄白い」ということは事実ならそれは温かい fact8: 仮にそのクリスマスケーキが枸櫞酸タンドスピロンであるとするとあの埓は仄白い fact9: 仮にそのクリスマスケーキが非上場会社であるとしたらそれは教育現場でおまけに六世でない ; $hypothesis$ = 「非鉄金属であるしさらに温かい」物はある ; $proof$ = 
fact9 & fact4 -> int1: そのクリスマスケーキは教育現場だけど六世でない; int1 & fact1 -> int2: そのクリスマスケーキは惜別だ; int2 & fact6 -> int3: そのクリスマスケーキは枸櫞酸タンドスピロンである; int3 & fact8 -> int4: あの埓は仄白い; int4 & fact7 -> int5: あの埓は温かい; int5 & fact2 -> int6: あの埓は非鉄金属であるしそれは温かい; int6 -> hypothesis; __PROVED__
事実1: もしもそのクリスマスケーキが教育現場であるけど六世でないとすると惜別だ
事実2: あの埓は非鉄金属である
事実3: 「温かい」ものはある
事実4: 「そのクリスマスケーキは非上場会社である」ということは本当である
事実5: そのクリスマスケーキは非上場会社であるとしたら六世でない
事実6: そのクリスマスケーキが惜別だとしたら枸櫞酸タンドスピロンである
事実7: もし仮に「あの埓は仄白い」ということは事実ならそれは温かい
事実8: 仮にそのクリスマスケーキが枸櫞酸タンドスピロンであるとするとあの埓は仄白い
事実9: 仮にそのクリスマスケーキが非上場会社であるとしたらそれは教育現場でおまけに六世でない

仮説: 「非鉄金属であるしさらに温かい」物はある
1. 事実9と事実4から、推論1: "そのクリスマスケーキは教育現場だけど六世でない"が導かれる
2. 推論1と事実1から、推論2: "そのクリスマスケーキは惜別だ"が導かれる
3. 推論2と事実6から、推論3: "そのクリスマスケーキは枸櫞酸タンドスピロンである"が導かれる
4. 推論3と事実8から、推論4: "あの埓は仄白い"が導かれる
5. 推論4と事実7から、推論5: "あの埓は温かい"が導かれる
6. 推論5と事実2から、推論6: "あの埓は非鉄金属であるしそれは温かい"が導かれる
7. 推論6から、仮説が導かれる

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