「この家集編纂作業は法定化する」ということは事実である
fact1: 「その私法上はアップグレードする」ということは本当である fact2: もしもとある物が語るとするとプラスチック製でない fact3: その私法上は花嫁さんだ fact4: もしもその私法上がアップグレードするしその上それが花嫁さんであるならこの家集編纂作業は法定化しない fact5: 仮にとある物がアップグレードするしそれにそれが法定化するなら花嫁さんであるということはない fact6: もし仮に何かは語るということはないとするとそれはアップグレードするしさらにプラスチック製である fact7: この頑是は法定化するし加えてそれは亜酸化窒素ガスだ fact8: もしこの家集編纂作業は花嫁さんでないなら法定化するしその上アップグレードする
fact1 & fact3 -> int1: その私法上はアップグレードするし更に花嫁さんである; int1 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
そのＤＩＷは花嫁さんでない
fact10 -> int2: もしもそのＤＩＷがアップグレードするしかつそれが法定化するとすると花嫁さんでない; fact9 -> int3: そのＤＩＷが語らないならばアップグレードするしそれはプラスチック製である;
$facts$ = fact1: 「その私法上はアップグレードする」ということは本当である fact2: もしもとある物が語るとするとプラスチック製でない fact3: その私法上は花嫁さんだ fact4: もしもその私法上がアップグレードするしその上それが花嫁さんであるならこの家集編纂作業は法定化しない fact5: 仮にとある物がアップグレードするしそれにそれが法定化するなら花嫁さんであるということはない fact6: もし仮に何かは語るということはないとするとそれはアップグレードするしさらにプラスチック製である fact7: この頑是は法定化するし加えてそれは亜酸化窒素ガスだ fact8: もしこの家集編纂作業は花嫁さんでないなら法定化するしその上アップグレードする ; $hypothesis$ = 「この家集編纂作業は法定化する」ということは事実である ; $proof$ = 
fact1 & fact3 -> int1: その私法上はアップグレードするし更に花嫁さんである; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「その私法上はアップグレードする」ということは本当である
事実2: もしもとある物が語るとするとプラスチック製でない
事実3: その私法上は花嫁さんだ
事実4: もしもその私法上がアップグレードするしその上それが花嫁さんであるならこの家集編纂作業は法定化しない
事実5: 仮にとある物がアップグレードするしそれにそれが法定化するなら花嫁さんであるということはない
事実6: もし仮に何かは語るということはないとするとそれはアップグレードするしさらにプラスチック製である
事実7: この頑是は法定化するし加えてそれは亜酸化窒素ガスだ
事実8: もしこの家集編纂作業は花嫁さんでないなら法定化するしその上アップグレードする

仮説: 「この家集編纂作業は法定化する」ということは事実である
1. 事実1と事実3から、推論1: "その私法上はアップグレードするし更に花嫁さんである"が導かれる
2. 推論1と事実4から、仮説が否定される

よって、仮説が否定されました。