「「「このスターは一部負担金でないしさらに憐憫でない」ということは成り立つ」ということは成り立たない」ということは本当だ
fact1: 仮に「富士ソフトＡＢＣでないかメディカルであるかまたは両方ともな」物があるとするとこのスターは第五章参照でない fact2: その脚ブロックが第五章参照だということはないならこのスターは一部負担金でないしさらに憐憫でない fact3: なにかは第五章参照でないとすると「それは一部負担金でなくてまたそれは憐憫でない」ということは成り立たない fact4: あるものは富士ソフトＡＢＣでないかメディカルであるかまたはどちらもだ
fact3 -> int1: もしもこのスターは第五章参照でないとしたら「それは一部負担金でなくてかつ憐憫でない」ということは成り立たない; fact1 & fact4 -> int2: 「このスターは第五章参照でない」ということは真実である; int1 & int2 -> hypothesis;
このスターは一部負担金でなくて憐憫だということはない
$facts$ = fact1: 仮に「富士ソフトＡＢＣでないかメディカルであるかまたは両方ともな」物があるとするとこのスターは第五章参照でない fact2: その脚ブロックが第五章参照だということはないならこのスターは一部負担金でないしさらに憐憫でない fact3: なにかは第五章参照でないとすると「それは一部負担金でなくてまたそれは憐憫でない」ということは成り立たない fact4: あるものは富士ソフトＡＢＣでないかメディカルであるかまたはどちらもだ ; $hypothesis$ = 「「「このスターは一部負担金でないしさらに憐憫でない」ということは成り立つ」ということは成り立たない」ということは本当だ ; $proof$ = 
fact3 -> int1: もしもこのスターは第五章参照でないとしたら「それは一部負担金でなくてかつ憐憫でない」ということは成り立たない; fact1 & fact4 -> int2: 「このスターは第五章参照でない」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「富士ソフトＡＢＣでないかメディカルであるかまたは両方ともな」物があるとするとこのスターは第五章参照でない
事実2: その脚ブロックが第五章参照だということはないならこのスターは一部負担金でないしさらに憐憫でない
事実3: なにかは第五章参照でないとすると「それは一部負担金でなくてまたそれは憐憫でない」ということは成り立たない
事実4: あるものは富士ソフトＡＢＣでないかメディカルであるかまたはどちらもだ

仮説: 「「「このスターは一部負担金でないしさらに憐憫でない」ということは成り立つ」ということは成り立たない」ということは本当だ
1. 事実3から、推論1: "もしもこのスターは第五章参照でないとしたら「それは一部負担金でなくてかつ憐憫でない」ということは成り立たない"が導かれる
2. 事実1と事実4から、推論2: "「このスターは第五章参照でない」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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