この元夫は再進出でない
fact1: 「あの子供達自身はＲＡＳメッセージでないしおまけに服従すらない」ということは誤りだ fact2: 変わり易いということはないものは民業圧迫だしその上入り辛い fact3: 仮に「「ＲＡＳメッセージでないししかも服従すらない」ということは成り立たない」物があるとしたらこの元夫は再進出でない fact4: もし仮になんらかの物が民業圧迫だとするとそれは再進出である fact5: 何もかもは変わり易い fact6: もし何らかの物が変わり易いとすると入り辛い
fact1 -> int1: 「「「ＲＡＳメッセージでないしさらに服従すということはない」ということは確かだ」ということは誤りである」物はある; int1 & fact3 -> hypothesis;
この元夫は再進出である
fact7 -> int2: もしこの元夫は民業圧迫であるとしたら再進出だ; fact8 -> int3: もし仮にこの元夫が変わり易くないとすれば民業圧迫でかつそれは入り辛い;
$facts$ = fact1: 「あの子供達自身はＲＡＳメッセージでないしおまけに服従すらない」ということは誤りだ fact2: 変わり易いということはないものは民業圧迫だしその上入り辛い fact3: 仮に「「ＲＡＳメッセージでないししかも服従すらない」ということは成り立たない」物があるとしたらこの元夫は再進出でない fact4: もし仮になんらかの物が民業圧迫だとするとそれは再進出である fact5: 何もかもは変わり易い fact6: もし何らかの物が変わり易いとすると入り辛い ; $hypothesis$ = この元夫は再進出でない ; $proof$ = 
fact1 -> int1: 「「「ＲＡＳメッセージでないしさらに服従すということはない」ということは確かだ」ということは誤りである」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「あの子供達自身はＲＡＳメッセージでないしおまけに服従すらない」ということは誤りだ
事実2: 変わり易いということはないものは民業圧迫だしその上入り辛い
事実3: 仮に「「ＲＡＳメッセージでないししかも服従すらない」ということは成り立たない」物があるとしたらこの元夫は再進出でない
事実4: もし仮になんらかの物が民業圧迫だとするとそれは再進出である
事実5: 何もかもは変わり易い
事実6: もし何らかの物が変わり易いとすると入り辛い

仮説: この元夫は再進出でない
1. 事実1から、推論1: "「「「ＲＡＳメッセージでないしさらに服従すということはない」ということは確かだ」ということは誤りである」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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