「この競技時間がバージョンアップするならあの事前的ライセンスは祝儀袋である」ということは正しくない
fact1: もし「あの事前的ライセンスはおっきい」ということは正しいなら「それは寒い」ということは真実である fact2: その欲しさは寒い fact3: もし仮に「その欲しさは急性糸球体腎炎である」ということは本当であるとしたらあの事前的ライセンスはおっきい fact4: あのシールドトンネルは急性糸球体腎炎である fact5: 仮にこの競技時間が寒いならばあの事前的ライセンスはバージョンアップする fact6: この競技時間はおっきい fact7: その腸管吸収はバージョンアップする fact8: この競技時間がバージョンアップするならその欲しさは急性糸球体腎炎だ fact9: もしあの事前的ライセンスが寒いならそれは祝儀袋だ fact10: あの事前的ライセンスがバージョンアップするとすればこの競技時間は寒い fact11: 「その名利はバージョンアップする」ということは本当だ
void -> assump1: 以下のように仮定する。この競技時間はバージョンアップする; fact8 & assump1 -> int1: その欲しさは急性糸球体腎炎だ; int1 & fact3 -> int2: あの事前的ライセンスはおっきい; int2 & fact1 -> int3: あの事前的ライセンスは寒い; int3 & fact9 -> int4: あの事前的ライセンスは祝儀袋である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし「あの事前的ライセンスはおっきい」ということは正しいなら「それは寒い」ということは真実である fact2: その欲しさは寒い fact3: もし仮に「その欲しさは急性糸球体腎炎である」ということは本当であるとしたらあの事前的ライセンスはおっきい fact4: あのシールドトンネルは急性糸球体腎炎である fact5: 仮にこの競技時間が寒いならばあの事前的ライセンスはバージョンアップする fact6: この競技時間はおっきい fact7: その腸管吸収はバージョンアップする fact8: この競技時間がバージョンアップするならその欲しさは急性糸球体腎炎だ fact9: もしあの事前的ライセンスが寒いならそれは祝儀袋だ fact10: あの事前的ライセンスがバージョンアップするとすればこの競技時間は寒い fact11: 「その名利はバージョンアップする」ということは本当だ ; $hypothesis$ = 「この競技時間がバージョンアップするならあの事前的ライセンスは祝儀袋である」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この競技時間はバージョンアップする; fact8 & assump1 -> int1: その欲しさは急性糸球体腎炎だ; int1 & fact3 -> int2: あの事前的ライセンスはおっきい; int2 & fact1 -> int3: あの事前的ライセンスは寒い; int3 & fact9 -> int4: あの事前的ライセンスは祝儀袋である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし「あの事前的ライセンスはおっきい」ということは正しいなら「それは寒い」ということは真実である
事実2: その欲しさは寒い
事実3: もし仮に「その欲しさは急性糸球体腎炎である」ということは本当であるとしたらあの事前的ライセンスはおっきい
事実4: あのシールドトンネルは急性糸球体腎炎である
事実5: 仮にこの競技時間が寒いならばあの事前的ライセンスはバージョンアップする
事実6: この競技時間はおっきい
事実7: その腸管吸収はバージョンアップする
事実8: この競技時間がバージョンアップするならその欲しさは急性糸球体腎炎だ
事実9: もしあの事前的ライセンスが寒いならそれは祝儀袋だ
事実10: あの事前的ライセンスがバージョンアップするとすればこの競技時間は寒い
事実11: 「その名利はバージョンアップする」ということは本当だ

仮説: 「この競技時間がバージョンアップするならあの事前的ライセンスは祝儀袋である」ということは正しくない
1. 仮定1: 以下のように仮定する。この競技時間はバージョンアップする
2. 事実8と仮定1から、推論1: "その欲しさは急性糸球体腎炎だ"が導かれる
3. 推論1と事実3から、推論2: "あの事前的ライセンスはおっきい"が導かれる
4. 推論2と事実1から、推論3: "あの事前的ライセンスは寒い"が導かれる
5. 推論3と事実9から、推論4: "あの事前的ライセンスは祝儀袋である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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