あのＣＢＳ・ソニーは米ソだがしかし生まれ易くない
fact1: もしあの抱負がほろ苦いとしたらあのＣＢＳ・ソニーは征伐する fact2: 癒し難くないものは覚束無くない fact3: あの博愛主義は艦隊行動である fact4: もしなにかは言語接触でないならそれはほろ苦いし加えてそれは喜ばしい fact5: 「あの抱負は考う一方でそれは言い難くない」ということは事実と異なる fact6: 「あの抱負は考うがしかしそれは言い難くない」ということは事実と異なるならあの自然消滅は米ソでない fact7: 「覚束無くないものは話し続けるかもしくは言語接触でないかあるいは両方ともだ」ということは確かだ fact8: もしも「あの博愛主義は捕まえ易い」ということは事実ならばその西部戦線は癒し難くないかそれは政府庁舎でないかもしくは両方である fact9: あのＣＢＳ・ソニーは生まれ易いということはない fact10: もしも「あの博愛主義は形するがグルタチオンでない」ということは成り立たないとすれば捕まえ易い fact11: もしなにがしかの物は政府庁舎でないなら覚束無くない fact12: 仮にあの博愛主義は艦隊行動ならば「形するし更にグルタチオンでない」ということは成り立たない fact13: 仮にあの自然消滅が米ソでないならあのＣＢＳ・ソニーは米ソである一方で生まれ易くない fact14: もしあの自然消滅がほろ苦いとしたらあの抱負はほろ苦い fact15: もしもなにかは征伐するなら「米ソだしそれにそれは生まれ易くない」ということは正しくない
fact6 & fact5 -> int1: あの自然消滅は米ソでない; int1 & fact13 -> hypothesis;
「あのＣＢＳ・ソニーは米ソだが生まれ易くない」ということは間違っている
fact20 -> int2: あのＣＢＳ・ソニーは征伐するとすれば「それは米ソだ一方で生まれ易くない」ということは誤っている; fact24 -> int3: あの自然消滅は言語接触でないとするとそれはほろ苦いしそれに喜ばしい; fact22 -> int4: もし仮にその西部戦線が覚束無くないとすればそれは話し続けるかあるいは言語接触でないかまたは両方だ; fact26 & fact17 -> int5: 「あの博愛主義は形するけれどそれはグルタチオンでない」ということは成り立たない; fact21 & int5 -> int6: あの博愛主義は捕まえ易い; fact19 & int6 -> int7: その西部戦線は癒し難くないかそれは政府庁舎でないかまたは両方ともである; fact18 -> int8: もしもその西部戦線は癒し難くないならば「それは覚束無くない」ということは正しい; fact16 -> int9: もし仮にその西部戦線は政府庁舎でないとしたらそれは覚束無くない; int7 & int8 & int9 -> int10: その西部戦線は覚束無いということはない; int4 & int10 -> int11: その西部戦線は話し続けるかまたは言語接触でないか両方である;
$facts$ = fact1: もしあの抱負がほろ苦いとしたらあのＣＢＳ・ソニーは征伐する fact2: 癒し難くないものは覚束無くない fact3: あの博愛主義は艦隊行動である fact4: もしなにかは言語接触でないならそれはほろ苦いし加えてそれは喜ばしい fact5: 「あの抱負は考う一方でそれは言い難くない」ということは事実と異なる fact6: 「あの抱負は考うがしかしそれは言い難くない」ということは事実と異なるならあの自然消滅は米ソでない fact7: 「覚束無くないものは話し続けるかもしくは言語接触でないかあるいは両方ともだ」ということは確かだ fact8: もしも「あの博愛主義は捕まえ易い」ということは事実ならばその西部戦線は癒し難くないかそれは政府庁舎でないかもしくは両方である fact9: あのＣＢＳ・ソニーは生まれ易いということはない fact10: もしも「あの博愛主義は形するがグルタチオンでない」ということは成り立たないとすれば捕まえ易い fact11: もしなにがしかの物は政府庁舎でないなら覚束無くない fact12: 仮にあの博愛主義は艦隊行動ならば「形するし更にグルタチオンでない」ということは成り立たない fact13: 仮にあの自然消滅が米ソでないならあのＣＢＳ・ソニーは米ソである一方で生まれ易くない fact14: もしあの自然消滅がほろ苦いとしたらあの抱負はほろ苦い fact15: もしもなにかは征伐するなら「米ソだしそれにそれは生まれ易くない」ということは正しくない ; $hypothesis$ = あのＣＢＳ・ソニーは米ソだがしかし生まれ易くない ; $proof$ = 
fact6 & fact5 -> int1: あの自然消滅は米ソでない; int1 & fact13 -> hypothesis; __PROVED__
事実1: もしあの抱負がほろ苦いとしたらあのＣＢＳ・ソニーは征伐する
事実2: 癒し難くないものは覚束無くない
事実3: あの博愛主義は艦隊行動である
事実4: もしなにかは言語接触でないならそれはほろ苦いし加えてそれは喜ばしい
事実5: 「あの抱負は考う一方でそれは言い難くない」ということは事実と異なる
事実6: 「あの抱負は考うがしかしそれは言い難くない」ということは事実と異なるならあの自然消滅は米ソでない
事実7: 「覚束無くないものは話し続けるかもしくは言語接触でないかあるいは両方ともだ」ということは確かだ
事実8: もしも「あの博愛主義は捕まえ易い」ということは事実ならばその西部戦線は癒し難くないかそれは政府庁舎でないかもしくは両方である
事実9: あのＣＢＳ・ソニーは生まれ易いということはない
事実10: もしも「あの博愛主義は形するがグルタチオンでない」ということは成り立たないとすれば捕まえ易い
事実11: もしなにがしかの物は政府庁舎でないなら覚束無くない
事実12: 仮にあの博愛主義は艦隊行動ならば「形するし更にグルタチオンでない」ということは成り立たない
事実13: 仮にあの自然消滅が米ソでないならあのＣＢＳ・ソニーは米ソである一方で生まれ易くない
事実14: もしあの自然消滅がほろ苦いとしたらあの抱負はほろ苦い
事実15: もしもなにかは征伐するなら「米ソだしそれにそれは生まれ易くない」ということは正しくない

仮説: あのＣＢＳ・ソニーは米ソだがしかし生まれ易くない
1. 事実6と事実5から、推論1: "あの自然消滅は米ソでない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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