もし仮にその黒石が要求課題だとすればあのＦＡＳはおどろおどろしい
fact1: もしもあるものが程近いならそれはおどろおどろしい fact2: もし仮にその黒石が要求課題ならあのＦＡＳは程近い
void -> assump1: 以下のように仮定する。その黒石は要求課題である; fact2 & assump1 -> int1: あのＦＡＳは程近い; fact1 -> int2: もしあのＦＡＳは程近いなら「おどろおどろしい」ということは真実だ; int1 & int2 -> int3: あのＦＡＳはおどろおどろしい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもあるものが程近いならそれはおどろおどろしい fact2: もし仮にその黒石が要求課題ならあのＦＡＳは程近い ; $hypothesis$ = もし仮にその黒石が要求課題だとすればあのＦＡＳはおどろおどろしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その黒石は要求課題である; fact2 & assump1 -> int1: あのＦＡＳは程近い; fact1 -> int2: もしあのＦＡＳは程近いなら「おどろおどろしい」ということは真実だ; int1 & int2 -> int3: あのＦＡＳはおどろおどろしい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあるものが程近いならそれはおどろおどろしい
事実2: もし仮にその黒石が要求課題ならあのＦＡＳは程近い

仮説: もし仮にその黒石が要求課題だとすればあのＦＡＳはおどろおどろしい
1. 仮定1: 以下のように仮定する。その黒石は要求課題である
2. 事実2と仮定1から、推論1: "あのＦＡＳは程近い"が導かれる
3. 事実1から、推論2: "もしあのＦＡＳは程近いなら「おどろおどろしい」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "あのＦＡＳはおどろおどろしい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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