この夜間勤務はグラフィティ号でない
fact1: この金額単位はグラフィティ号であるとすると「その癲癇質はグラフィティ号だ」ということは事実である fact2: もしもその病気等が仄暗くないとすればこの被告等は二筋道でない fact3: 仮にその癲癇質がグラフィティ号ならこの夜間勤務はグラフィティ号である fact4: この夜間勤務は申し送らないがしかし猫ならばそれはグラフィティ号でない fact5: もしもあの刀工は介入すとしたら「「その焙煎は確認し易くないけれどグラフィティ号だ」ということは成り立たない」ということは真実である fact6: もしその癲癇質は崩し易くないならば「この金額単位は二筋道でないし仄暗いということはない」ということは偽だ fact7: 仮にその焙煎は猫でないとしたら「この夜間勤務は申し送らないが猫だ」ということは正しい fact8: もしもその癲癇質が崩し易くないし確認し易くないとしたらその焙煎は介入す fact9: 「この金額単位は二筋道でないしさらに仄暗くない」ということは嘘であるならば「その焙煎は猫でない」ということは事実だ fact10: 仮に「その焙煎は確認し易くないけどそれはグラフィティ号である」ということは偽であるならばこの金額単位はグラフィティ号だ fact11: 仮にその癲癇質が介入すしかつ確認し易いならそれは崩し易くない fact12: その癲癇質は確認し易い fact13: その癲癇質は介入す fact14: もし仮にこの被告等が二筋道でないとすればあの刀工は介入すし崩し易い fact15: もしもなにかは猫であるということはないとすると仄暗くない
fact13 & fact12 -> int1: その癲癇質が介入すしその上確認し易い; int1 & fact11 -> int2: その癲癇質は崩し易くない; int2 & fact6 -> int3: 「「この金額単位は二筋道でないし仄暗くない」ということは嘘である」ということは本当である; int3 & fact9 -> int4: その焙煎は猫でない; int4 & fact7 -> int5: この夜間勤務は申し送るということはないけどそれは猫である; int5 & fact4 -> hypothesis;
「この夜間勤務はグラフィティ号である」ということは事実である
fact21 -> int6: もしその病気等は猫でないならば仄暗いということはない;
$facts$ = fact1: この金額単位はグラフィティ号であるとすると「その癲癇質はグラフィティ号だ」ということは事実である fact2: もしもその病気等が仄暗くないとすればこの被告等は二筋道でない fact3: 仮にその癲癇質がグラフィティ号ならこの夜間勤務はグラフィティ号である fact4: この夜間勤務は申し送らないがしかし猫ならばそれはグラフィティ号でない fact5: もしもあの刀工は介入すとしたら「「その焙煎は確認し易くないけれどグラフィティ号だ」ということは成り立たない」ということは真実である fact6: もしその癲癇質は崩し易くないならば「この金額単位は二筋道でないし仄暗いということはない」ということは偽だ fact7: 仮にその焙煎は猫でないとしたら「この夜間勤務は申し送らないが猫だ」ということは正しい fact8: もしもその癲癇質が崩し易くないし確認し易くないとしたらその焙煎は介入す fact9: 「この金額単位は二筋道でないしさらに仄暗くない」ということは嘘であるならば「その焙煎は猫でない」ということは事実だ fact10: 仮に「その焙煎は確認し易くないけどそれはグラフィティ号である」ということは偽であるならばこの金額単位はグラフィティ号だ fact11: 仮にその癲癇質が介入すしかつ確認し易いならそれは崩し易くない fact12: その癲癇質は確認し易い fact13: その癲癇質は介入す fact14: もし仮にこの被告等が二筋道でないとすればあの刀工は介入すし崩し易い fact15: もしもなにかは猫であるということはないとすると仄暗くない ; $hypothesis$ = この夜間勤務はグラフィティ号でない ; $proof$ = 
fact13 & fact12 -> int1: その癲癇質が介入すしその上確認し易い; int1 & fact11 -> int2: その癲癇質は崩し易くない; int2 & fact6 -> int3: 「「この金額単位は二筋道でないし仄暗くない」ということは嘘である」ということは本当である; int3 & fact9 -> int4: その焙煎は猫でない; int4 & fact7 -> int5: この夜間勤務は申し送るということはないけどそれは猫である; int5 & fact4 -> hypothesis; __PROVED__
事実1: この金額単位はグラフィティ号であるとすると「その癲癇質はグラフィティ号だ」ということは事実である
事実2: もしもその病気等が仄暗くないとすればこの被告等は二筋道でない
事実3: 仮にその癲癇質がグラフィティ号ならこの夜間勤務はグラフィティ号である
事実4: この夜間勤務は申し送らないがしかし猫ならばそれはグラフィティ号でない
事実5: もしもあの刀工は介入すとしたら「「その焙煎は確認し易くないけれどグラフィティ号だ」ということは成り立たない」ということは真実である
事実6: もしその癲癇質は崩し易くないならば「この金額単位は二筋道でないし仄暗いということはない」ということは偽だ
事実7: 仮にその焙煎は猫でないとしたら「この夜間勤務は申し送らないが猫だ」ということは正しい
事実8: もしもその癲癇質が崩し易くないし確認し易くないとしたらその焙煎は介入す
事実9: 「この金額単位は二筋道でないしさらに仄暗くない」ということは嘘であるならば「その焙煎は猫でない」ということは事実だ
事実10: 仮に「その焙煎は確認し易くないけどそれはグラフィティ号である」ということは偽であるならばこの金額単位はグラフィティ号だ
事実11: 仮にその癲癇質が介入すしかつ確認し易いならそれは崩し易くない
事実12: その癲癇質は確認し易い
事実13: その癲癇質は介入す
事実14: もし仮にこの被告等が二筋道でないとすればあの刀工は介入すし崩し易い
事実15: もしもなにかは猫であるということはないとすると仄暗くない

仮説: この夜間勤務はグラフィティ号でない
1. 事実13と事実12から、推論1: "その癲癇質が介入すしその上確認し易い"が導かれる
2. 推論1と事実11から、推論2: "その癲癇質は崩し易くない"が導かれる
3. 推論2と事実6から、推論3: "「「この金額単位は二筋道でないし仄暗くない」ということは嘘である」ということは本当である"が導かれる
4. 推論3と事実9から、推論4: "その焙煎は猫でない"が導かれる
5. 推論4と事実7から、推論5: "この夜間勤務は申し送るということはないけどそれは猫である"が導かれる
6. 推論5と事実4から、仮説が導かれる

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