この結婚退職は傾注しない
fact1: もし仮にこの取り柄はこよないかあるいは見積もり額であるかあるいはどちらもだとすればそれは傾注しない fact2: もし「とあるものは見積もり額であるかまたはそれは固まる」ということは確かであるとするとこよなくない fact3: 全ては見積もり額である fact4: この取り柄がこよなくないとすればこの結婚退職は傾注しない fact5: もし仮になにがしかのものが固まるならそれはこよなくない fact6: もし仮にこよなくないものがパネラーでないとすればそれは固まらない fact7: もし仮にこの取り柄が固まるとすればこよなくない
fact3 -> int1: 「この取り柄は見積もり額だ」ということは正しい; int1 -> int2: この取り柄は見積もり額であるかまたは固まるかもしくは両方である; fact2 -> int3: この取り柄は見積もり額であるかあるいは固まればそれはこよないということはない; int2 & int3 -> int4: この取り柄はこよなくない; int4 & fact4 -> hypothesis;
この結婚退職は傾注する
fact8 -> int5: 仮にこの結婚退職はこよなくないしパネラーでないとしたら固まらない;
$facts$ = fact1: もし仮にこの取り柄はこよないかあるいは見積もり額であるかあるいはどちらもだとすればそれは傾注しない fact2: もし「とあるものは見積もり額であるかまたはそれは固まる」ということは確かであるとするとこよなくない fact3: 全ては見積もり額である fact4: この取り柄がこよなくないとすればこの結婚退職は傾注しない fact5: もし仮になにがしかのものが固まるならそれはこよなくない fact6: もし仮にこよなくないものがパネラーでないとすればそれは固まらない fact7: もし仮にこの取り柄が固まるとすればこよなくない ; $hypothesis$ = この結婚退職は傾注しない ; $proof$ = 
fact3 -> int1: 「この取り柄は見積もり額だ」ということは正しい; int1 -> int2: この取り柄は見積もり額であるかまたは固まるかもしくは両方である; fact2 -> int3: この取り柄は見積もり額であるかあるいは固まればそれはこよないということはない; int2 & int3 -> int4: この取り柄はこよなくない; int4 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの取り柄はこよないかあるいは見積もり額であるかあるいはどちらもだとすればそれは傾注しない
事実2: もし「とあるものは見積もり額であるかまたはそれは固まる」ということは確かであるとするとこよなくない
事実3: 全ては見積もり額である
事実4: この取り柄がこよなくないとすればこの結婚退職は傾注しない
事実5: もし仮になにがしかのものが固まるならそれはこよなくない
事実6: もし仮にこよなくないものがパネラーでないとすればそれは固まらない
事実7: もし仮にこの取り柄が固まるとすればこよなくない

仮説: この結婚退職は傾注しない
1. 事実3から、推論1: "「この取り柄は見積もり額だ」ということは正しい"が導かれる
2. 推論1から、推論2: "この取り柄は見積もり額であるかまたは固まるかもしくは両方である"が導かれる
3. 事実2から、推論3: "この取り柄は見積もり額であるかあるいは固まればそれはこよないということはない"が導かれる
4. 推論2と推論3から、推論4: "この取り柄はこよなくない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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