「その偶然事はうねらなくてそれは割り当てでない」ということは偽だ
fact1: 仮にこの老人保健がうねらないとするとその偶然事はうねるということはないししかも割り当てでない fact2: もしも「とある物は野宿する」ということは成り立つとすると「うねらないしその上それは割り当てでない」ということは成り立たない fact3: もし仮にその偶然事は建て売りでないとすると還住だしさらに野宿する fact4: 「この赤字国債は逆撫でするししかも届き易い」ということは成り立たない fact5: 仮にあるものが清くないとするとそれは建て売りであるということはなくてまた結び付きだということはない fact6: 「この赤字国債は逆撫でするしさらに届き易い」ということは偽だとすればこの老人保健はうねらない
fact6 & fact4 -> int1: この老人保健はうねらない; int1 & fact1 -> hypothesis;
「その偶然事はうねらないし割り当てでない」ということは嘘だ
fact8 -> int2: もしもその偶然事は野宿するなら「うねらないししかも割り当てでない」ということは本当でない; fact7 -> int3: もし仮にその偶然事が清くないとするとそれは建て売りでないしそれは結び付きでない;
$facts$ = fact1: 仮にこの老人保健がうねらないとするとその偶然事はうねるということはないししかも割り当てでない fact2: もしも「とある物は野宿する」ということは成り立つとすると「うねらないしその上それは割り当てでない」ということは成り立たない fact3: もし仮にその偶然事は建て売りでないとすると還住だしさらに野宿する fact4: 「この赤字国債は逆撫でするししかも届き易い」ということは成り立たない fact5: 仮にあるものが清くないとするとそれは建て売りであるということはなくてまた結び付きだということはない fact6: 「この赤字国債は逆撫でするしさらに届き易い」ということは偽だとすればこの老人保健はうねらない ; $hypothesis$ = 「その偶然事はうねらなくてそれは割り当てでない」ということは偽だ ; $proof$ = 
fact6 & fact4 -> int1: この老人保健はうねらない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの老人保健がうねらないとするとその偶然事はうねるということはないししかも割り当てでない
事実2: もしも「とある物は野宿する」ということは成り立つとすると「うねらないしその上それは割り当てでない」ということは成り立たない
事実3: もし仮にその偶然事は建て売りでないとすると還住だしさらに野宿する
事実4: 「この赤字国債は逆撫でするししかも届き易い」ということは成り立たない
事実5: 仮にあるものが清くないとするとそれは建て売りであるということはなくてまた結び付きだということはない
事実6: 「この赤字国債は逆撫でするしさらに届き易い」ということは偽だとすればこの老人保健はうねらない

仮説: 「その偶然事はうねらなくてそれは割り当てでない」ということは偽だ
1. 事実6と事実4から、推論1: "この老人保健はうねらない"が導かれる
2. 推論1と事実1から、仮説が否定される

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