仮にこの異議が心無いとするとこの抽象的危険は心置き無くない
fact1: この抽象的危険が心置き無くて更に入り掛けるとするとこの異議は心無いということはない fact2: もし仮にこの異議が心無いしまた入り掛けるとすればこの抽象的危険は心置き無い fact3: もし仮にこの異議が心無いしかつそれが入り掛けるとするとこの抽象的危険は心置き無くない fact4: 心置き無くないものは入り掛けるしさらに心無い fact5: この異議は入り掛ける fact6: この抽象的危険は及ばす fact7: もしこの異議が心置き無いとすればこの抽象的危険は心無い fact8: あの高炉スラグ微粉末コンクリートは入り掛ける
void -> assump1: 以下のように仮定する。この異議は心無い; assump1 & fact5 -> int1: この異議は心無くて入り掛ける; int1 & fact3 -> int2: この抽象的危険は心置き無くない; [assump1] & int2 -> hypothesis;
この御人達は入り掛ける
fact9 -> int3: もし仮にこの御人達が心置き無くないなら入り掛けるしさらにそれは心無い;
$facts$ = fact1: この抽象的危険が心置き無くて更に入り掛けるとするとこの異議は心無いということはない fact2: もし仮にこの異議が心無いしまた入り掛けるとすればこの抽象的危険は心置き無い fact3: もし仮にこの異議が心無いしかつそれが入り掛けるとするとこの抽象的危険は心置き無くない fact4: 心置き無くないものは入り掛けるしさらに心無い fact5: この異議は入り掛ける fact6: この抽象的危険は及ばす fact7: もしこの異議が心置き無いとすればこの抽象的危険は心無い fact8: あの高炉スラグ微粉末コンクリートは入り掛ける ; $hypothesis$ = 仮にこの異議が心無いとするとこの抽象的危険は心置き無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この異議は心無い; assump1 & fact5 -> int1: この異議は心無くて入り掛ける; int1 & fact3 -> int2: この抽象的危険は心置き無くない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この抽象的危険が心置き無くて更に入り掛けるとするとこの異議は心無いということはない
事実2: もし仮にこの異議が心無いしまた入り掛けるとすればこの抽象的危険は心置き無い
事実3: もし仮にこの異議が心無いしかつそれが入り掛けるとするとこの抽象的危険は心置き無くない
事実4: 心置き無くないものは入り掛けるしさらに心無い
事実5: この異議は入り掛ける
事実6: この抽象的危険は及ばす
事実7: もしこの異議が心置き無いとすればこの抽象的危険は心無い
事実8: あの高炉スラグ微粉末コンクリートは入り掛ける

仮説: 仮にこの異議が心無いとするとこの抽象的危険は心置き無くない
1. 仮定1: 以下のように仮定する。この異議は心無い
2. 仮定1と事実5から、推論1: "この異議は心無くて入り掛ける"が導かれる
3. 推論1と事実3から、推論2: "この抽象的危険は心置き無くない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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