もしあの照射が零二ＴＲＡならその一学期は武装解除する
fact1: あの照射は自然動物園である fact2: 仮になんらかのものは零二ＴＲＡであるとすればそれは武装解除する fact3: もし仮にその一学期は丸いとすれば「口喧しい」ということは成り立つ fact4: 仮にあるものは零二ＴＲＡであるとしたらそれは敢え無い fact5: その一学期は潤う fact6: もし何かは敢え無いならば武装解除する fact7: この千九百三十年生まれは零二ＴＲＡである fact8: あの照射がスーパーサーバであるということはないならこのバスケットインターフェアは零二ＴＲＡであるか武装解除するかまたは両方である fact9: あの照射が零二ＴＲＡであるとしたらその一学期は敢え無い fact10: あの照射は敢え無い
void -> assump1: 以下のように仮定する。あの照射は零二ＴＲＡである; fact9 & assump1 -> int1: 「その一学期は敢え無い」ということは本当だ; fact6 -> int2: もしその一学期は敢え無いとしたら「それは武装解除する」ということは確かである; int1 & int2 -> int3: その一学期は武装解除する; [assump1] & int3 -> hypothesis;
このバスケットインターフェアは敢え無い
$facts$ = fact1: あの照射は自然動物園である fact2: 仮になんらかのものは零二ＴＲＡであるとすればそれは武装解除する fact3: もし仮にその一学期は丸いとすれば「口喧しい」ということは成り立つ fact4: 仮にあるものは零二ＴＲＡであるとしたらそれは敢え無い fact5: その一学期は潤う fact6: もし何かは敢え無いならば武装解除する fact7: この千九百三十年生まれは零二ＴＲＡである fact8: あの照射がスーパーサーバであるということはないならこのバスケットインターフェアは零二ＴＲＡであるか武装解除するかまたは両方である fact9: あの照射が零二ＴＲＡであるとしたらその一学期は敢え無い fact10: あの照射は敢え無い ; $hypothesis$ = もしあの照射が零二ＴＲＡならその一学期は武装解除する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの照射は零二ＴＲＡである; fact9 & assump1 -> int1: 「その一学期は敢え無い」ということは本当だ; fact6 -> int2: もしその一学期は敢え無いとしたら「それは武装解除する」ということは確かである; int1 & int2 -> int3: その一学期は武装解除する; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの照射は自然動物園である
事実2: 仮になんらかのものは零二ＴＲＡであるとすればそれは武装解除する
事実3: もし仮にその一学期は丸いとすれば「口喧しい」ということは成り立つ
事実4: 仮にあるものは零二ＴＲＡであるとしたらそれは敢え無い
事実5: その一学期は潤う
事実6: もし何かは敢え無いならば武装解除する
事実7: この千九百三十年生まれは零二ＴＲＡである
事実8: あの照射がスーパーサーバであるということはないならこのバスケットインターフェアは零二ＴＲＡであるか武装解除するかまたは両方である
事実9: あの照射が零二ＴＲＡであるとしたらその一学期は敢え無い
事実10: あの照射は敢え無い

仮説: もしあの照射が零二ＴＲＡならその一学期は武装解除する
1. 仮定1: 以下のように仮定する。あの照射は零二ＴＲＡである
2. 事実9と仮定1から、推論1: "「その一学期は敢え無い」ということは本当だ"が導かれる
3. 事実6から、推論2: "もしその一学期は敢え無いとしたら「それは武装解除する」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "その一学期は武装解除する"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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