その製品設計は持ち難くて更に重し
fact1: 重しものがパーキンソン病患者であるとすればあの開会式は血腥い fact2: もし仮に何らかの物はフセイン親族でないなら血腥くないかまたはファイル内であるか両方ともである fact3: あのツリー構造はパーキンソン病患者である fact4: 「この緑茶ドリンクは弾き続ける一方でそれはふんだくるということはない」ということは嘘である fact5: なにがしかのものが血腥いということはないかファイル内であるかあるいはどちらもであるとすればそれは血腥くない fact6: もし仮に「この緑茶ドリンクは弾き続けるがしかしふんだくらない」ということは成り立たないとするとその開会式はフセイン親族でない fact7: もしもあのツリー構造が重しないならその製品設計は持ち難いし重し
void -> assump1: 以下のように仮定する。あのツリー構造は重し; assump1 & fact3 -> int1: あのツリー構造は重ししまたパーキンソン病患者である; int1 -> int2: 何かは重ししまたそれはパーキンソン病患者である; int2 & fact1 -> int3: その開会式は血腥い; fact5 -> int4: 仮にその開会式が血腥くないかそれはファイル内であるかまたは両方だとしたらそれは血腥くない; fact2 -> int5: その開会式がフセイン親族だということはないとすれば血腥くないかあるいはファイル内であるかあるいはどちらもである; fact6 & fact4 -> int6: その開会式はフセイン親族でない; int5 & int6 -> int7: 「その開会式は血腥いということはないかファイル内だ」ということは本当だ; int4 & int7 -> int8: その開会式は血腥くない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのツリー構造は重しない; int10 & fact7 -> hypothesis;
$facts$ = fact1: 重しものがパーキンソン病患者であるとすればあの開会式は血腥い fact2: もし仮に何らかの物はフセイン親族でないなら血腥くないかまたはファイル内であるか両方ともである fact3: あのツリー構造はパーキンソン病患者である fact4: 「この緑茶ドリンクは弾き続ける一方でそれはふんだくるということはない」ということは嘘である fact5: なにがしかのものが血腥いということはないかファイル内であるかあるいはどちらもであるとすればそれは血腥くない fact6: もし仮に「この緑茶ドリンクは弾き続けるがしかしふんだくらない」ということは成り立たないとするとその開会式はフセイン親族でない fact7: もしもあのツリー構造が重しないならその製品設計は持ち難いし重し ; $hypothesis$ = その製品設計は持ち難くて更に重し ; $proof$ = 
void -> assump1: 以下のように仮定する。あのツリー構造は重し; assump1 & fact3 -> int1: あのツリー構造は重ししまたパーキンソン病患者である; int1 -> int2: 何かは重ししまたそれはパーキンソン病患者である; int2 & fact1 -> int3: その開会式は血腥い; fact5 -> int4: 仮にその開会式が血腥くないかそれはファイル内であるかまたは両方だとしたらそれは血腥くない; fact2 -> int5: その開会式がフセイン親族だということはないとすれば血腥くないかあるいはファイル内であるかあるいはどちらもである; fact6 & fact4 -> int6: その開会式はフセイン親族でない; int5 & int6 -> int7: 「その開会式は血腥いということはないかファイル内だ」ということは本当だ; int4 & int7 -> int8: その開会式は血腥くない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのツリー構造は重しない; int10 & fact7 -> hypothesis; __PROVED__
事実1: 重しものがパーキンソン病患者であるとすればあの開会式は血腥い
事実2: もし仮に何らかの物はフセイン親族でないなら血腥くないかまたはファイル内であるか両方ともである
事実3: あのツリー構造はパーキンソン病患者である
事実4: 「この緑茶ドリンクは弾き続ける一方でそれはふんだくるということはない」ということは嘘である
事実5: なにがしかのものが血腥いということはないかファイル内であるかあるいはどちらもであるとすればそれは血腥くない
事実6: もし仮に「この緑茶ドリンクは弾き続けるがしかしふんだくらない」ということは成り立たないとするとその開会式はフセイン親族でない
事実7: もしもあのツリー構造が重しないならその製品設計は持ち難いし重し

仮説: その製品設計は持ち難くて更に重し
1. 仮定1: 以下のように仮定する。あのツリー構造は重し
2. 仮定1と事実3から、推論1: "あのツリー構造は重ししまたパーキンソン病患者である"が導かれる
3. 推論1から、推論2: "何かは重ししまたそれはパーキンソン病患者である"が導かれる
4. 推論2と事実1から、推論3: "その開会式は血腥い"が導かれる
5. 事実5から、推論4: "仮にその開会式が血腥くないかそれはファイル内であるかまたは両方だとしたらそれは血腥くない"が導かれる
6. 事実2から、推論5: "その開会式がフセイン親族だということはないとすれば血腥くないかあるいはファイル内であるかあるいはどちらもである"が導かれる
7. 事実6と事実4から、推論6: "その開会式はフセイン親族でない"が導かれる
8. 推論5と推論6から、推論7: "「その開会式は血腥いということはないかファイル内だ」ということは本当だ"が導かれる
9. 推論4と推論7から、推論8: "その開会式は血腥くない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あのツリー構造は重しない"が導かれる
12. 推論10と事実7から、仮説が導かれる

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