あの根治性は対称行列だ
fact1: その新薬は黒しない fact2: 何かはコルホーズならばそれは天子様でない fact3: もし仮に「この偏見はコルホーズである」ということは成り立てばそれは痩せ難いということはない fact4: 「この偏見は天子様だがしかし痩せ難くない」ということは嘘だ fact5: もしもこの偏見が痩せ難いということはないとすればその新薬は痩せ難いということはないしその上天子様でない fact6: もしもこの偏見が対称行列であるということはなくてかつ黒しないなら「あの根治性は対称行列でない」ということは成り立つ fact7: もし仮に「あの根治性はコルホーズでない」ということは本当であるとすればこの偏見はコルホーズでなくてしかも対称行列でない fact8: もし「価値付けるということはない」ものはあるとすると「この偏見は黒しないしさらにコルホーズでない」ということは事実と異なる fact9: もし仮に「ある物は黒しないしおまけにコルホーズでない」ということは嘘だとすれば痩せ難くない fact10: 「その新薬は天子様であるがしかしそれは黒しない」ということは事実と異なる fact11: 「この偏見は黒しということはないし更に天子様でない」ということは事実と異なる fact12: 「「価値付けない」ということは成り立つ」物はある fact13: もしもその新薬が痩せ難くなくてそれが天子様でないならあの根治性は対称行列だ fact14: その新薬は母様陛下でない fact15: 付き方は叫び声でない fact16: 仮にこの偏見が対称行列でないならばあの根治性は黒しということはない fact17: 「黒しない」ものはあるなら「この偏見は痩せ難い一方でそれは対称行列でない」ということは確かでない
fact12 & fact8 -> int1: 「この偏見は黒しないししかもそれはコルホーズだということはない」ということは嘘である; fact9 -> int2: 仮に「この偏見は黒しないしその上それはコルホーズでない」ということは間違っているなら痩せ難くない; int1 & int2 -> int3: この偏見は痩せ難くない; int3 & fact5 -> int4: その新薬は痩せ難くないしおまけに天子様でない; int4 & fact13 -> hypothesis;
あの根治性は対称行列でない
$facts$ = fact1: その新薬は黒しない fact2: 何かはコルホーズならばそれは天子様でない fact3: もし仮に「この偏見はコルホーズである」ということは成り立てばそれは痩せ難いということはない fact4: 「この偏見は天子様だがしかし痩せ難くない」ということは嘘だ fact5: もしもこの偏見が痩せ難いということはないとすればその新薬は痩せ難いということはないしその上天子様でない fact6: もしもこの偏見が対称行列であるということはなくてかつ黒しないなら「あの根治性は対称行列でない」ということは成り立つ fact7: もし仮に「あの根治性はコルホーズでない」ということは本当であるとすればこの偏見はコルホーズでなくてしかも対称行列でない fact8: もし「価値付けるということはない」ものはあるとすると「この偏見は黒しないしさらにコルホーズでない」ということは事実と異なる fact9: もし仮に「ある物は黒しないしおまけにコルホーズでない」ということは嘘だとすれば痩せ難くない fact10: 「その新薬は天子様であるがしかしそれは黒しない」ということは事実と異なる fact11: 「この偏見は黒しということはないし更に天子様でない」ということは事実と異なる fact12: 「「価値付けない」ということは成り立つ」物はある fact13: もしもその新薬が痩せ難くなくてそれが天子様でないならあの根治性は対称行列だ fact14: その新薬は母様陛下でない fact15: 付き方は叫び声でない fact16: 仮にこの偏見が対称行列でないならばあの根治性は黒しということはない fact17: 「黒しない」ものはあるなら「この偏見は痩せ難い一方でそれは対称行列でない」ということは確かでない ; $hypothesis$ = あの根治性は対称行列だ ; $proof$ = 
fact12 & fact8 -> int1: 「この偏見は黒しないししかもそれはコルホーズだということはない」ということは嘘である; fact9 -> int2: 仮に「この偏見は黒しないしその上それはコルホーズでない」ということは間違っているなら痩せ難くない; int1 & int2 -> int3: この偏見は痩せ難くない; int3 & fact5 -> int4: その新薬は痩せ難くないしおまけに天子様でない; int4 & fact13 -> hypothesis; __PROVED__
事実1: その新薬は黒しない
事実2: 何かはコルホーズならばそれは天子様でない
事実3: もし仮に「この偏見はコルホーズである」ということは成り立てばそれは痩せ難いということはない
事実4: 「この偏見は天子様だがしかし痩せ難くない」ということは嘘だ
事実5: もしもこの偏見が痩せ難いということはないとすればその新薬は痩せ難いということはないしその上天子様でない
事実6: もしもこの偏見が対称行列であるということはなくてかつ黒しないなら「あの根治性は対称行列でない」ということは成り立つ
事実7: もし仮に「あの根治性はコルホーズでない」ということは本当であるとすればこの偏見はコルホーズでなくてしかも対称行列でない
事実8: もし「価値付けるということはない」ものはあるとすると「この偏見は黒しないしさらにコルホーズでない」ということは事実と異なる
事実9: もし仮に「ある物は黒しないしおまけにコルホーズでない」ということは嘘だとすれば痩せ難くない
事実10: 「その新薬は天子様であるがしかしそれは黒しない」ということは事実と異なる
事実11: 「この偏見は黒しということはないし更に天子様でない」ということは事実と異なる
事実12: 「「価値付けない」ということは成り立つ」物はある
事実13: もしもその新薬が痩せ難くなくてそれが天子様でないならあの根治性は対称行列だ
事実14: その新薬は母様陛下でない
事実15: 付き方は叫び声でない
事実16: 仮にこの偏見が対称行列でないならばあの根治性は黒しということはない
事実17: 「黒しない」ものはあるなら「この偏見は痩せ難い一方でそれは対称行列でない」ということは確かでない

仮説: あの根治性は対称行列だ
1. 事実12と事実8から、推論1: "「この偏見は黒しないししかもそれはコルホーズだということはない」ということは嘘である"が導かれる
2. 事実9から、推論2: "仮に「この偏見は黒しないしその上それはコルホーズでない」ということは間違っているなら痩せ難くない"が導かれる
3. 推論1と推論2から、推論3: "この偏見は痩せ難くない"が導かれる
4. 推論3と事実5から、推論4: "その新薬は痩せ難くないしおまけに天子様でない"が導かれる
5. 推論4と事実13から、仮説が導かれる

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