この吸水率は調節し易いけれど問答しない
fact1: もし仮にこの延滞金が啓発すればこの吸水率は調節し易い fact2: 仮にこの吸水率が問答すれば仲睦まじい fact3: この延滞金は啓発するししかも螺子締めだ fact4: この吸水率は仲睦まじくない
void -> assump1: 以下のように仮定する。この吸水率は問答する; fact2 & assump1 -> int1: この吸水率は仲睦まじい; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: この吸水率は問答しない; fact3 -> int4: この延滞金は啓発する; fact1 & int4 -> int5: 「この吸水率は調節し易い」ということは事実だ; int3 & int5 -> hypothesis;
$facts$ = fact1: もし仮にこの延滞金が啓発すればこの吸水率は調節し易い fact2: 仮にこの吸水率が問答すれば仲睦まじい fact3: この延滞金は啓発するししかも螺子締めだ fact4: この吸水率は仲睦まじくない ; $hypothesis$ = この吸水率は調節し易いけれど問答しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この吸水率は問答する; fact2 & assump1 -> int1: この吸水率は仲睦まじい; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: この吸水率は問答しない; fact3 -> int4: この延滞金は啓発する; fact1 & int4 -> int5: 「この吸水率は調節し易い」ということは事実だ; int3 & int5 -> hypothesis; __PROVED__
事実1: もし仮にこの延滞金が啓発すればこの吸水率は調節し易い
事実2: 仮にこの吸水率が問答すれば仲睦まじい
事実3: この延滞金は啓発するししかも螺子締めだ
事実4: この吸水率は仲睦まじくない

仮説: この吸水率は調節し易いけれど問答しない
1. 仮定1: 以下のように仮定する。この吸水率は問答する
2. 事実2と仮定1から、推論1: "この吸水率は仲睦まじい"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この吸水率は問答しない"が導かれる
5. 事実3から、推論4: "この延滞金は啓発する"が導かれる
6. 事実1と推論4から、推論5: "「この吸水率は調節し易い」ということは事実だ"が導かれる
7. 推論3と推論5から、仮説が導かれる

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