「あの民族団体は印象深い」ということは偽だということはない
fact1: その曲率半径Ｒは改姓しないかあるいは自己認識するということはないかまたは両方ともだ fact2: 重油が宜しくないならそれは改姓しない fact3: あの貨幣金額は印象深くない fact4: もしもあるものが薄汚いとすればそれは解離するし自己認識しない fact5: もしこの販社は改姓するということはないとしたら「その五Ｐは業績評価しないけれど血縁集団である」ということは成り立たない fact6: 仮になにかは血縁集団でないとしたら扱い難くない fact7: もしもその曲率半径Ｒが改姓するということはないとすればあの民族団体は自己認識しない fact8: その餡蜜は自己認識しない fact9: あの民族団体は解離する fact10: もしその曲率半径Ｒが薄汚いがそれが扱い難くないならあの民族団体は薄汚い fact11: もしあの民族団体が業績評価しないとすればその曲率半径Ｒは扱い難くない fact12: もしあの民族団体が薄汚くなくて印象深くないならばそれは扱い難い fact13: もし仮に「何らかの物は血縁集団であるししかも業績評価する」ということは間違っているとすれば「扱い難くない」ということは成り立つ fact14: 何らかの物は自己認識しないとすると「それは血縁集団であるし業績評価する」ということは成り立たない fact15: 仮に「その曲率半径Ｒは自己認識しない」ということは正しいならあの民族団体は自己認識するということはない fact16: 仮にその曲率半径Ｒが改姓しないとすればあの民族団体は自己認識する fact17: 「もしあの民族団体が血縁集団でないとするとあの民族団体は扱い難くない」ということは本当である fact18: あの民族団体は解離するけど薄汚くない fact19: あの曾我兄弟が印象深いならばその曲率半径Ｒは薄汚い一方でそれは扱い難いということはない fact20: あの民族団体が薄汚いとしたらその地下鉄は薄汚い
fact18 -> int1: あの民族団体は薄汚くない; void -> assump1: 以下のように仮定する。あの民族団体は印象深くない; int1 & assump1 -> int2: あの民族団体は薄汚くないしそれに印象深くない; int2 & fact12 -> int3: あの民族団体は扱い難い; fact13 -> int4: もし「あの民族団体は血縁集団であるし更に業績評価する」ということは誤っているとしたらそれは扱い難くない; fact14 -> int5: もしも「あの民族団体は自己認識するということはない」ということは成り立つなら「血縁集団で業績評価する」ということは事実と異なる; fact15 & fact1 & fact7 -> int6: あの民族団体は自己認識しない; int5 & int6 -> int7: 「あの民族団体が血縁集団だしまたそれは業績評価する」ということは成り立たない; int4 & int7 -> int8: あの民族団体は扱い難くない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その地下鉄は自己認識しない
fact25 -> int10: 仮にその地下鉄が薄汚いならば解離するけど自己認識しない; fact21 -> int11: この販社が重油だがしかし宜しくないなら改姓しない;
$facts$ = fact1: その曲率半径Ｒは改姓しないかあるいは自己認識するということはないかまたは両方ともだ fact2: 重油が宜しくないならそれは改姓しない fact3: あの貨幣金額は印象深くない fact4: もしもあるものが薄汚いとすればそれは解離するし自己認識しない fact5: もしこの販社は改姓するということはないとしたら「その五Ｐは業績評価しないけれど血縁集団である」ということは成り立たない fact6: 仮になにかは血縁集団でないとしたら扱い難くない fact7: もしもその曲率半径Ｒが改姓するということはないとすればあの民族団体は自己認識しない fact8: その餡蜜は自己認識しない fact9: あの民族団体は解離する fact10: もしその曲率半径Ｒが薄汚いがそれが扱い難くないならあの民族団体は薄汚い fact11: もしあの民族団体が業績評価しないとすればその曲率半径Ｒは扱い難くない fact12: もしあの民族団体が薄汚くなくて印象深くないならばそれは扱い難い fact13: もし仮に「何らかの物は血縁集団であるししかも業績評価する」ということは間違っているとすれば「扱い難くない」ということは成り立つ fact14: 何らかの物は自己認識しないとすると「それは血縁集団であるし業績評価する」ということは成り立たない fact15: 仮に「その曲率半径Ｒは自己認識しない」ということは正しいならあの民族団体は自己認識するということはない fact16: 仮にその曲率半径Ｒが改姓しないとすればあの民族団体は自己認識する fact17: 「もしあの民族団体が血縁集団でないとするとあの民族団体は扱い難くない」ということは本当である fact18: あの民族団体は解離するけど薄汚くない fact19: あの曾我兄弟が印象深いならばその曲率半径Ｒは薄汚い一方でそれは扱い難いということはない fact20: あの民族団体が薄汚いとしたらその地下鉄は薄汚い ; $hypothesis$ = 「あの民族団体は印象深い」ということは偽だということはない ; $proof$ = 
fact18 -> int1: あの民族団体は薄汚くない; void -> assump1: 以下のように仮定する。あの民族団体は印象深くない; int1 & assump1 -> int2: あの民族団体は薄汚くないしそれに印象深くない; int2 & fact12 -> int3: あの民族団体は扱い難い; fact13 -> int4: もし「あの民族団体は血縁集団であるし更に業績評価する」ということは誤っているとしたらそれは扱い難くない; fact14 -> int5: もしも「あの民族団体は自己認識するということはない」ということは成り立つなら「血縁集団で業績評価する」ということは事実と異なる; fact15 & fact1 & fact7 -> int6: あの民族団体は自己認識しない; int5 & int6 -> int7: 「あの民族団体が血縁集団だしまたそれは業績評価する」ということは成り立たない; int4 & int7 -> int8: あの民族団体は扱い難くない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その曲率半径Ｒは改姓しないかあるいは自己認識するということはないかまたは両方ともだ
事実2: 重油が宜しくないならそれは改姓しない
事実3: あの貨幣金額は印象深くない
事実4: もしもあるものが薄汚いとすればそれは解離するし自己認識しない
事実5: もしこの販社は改姓するということはないとしたら「その五Ｐは業績評価しないけれど血縁集団である」ということは成り立たない
事実6: 仮になにかは血縁集団でないとしたら扱い難くない
事実7: もしもその曲率半径Ｒが改姓するということはないとすればあの民族団体は自己認識しない
事実8: その餡蜜は自己認識しない
事実9: あの民族団体は解離する
事実10: もしその曲率半径Ｒが薄汚いがそれが扱い難くないならあの民族団体は薄汚い
事実11: もしあの民族団体が業績評価しないとすればその曲率半径Ｒは扱い難くない
事実12: もしあの民族団体が薄汚くなくて印象深くないならばそれは扱い難い
事実13: もし仮に「何らかの物は血縁集団であるししかも業績評価する」ということは間違っているとすれば「扱い難くない」ということは成り立つ
事実14: 何らかの物は自己認識しないとすると「それは血縁集団であるし業績評価する」ということは成り立たない
事実15: 仮に「その曲率半径Ｒは自己認識しない」ということは正しいならあの民族団体は自己認識するということはない
事実16: 仮にその曲率半径Ｒが改姓しないとすればあの民族団体は自己認識する
事実17: 「もしあの民族団体が血縁集団でないとするとあの民族団体は扱い難くない」ということは本当である
事実18: あの民族団体は解離するけど薄汚くない
事実19: あの曾我兄弟が印象深いならばその曲率半径Ｒは薄汚い一方でそれは扱い難いということはない
事実20: あの民族団体が薄汚いとしたらその地下鉄は薄汚い

仮説: 「あの民族団体は印象深い」ということは偽だということはない
1. 事実18から、推論1: "あの民族団体は薄汚くない"が導かれる
2. 仮定1: 以下のように仮定する。あの民族団体は印象深くない
3. 推論1と仮定1から、推論2: "あの民族団体は薄汚くないしそれに印象深くない"が導かれる
4. 推論2と事実12から、推論3: "あの民族団体は扱い難い"が導かれる
5. 事実13から、推論4: "もし「あの民族団体は血縁集団であるし更に業績評価する」ということは誤っているとしたらそれは扱い難くない"が導かれる
6. 事実14から、推論5: "もしも「あの民族団体は自己認識するということはない」ということは成り立つなら「血縁集団で業績評価する」ということは事実と異なる"が導かれる
7. 事実15と事実1と事実7から、推論6: "あの民族団体は自己認識しない"が導かれる
8. 推論5と推論6から、推論7: "「あの民族団体が血縁集団だしまたそれは業績評価する」ということは成り立たない"が導かれる
9. 推論4と推論7から、推論8: "あの民族団体は扱い難くない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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