あのディジタル演算は混乱する
fact1: この先頃は一捻りである fact2: もし「「高巻くがしかし集荷トラックでない」ということは偽である」物があるとしたらあの変異型は製造中止だ fact3: 「「高巻くしそれに集荷トラックだ」ということは真実でない」ものはある fact4: とあるものが高巻かないとするとあの変異型は製造中止だ fact5: もし仮にこの先頃が重くて加えてそれが一捻りであるとするとあの眼瞼下垂は腐敗分子だということはない fact6: もしもあの変異型が製造中止だとしたらあのディジタル演算は混乱する fact7: あるものは高巻くけれど集荷トラックであるということはない fact8: あの変異型は混乱しない fact9: 「重いということはないものは混乱しない」ということは成り立つ fact10: 仮に「腐敗分子でない」ものはあるとすると「そのトリアージは高巻くけど集荷トラックでない」ということは成り立たない fact11: なにがしかのものは腐敗分子である fact12: この先頃は重い fact13: あの眼瞼下垂が集荷トラックでないか製造中止であるかどちらもであるとするとこの先頃は高巻く
fact12 & fact1 -> int1: この先頃は重くて一捻りだ; int1 & fact5 -> int2: あの眼瞼下垂は腐敗分子でない; int2 -> int3: なにかは腐敗分子であるということはない; int3 & fact10 -> int4: 「そのトリアージは高巻くが集荷トラックでない」ということは間違いである; int4 -> int5: 「「高巻くけど集荷トラックであるということはない」ということは事実と異なる」物はある; int5 & fact2 -> int6: あの変異型は製造中止だ; int6 & fact6 -> hypothesis;
あのディジタル演算は混乱しない
fact15 -> int7: もしもあのディジタル演算が重くないならそれは混乱するということはない;
$facts$ = fact1: この先頃は一捻りである fact2: もし「「高巻くがしかし集荷トラックでない」ということは偽である」物があるとしたらあの変異型は製造中止だ fact3: 「「高巻くしそれに集荷トラックだ」ということは真実でない」ものはある fact4: とあるものが高巻かないとするとあの変異型は製造中止だ fact5: もし仮にこの先頃が重くて加えてそれが一捻りであるとするとあの眼瞼下垂は腐敗分子だということはない fact6: もしもあの変異型が製造中止だとしたらあのディジタル演算は混乱する fact7: あるものは高巻くけれど集荷トラックであるということはない fact8: あの変異型は混乱しない fact9: 「重いということはないものは混乱しない」ということは成り立つ fact10: 仮に「腐敗分子でない」ものはあるとすると「そのトリアージは高巻くけど集荷トラックでない」ということは成り立たない fact11: なにがしかのものは腐敗分子である fact12: この先頃は重い fact13: あの眼瞼下垂が集荷トラックでないか製造中止であるかどちらもであるとするとこの先頃は高巻く ; $hypothesis$ = あのディジタル演算は混乱する ; $proof$ = 
fact12 & fact1 -> int1: この先頃は重くて一捻りだ; int1 & fact5 -> int2: あの眼瞼下垂は腐敗分子でない; int2 -> int3: なにかは腐敗分子であるということはない; int3 & fact10 -> int4: 「そのトリアージは高巻くが集荷トラックでない」ということは間違いである; int4 -> int5: 「「高巻くけど集荷トラックであるということはない」ということは事実と異なる」物はある; int5 & fact2 -> int6: あの変異型は製造中止だ; int6 & fact6 -> hypothesis; __PROVED__
事実1: この先頃は一捻りである
事実2: もし「「高巻くがしかし集荷トラックでない」ということは偽である」物があるとしたらあの変異型は製造中止だ
事実3: 「「高巻くしそれに集荷トラックだ」ということは真実でない」ものはある
事実4: とあるものが高巻かないとするとあの変異型は製造中止だ
事実5: もし仮にこの先頃が重くて加えてそれが一捻りであるとするとあの眼瞼下垂は腐敗分子だということはない
事実6: もしもあの変異型が製造中止だとしたらあのディジタル演算は混乱する
事実7: あるものは高巻くけれど集荷トラックであるということはない
事実8: あの変異型は混乱しない
事実9: 「重いということはないものは混乱しない」ということは成り立つ
事実10: 仮に「腐敗分子でない」ものはあるとすると「そのトリアージは高巻くけど集荷トラックでない」ということは成り立たない
事実11: なにがしかのものは腐敗分子である
事実12: この先頃は重い
事実13: あの眼瞼下垂が集荷トラックでないか製造中止であるかどちらもであるとするとこの先頃は高巻く

仮説: あのディジタル演算は混乱する
1. 事実12と事実1から、推論1: "この先頃は重くて一捻りだ"が導かれる
2. 推論1と事実5から、推論2: "あの眼瞼下垂は腐敗分子でない"が導かれる
3. 推論2から、推論3: "なにかは腐敗分子であるということはない"が導かれる
4. 推論3と事実10から、推論4: "「そのトリアージは高巻くが集荷トラックでない」ということは間違いである"が導かれる
5. 推論4から、推論5: "「「高巻くけど集荷トラックであるということはない」ということは事実と異なる」物はある"が導かれる
6. 推論5と事実2から、推論6: "あの変異型は製造中止だ"が導かれる
7. 推論6と事実6から、仮説が導かれる

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