「その大学生達は儚いしかつ喜び合う」ということは誤りだ
fact1: もしも「その物量作戦が大掃除だし庭園だ」ということは嘘であるとするとその意識変化は図々しかない fact2: その物量作戦は認め難いか深しかどちらもだ fact3: 半年は一本化するということはない一方で張り番だ fact4: もし図々しかないものはあるとすると「「その大学生達は儚くてまた喜び合う」ということは間違っている」ということは成り立つ fact5: その当事者自身は図々しかないかあるいは大掃除でないかもしくは両方であるとしたら「その十九世紀文明は大掃除だ」ということは本当だ fact6: その十九世紀文明が張り番であるがしかし一本化するということはないとするとその大学生達は一本化するということはない fact7: もし仮にその物量作戦が困らないならその当事者自身は根深くて追加画面だ fact8: もし仮にとある物が喜び合うとしたらそれは庭園だ fact9: もしもその十九世紀文明は張り番だということはないなら「その物量作戦は大掃除であるししかもそれは庭園である」ということは偽だ fact10: その十九世紀文明が一本化するかもしくは張り番であるならその当事者自身は半年でない fact11: もしその物量作戦が認め難いならば困らない fact12: もしも儚くない物は調節し易くないとすると喜び合う fact13: 仮になんらかの物が大掃除ならばそれは半年である fact14: 「腐り易くない」物はある fact15: その十九世紀文明が一本化するということはないけれど張り番であるとするとあの交通違反は一律分離課税だということはない fact16: 根深いものは儚くないし調節し易くない fact17: その当事者自身は半年だ fact18: その物量作戦が深しとすればそれは困らない
void -> assump1: 以下のように仮定する。その十九世紀文明は張り番である; assump1 -> int1: その十九世紀文明は一本化するかあるいは張り番だ; int1 & fact10 -> int2: その当事者自身は半年だということはない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: その十九世紀文明は張り番でない; int4 & fact9 -> int5: 「その物量作戦は大掃除であるし更に庭園である」ということは間違っている; int5 & fact1 -> int6: その意識変化は図々しいということはない; int6 -> int7: 図々しかない物はある; int7 & fact4 -> hypothesis;
「あの交通違反は一律分離課税でない」ということは正しい
fact20 -> int8: その十九世紀文明が半年ならば一本化するということはないしおまけにそれは張り番である; fact25 -> int9: もしもその十九世紀文明は大掃除であるとすれば「それは半年だ」ということは確かである; fact22 -> int10: もしその当事者自身が喜び合えばそれは庭園だ; fact19 -> int11: もし仮にその当事者自身が儚くないしおまけにそれは調節し易くないとしたら「喜び合う」ということは偽であるということはない; fact27 -> int12: もしもその当事者自身が根深いとしたらそれが儚くないしさらにそれは調節し易くない; fact24 & fact28 & fact21 -> int13: その物量作戦は困るということはない; fact23 & int13 -> int14: その当事者自身は根深いしまたそれは追加画面だ; int14 -> int15: その当事者自身は根深い; int12 & int15 -> int16: その当事者自身は儚くないししかも調節し易くない; int11 & int16 -> int17: その当事者自身は喜び合う; int10 & int17 -> int18: その当事者自身は庭園だ;
$facts$ = fact1: もしも「その物量作戦が大掃除だし庭園だ」ということは嘘であるとするとその意識変化は図々しかない fact2: その物量作戦は認め難いか深しかどちらもだ fact3: 半年は一本化するということはない一方で張り番だ fact4: もし図々しかないものはあるとすると「「その大学生達は儚くてまた喜び合う」ということは間違っている」ということは成り立つ fact5: その当事者自身は図々しかないかあるいは大掃除でないかもしくは両方であるとしたら「その十九世紀文明は大掃除だ」ということは本当だ fact6: その十九世紀文明が張り番であるがしかし一本化するということはないとするとその大学生達は一本化するということはない fact7: もし仮にその物量作戦が困らないならその当事者自身は根深くて追加画面だ fact8: もし仮にとある物が喜び合うとしたらそれは庭園だ fact9: もしもその十九世紀文明は張り番だということはないなら「その物量作戦は大掃除であるししかもそれは庭園である」ということは偽だ fact10: その十九世紀文明が一本化するかもしくは張り番であるならその当事者自身は半年でない fact11: もしその物量作戦が認め難いならば困らない fact12: もしも儚くない物は調節し易くないとすると喜び合う fact13: 仮になんらかの物が大掃除ならばそれは半年である fact14: 「腐り易くない」物はある fact15: その十九世紀文明が一本化するということはないけれど張り番であるとするとあの交通違反は一律分離課税だということはない fact16: 根深いものは儚くないし調節し易くない fact17: その当事者自身は半年だ fact18: その物量作戦が深しとすればそれは困らない ; $hypothesis$ = 「その大学生達は儚いしかつ喜び合う」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その十九世紀文明は張り番である; assump1 -> int1: その十九世紀文明は一本化するかあるいは張り番だ; int1 & fact10 -> int2: その当事者自身は半年だということはない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: その十九世紀文明は張り番でない; int4 & fact9 -> int5: 「その物量作戦は大掃除であるし更に庭園である」ということは間違っている; int5 & fact1 -> int6: その意識変化は図々しいということはない; int6 -> int7: 図々しかない物はある; int7 & fact4 -> hypothesis; __PROVED__
事実1: もしも「その物量作戦が大掃除だし庭園だ」ということは嘘であるとするとその意識変化は図々しかない
事実2: その物量作戦は認め難いか深しかどちらもだ
事実3: 半年は一本化するということはない一方で張り番だ
事実4: もし図々しかないものはあるとすると「「その大学生達は儚くてまた喜び合う」ということは間違っている」ということは成り立つ
事実5: その当事者自身は図々しかないかあるいは大掃除でないかもしくは両方であるとしたら「その十九世紀文明は大掃除だ」ということは本当だ
事実6: その十九世紀文明が張り番であるがしかし一本化するということはないとするとその大学生達は一本化するということはない
事実7: もし仮にその物量作戦が困らないならその当事者自身は根深くて追加画面だ
事実8: もし仮にとある物が喜び合うとしたらそれは庭園だ
事実9: もしもその十九世紀文明は張り番だということはないなら「その物量作戦は大掃除であるししかもそれは庭園である」ということは偽だ
事実10: その十九世紀文明が一本化するかもしくは張り番であるならその当事者自身は半年でない
事実11: もしその物量作戦が認め難いならば困らない
事実12: もしも儚くない物は調節し易くないとすると喜び合う
事実13: 仮になんらかの物が大掃除ならばそれは半年である
事実14: 「腐り易くない」物はある
事実15: その十九世紀文明が一本化するということはないけれど張り番であるとするとあの交通違反は一律分離課税だということはない
事実16: 根深いものは儚くないし調節し易くない
事実17: その当事者自身は半年だ
事実18: その物量作戦が深しとすればそれは困らない

仮説: 「その大学生達は儚いしかつ喜び合う」ということは誤りだ
1. 仮定1: 以下のように仮定する。その十九世紀文明は張り番である
2. 仮定1から、推論1: "その十九世紀文明は一本化するかあるいは張り番だ"が導かれる
3. 推論1と事実10から、推論2: "その当事者自身は半年だということはない"が導かれる
4. 推論2と事実17から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その十九世紀文明は張り番でない"が導かれる
6. 推論4と事実9から、推論5: "「その物量作戦は大掃除であるし更に庭園である」ということは間違っている"が導かれる
7. 推論5と事実1から、推論6: "その意識変化は図々しいということはない"が導かれる
8. 推論6から、推論7: "図々しかない物はある"が導かれる
9. 推論7と事実4から、仮説が導かれる

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