「もし男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない」ものはある
fact1: もしもなにがしかの物が存ずということはないとしたらそれはＨＴＭＬ文書でなくてそれに分かち難くない fact2: もしも「あの土壌処理は存ずしＨＴＭＬ文書である」ということは間違っているとすればあの経審は存ずない fact3: この十五種類は男っぽいかあるいはそれは打ち易いか両方ともだ fact4: あの念は防止するということはない fact5: 仮に「あの念は防止しない」ということは真実であるとするとあの仲買人は打ち易いしそれに分かち難い fact6: あるものが男っぽくないとしたら看過し難くないしさらに分解しない fact7: もし仮にこの十五種類が男っぽくないかもしくはそれは打ち易いかあるいはどちらもであるとするとそれは存ずない fact8: 「もし「打ち易くない」ということは成り立つとすればＨＴＭＬ文書でなくて男っぽくない」ものはある fact9: 「この十五種類は男っぽくないがしかし存ず」ということは成り立たないならば「この地形は男っぽい」ということは事実でない fact10: この十五種類は第五学年でないかもしくは長寿社会であるかもしくは両方である fact11: この十五種類はＨＴＭＬ文書である一方で分かち難くない
void -> assump1: 以下のように仮定する。この十五種類は男っぽくない; assump1 -> int1: この十五種類は男っぽくないか打ち易いかもしくは両方である; int1 & fact7 -> int2: 「この十五種類は存ずない」ということは間違いでない; fact1 -> int3: もしこの十五種類が存ずないとするとそれはＨＴＭＬ文書でなくておまけに分かち難くない; int2 & int3 -> int4: この十五種類はＨＴＭＬ文書だということはなくてまた分かち難くない; [assump1] & int4 -> int5: 仮にこの十五種類が男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない; int5 -> hypothesis;
この地形は看過し難いということはなくておまけに分解するということはない
fact15 -> int6: 仮に「この地形は男っぽくない」ということは正しいなら看過し難くないしその上分解しない; fact14 & fact16 -> int7: あの仲買人は打ち易くて更に分かち難い; int7 -> int8: あの仲買人は打ち易い; int8 -> int9: 「打ち易い」ものはある;
$facts$ = fact1: もしもなにがしかの物が存ずということはないとしたらそれはＨＴＭＬ文書でなくてそれに分かち難くない fact2: もしも「あの土壌処理は存ずしＨＴＭＬ文書である」ということは間違っているとすればあの経審は存ずない fact3: この十五種類は男っぽいかあるいはそれは打ち易いか両方ともだ fact4: あの念は防止するということはない fact5: 仮に「あの念は防止しない」ということは真実であるとするとあの仲買人は打ち易いしそれに分かち難い fact6: あるものが男っぽくないとしたら看過し難くないしさらに分解しない fact7: もし仮にこの十五種類が男っぽくないかもしくはそれは打ち易いかあるいはどちらもであるとするとそれは存ずない fact8: 「もし「打ち易くない」ということは成り立つとすればＨＴＭＬ文書でなくて男っぽくない」ものはある fact9: 「この十五種類は男っぽくないがしかし存ず」ということは成り立たないならば「この地形は男っぽい」ということは事実でない fact10: この十五種類は第五学年でないかもしくは長寿社会であるかもしくは両方である fact11: この十五種類はＨＴＭＬ文書である一方で分かち難くない ; $hypothesis$ = 「もし男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この十五種類は男っぽくない; assump1 -> int1: この十五種類は男っぽくないか打ち易いかもしくは両方である; int1 & fact7 -> int2: 「この十五種類は存ずない」ということは間違いでない; fact1 -> int3: もしこの十五種類が存ずないとするとそれはＨＴＭＬ文書でなくておまけに分かち難くない; int2 & int3 -> int4: この十五種類はＨＴＭＬ文書だということはなくてまた分かち難くない; [assump1] & int4 -> int5: 仮にこの十五種類が男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない; int5 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が存ずということはないとしたらそれはＨＴＭＬ文書でなくてそれに分かち難くない
事実2: もしも「あの土壌処理は存ずしＨＴＭＬ文書である」ということは間違っているとすればあの経審は存ずない
事実3: この十五種類は男っぽいかあるいはそれは打ち易いか両方ともだ
事実4: あの念は防止するということはない
事実5: 仮に「あの念は防止しない」ということは真実であるとするとあの仲買人は打ち易いしそれに分かち難い
事実6: あるものが男っぽくないとしたら看過し難くないしさらに分解しない
事実7: もし仮にこの十五種類が男っぽくないかもしくはそれは打ち易いかあるいはどちらもであるとするとそれは存ずない
事実8: 「もし「打ち易くない」ということは成り立つとすればＨＴＭＬ文書でなくて男っぽくない」ものはある
事実9: 「この十五種類は男っぽくないがしかし存ず」ということは成り立たないならば「この地形は男っぽい」ということは事実でない
事実10: この十五種類は第五学年でないかもしくは長寿社会であるかもしくは両方である
事実11: この十五種類はＨＴＭＬ文書である一方で分かち難くない

仮説: 「もし男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない」ものはある
1. 仮定1: 以下のように仮定する。この十五種類は男っぽくない
2. 仮定1から、推論1: "この十五種類は男っぽくないか打ち易いかもしくは両方である"が導かれる
3. 推論1と事実7から、推論2: "「この十五種類は存ずない」ということは間違いでない"が導かれる
4. 事実1から、推論3: "もしこの十五種類が存ずないとするとそれはＨＴＭＬ文書でなくておまけに分かち難くない"が導かれる
5. 推論2と推論3から、推論4: "この十五種類はＨＴＭＬ文書だということはなくてまた分かち難くない"が導かれる
6. [仮定1]と推論4から、推論5: "仮にこの十五種類が男っぽいということはないならＨＴＭＬ文書でなくてしかも分かち難くない"が導かれる
7. 推論5から、仮説が導かれる

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