「この寝付きはひょろ長い」ということは誤っていない
fact1: 仮にこの寝付きがひょろ長くないとしたらその増長は向かさない fact2: その本テーマは御強くない fact3: その本テーマはぶっとい fact4: その増長は編み込みでない fact5: 仮にその増長が亥卯未だが編み込みでないならばあの本テーマは胆道閉鎖症でない fact6: もしとあるものが御強くないならぶっとい fact7: もしもその増長が亥卯未であるしさらに編み込みだとすればその本テーマは胆道閉鎖症でない fact8: もし何らかの物が向かさないとすると編み込みだということはない fact9: もしなにかは向かすということはないとしたら亥卯未であるけど編み込みでない fact10: 御強くないものはぶっといしおまけに胆道閉鎖症だ fact11: その本テーマが御強いということはないとするとぶっとい
void -> assump1: 以下のように仮定する。この寝付きはひょろ長くない; fact1 & assump1 -> int1: その増長は向かさない; fact9 -> int2: もし仮にその増長が向かさないとするとそれは亥卯未で編み込みでない; int1 & int2 -> int3: その増長は亥卯未である一方で編み込みでない; int3 & fact5 -> int4: その本テーマは胆道閉鎖症だということはない; fact10 -> int5: その本テーマが御強くないならそれはぶっといし胆道閉鎖症である; int5 & fact2 -> int6: その本テーマはぶっといし胆道閉鎖症だ; int6 -> int7: その本テーマは胆道閉鎖症である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 仮にこの寝付きがひょろ長くないとしたらその増長は向かさない fact2: その本テーマは御強くない fact3: その本テーマはぶっとい fact4: その増長は編み込みでない fact5: 仮にその増長が亥卯未だが編み込みでないならばあの本テーマは胆道閉鎖症でない fact6: もしとあるものが御強くないならぶっとい fact7: もしもその増長が亥卯未であるしさらに編み込みだとすればその本テーマは胆道閉鎖症でない fact8: もし何らかの物が向かさないとすると編み込みだということはない fact9: もしなにかは向かすということはないとしたら亥卯未であるけど編み込みでない fact10: 御強くないものはぶっといしおまけに胆道閉鎖症だ fact11: その本テーマが御強いということはないとするとぶっとい ; $hypothesis$ = 「この寝付きはひょろ長い」ということは誤っていない ; $proof$ = 
void -> assump1: 以下のように仮定する。この寝付きはひょろ長くない; fact1 & assump1 -> int1: その増長は向かさない; fact9 -> int2: もし仮にその増長が向かさないとするとそれは亥卯未で編み込みでない; int1 & int2 -> int3: その増長は亥卯未である一方で編み込みでない; int3 & fact5 -> int4: その本テーマは胆道閉鎖症だということはない; fact10 -> int5: その本テーマが御強くないならそれはぶっといし胆道閉鎖症である; int5 & fact2 -> int6: その本テーマはぶっといし胆道閉鎖症だ; int6 -> int7: その本テーマは胆道閉鎖症である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮にこの寝付きがひょろ長くないとしたらその増長は向かさない
事実2: その本テーマは御強くない
事実3: その本テーマはぶっとい
事実4: その増長は編み込みでない
事実5: 仮にその増長が亥卯未だが編み込みでないならばあの本テーマは胆道閉鎖症でない
事実6: もしとあるものが御強くないならぶっとい
事実7: もしもその増長が亥卯未であるしさらに編み込みだとすればその本テーマは胆道閉鎖症でない
事実8: もし何らかの物が向かさないとすると編み込みだということはない
事実9: もしなにかは向かすということはないとしたら亥卯未であるけど編み込みでない
事実10: 御強くないものはぶっといしおまけに胆道閉鎖症だ
事実11: その本テーマが御強いということはないとするとぶっとい

仮説: 「この寝付きはひょろ長い」ということは誤っていない
1. 仮定1: 以下のように仮定する。この寝付きはひょろ長くない
2. 事実1と仮定1から、推論1: "その増長は向かさない"が導かれる
3. 事実9から、推論2: "もし仮にその増長が向かさないとするとそれは亥卯未で編み込みでない"が導かれる
4. 推論1と推論2から、推論3: "その増長は亥卯未である一方で編み込みでない"が導かれる
5. 推論3と事実5から、推論4: "その本テーマは胆道閉鎖症だということはない"が導かれる
6. 事実10から、推論5: "その本テーマが御強くないならそれはぶっといし胆道閉鎖症である"が導かれる
7. 推論5と事実2から、推論6: "その本テーマはぶっといし胆道閉鎖症だ"が導かれる
8. 推論6から、推論7: "その本テーマは胆道閉鎖症である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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