「このヒガイは押し付けがましいということはないかあるいは量子分離不可能性でないかどちらもだ」ということは誤りである
fact1: もし仮に「三種目な」物があるとすればあの人倫的個体は描き足さない fact2: もしも「このヒガイは読み出す」ということは嘘でないとすると押し付けがましい fact3: もし「このヒガイは交換するがきな臭くない」ということは成り立たないならばあのアタラックスＰは読み出す fact4: 「あのアタラックスＰはきな臭い」ということは本当である fact5: 仮に「あのアタラックスＰは配筋するけれどそれは交換しない」ということは成り立たないなら「このヒガイは読み出す」ということは間違いでない fact6: あの情愛は三種目である fact7: 仮にとある物が描き足すということはないならそれは生食しないしその上それは三十分後である fact8: あの人倫的個体は生食しないなら「その借り手は垣でないかもしくはそれは傾倒でないかあるいは両方だ」ということは成り立つということはない fact9: もし仮にあのアタラックスＰは読み出さないなら「このヒガイはきな臭い」ということは事実だ fact10: 「その借り手はＯＣＮ等であるしそれに量子分離不可能性である」ということは間違いだ fact11: あのアタラックスＰが薬草園だしまたＯＣＮ等である fact12: もしもとあるものはＯＣＮ等でないとしたら「きな臭いし読み出す」ということは成り立たない fact13: なにかは読み出すとしたら「それが押し付けはましくらないかあるいは量子分離不可能性でない」ということは誤っている fact14: もし仮にその五ＳがＯＣＮ等でないし薬草園でないとしたらあのアタラックスＰはＯＣＮ等でない fact15: もしあのアタラックスＰは押し付けがましいとしたら「読み出すけど配筋しない」ということは間違っている fact16: もしも「なにがしかの物はきな臭いしそれに読み出す」ということは成り立たないとすればきな臭くない fact17: 何らかのものは十九：零零サントリーホールでないとするとそれはＯＣＮ等でなくて加えて薬草園でない fact18: もしあのアタラックスＰはきな臭いということはないなら「その非製造業は読み出すけど物腰でない」ということは間違いである fact19: もし仮にあのアタラックスＰがきな臭くないとすればこのヒガイは押し付けがましかない fact20: もしこのヒガイがきな臭くないとするとあのアタラックスＰは配筋する fact21: 仮にあのアタラックスＰが配筋しないならばこのヒガイは読み出す fact22: もしもあのアタラックスＰはきな臭いならば「配筋する一方で交換するということはない」ということは真実でない fact23: もしなにかは読み出すなら押し付けがましい fact24: もし仮に「その五Ｓは量子分離不可能性だ」ということは確かでないならば「このヒガイが読み出すけど押し付けはましくらない」ということは成り立たない
fact22 & fact4 -> int1: 「あのアタラックスＰは配筋するがしかし交換するということはない」ということは嘘だ; int1 & fact5 -> int2: このヒガイは読み出す; fact13 -> int3: このヒガイは読み出すなら「押し付けがましいということはないかまたはそれは量子分離不可能性でない」ということは成り立たない; int2 & int3 -> hypothesis;
fact22 & fact4 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact5 -> int2: {B}{b}; fact13 -> int3: {B}{b} -> ¬(¬{C}{b} v ¬{D}{b}); int2 & int3 -> hypothesis;
このヒガイが押し付けはましくらないかもしくは量子分離不可能性だということはないかもしくは両方である
fact25 -> int4: あのアタラックスＰはＯＣＮ等である; int4 -> int5: あのアタラックスＰはＯＣＮ等であるかもしくは読み出す; int5 -> int6: なにがしかのものはＯＣＮ等であるかまたは読み出す;
$facts$ = fact1: もし仮に「三種目な」物があるとすればあの人倫的個体は描き足さない fact2: もしも「このヒガイは読み出す」ということは嘘でないとすると押し付けがましい fact3: もし「このヒガイは交換するがきな臭くない」ということは成り立たないならばあのアタラックスＰは読み出す fact4: 「あのアタラックスＰはきな臭い」ということは本当である fact5: 仮に「あのアタラックスＰは配筋するけれどそれは交換しない」ということは成り立たないなら「このヒガイは読み出す」ということは間違いでない fact6: あの情愛は三種目である fact7: 仮にとある物が描き足すということはないならそれは生食しないしその上それは三十分後である fact8: あの人倫的個体は生食しないなら「その借り手は垣でないかもしくはそれは傾倒でないかあるいは両方だ」ということは成り立つということはない fact9: もし仮にあのアタラックスＰは読み出さないなら「このヒガイはきな臭い」ということは事実だ fact10: 「その借り手はＯＣＮ等であるしそれに量子分離不可能性である」ということは間違いだ fact11: あのアタラックスＰが薬草園だしまたＯＣＮ等である fact12: もしもとあるものはＯＣＮ等でないとしたら「きな臭いし読み出す」ということは成り立たない fact13: なにかは読み出すとしたら「それが押し付けはましくらないかあるいは量子分離不可能性でない」ということは誤っている fact14: もし仮にその五ＳがＯＣＮ等でないし薬草園でないとしたらあのアタラックスＰはＯＣＮ等でない fact15: もしあのアタラックスＰは押し付けがましいとしたら「読み出すけど配筋しない」ということは間違っている fact16: もしも「なにがしかの物はきな臭いしそれに読み出す」ということは成り立たないとすればきな臭くない fact17: 何らかのものは十九：零零サントリーホールでないとするとそれはＯＣＮ等でなくて加えて薬草園でない fact18: もしあのアタラックスＰはきな臭いということはないなら「その非製造業は読み出すけど物腰でない」ということは間違いである fact19: もし仮にあのアタラックスＰがきな臭くないとすればこのヒガイは押し付けがましかない fact20: もしこのヒガイがきな臭くないとするとあのアタラックスＰは配筋する fact21: 仮にあのアタラックスＰが配筋しないならばこのヒガイは読み出す fact22: もしもあのアタラックスＰはきな臭いならば「配筋する一方で交換するということはない」ということは真実でない fact23: もしなにかは読み出すなら押し付けがましい fact24: もし仮に「その五Ｓは量子分離不可能性だ」ということは確かでないならば「このヒガイが読み出すけど押し付けはましくらない」ということは成り立たない ; $hypothesis$ = 「このヒガイは押し付けがましいということはないかあるいは量子分離不可能性でないかどちらもだ」ということは誤りである ; $proof$ = 
fact22 & fact4 -> int1: 「あのアタラックスＰは配筋するがしかし交換するということはない」ということは嘘だ; int1 & fact5 -> int2: このヒガイは読み出す; fact13 -> int3: このヒガイは読み出すなら「押し付けがましいということはないかまたはそれは量子分離不可能性でない」ということは成り立たない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「三種目な」物があるとすればあの人倫的個体は描き足さない
事実2: もしも「このヒガイは読み出す」ということは嘘でないとすると押し付けがましい
事実3: もし「このヒガイは交換するがきな臭くない」ということは成り立たないならばあのアタラックスＰは読み出す
事実4: 「あのアタラックスＰはきな臭い」ということは本当である
事実5: 仮に「あのアタラックスＰは配筋するけれどそれは交換しない」ということは成り立たないなら「このヒガイは読み出す」ということは間違いでない
事実6: あの情愛は三種目である
事実7: 仮にとある物が描き足すということはないならそれは生食しないしその上それは三十分後である
事実8: あの人倫的個体は生食しないなら「その借り手は垣でないかもしくはそれは傾倒でないかあるいは両方だ」ということは成り立つということはない
事実9: もし仮にあのアタラックスＰは読み出さないなら「このヒガイはきな臭い」ということは事実だ
事実10: 「その借り手はＯＣＮ等であるしそれに量子分離不可能性である」ということは間違いだ
事実11: あのアタラックスＰが薬草園だしまたＯＣＮ等である
事実12: もしもとあるものはＯＣＮ等でないとしたら「きな臭いし読み出す」ということは成り立たない
事実13: なにかは読み出すとしたら「それが押し付けはましくらないかあるいは量子分離不可能性でない」ということは誤っている
事実14: もし仮にその五ＳがＯＣＮ等でないし薬草園でないとしたらあのアタラックスＰはＯＣＮ等でない
事実15: もしあのアタラックスＰは押し付けがましいとしたら「読み出すけど配筋しない」ということは間違っている
事実16: もしも「なにがしかの物はきな臭いしそれに読み出す」ということは成り立たないとすればきな臭くない
事実17: 何らかのものは十九：零零サントリーホールでないとするとそれはＯＣＮ等でなくて加えて薬草園でない
事実18: もしあのアタラックスＰはきな臭いということはないなら「その非製造業は読み出すけど物腰でない」ということは間違いである
事実19: もし仮にあのアタラックスＰがきな臭くないとすればこのヒガイは押し付けがましかない
事実20: もしこのヒガイがきな臭くないとするとあのアタラックスＰは配筋する
事実21: 仮にあのアタラックスＰが配筋しないならばこのヒガイは読み出す
事実22: もしもあのアタラックスＰはきな臭いならば「配筋する一方で交換するということはない」ということは真実でない
事実23: もしなにかは読み出すなら押し付けがましい
事実24: もし仮に「その五Ｓは量子分離不可能性だ」ということは確かでないならば「このヒガイが読み出すけど押し付けはましくらない」ということは成り立たない

仮説: 「このヒガイは押し付けがましいということはないかあるいは量子分離不可能性でないかどちらもだ」ということは誤りである
1. 事実22と事実4から、推論1: "「あのアタラックスＰは配筋するがしかし交換するということはない」ということは嘘だ"が導かれる
2. 推論1と事実5から、推論2: "このヒガイは読み出す"が導かれる
3. 事実13から、推論3: "このヒガイは読み出すなら「押し付けがましいということはないかまたはそれは量子分離不可能性でない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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